回答受付終了まであと4日

あるCFGが1*を含むかどうかは判定可能であることの証明を教えてください。換言すれば、 {〈G〉;Gは{0,1}上のCFGで、1*⊂G}が判定可能な言語であることを示して下さい。