丸岡章氏による著作「計算理論とオートマトン言語理論」のp.148には正しい括弧を受理するチューリングマシンの例があります。ちょっと勉強がてら実装してみます。この本ではテープの記号とマシンのヘッドを1行に並べて表示する「様相」という方法が出てきま…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。