認識可能
Turing-recognizable
任意の言語に対して、それを認識する
チューリングマシン
が存在する時、その言語を認識可能という
ほんまか?
mrsekut.icon