Profile
金具✅ cobodo@mstdn.kanagu.info
私の理解では、「問題を解く」ということを、問題を記号列に翻訳してオートマトンが受理するかどうかということに帰着しておき、チューリングマシンと形式文法の等価性からオートマトンの記述に記号列、すなわちテキストを使うというのがより「本質」に近いだろうという感覚。