2004-05-25から1日間の記事一覧

オートマトンと形式言語

最終授業。前回に引き続きチューリングマシンについて。チューリングマシンの特徴はストリームがあいてではなく、テープが相手になるということ。つまり、双方向に移動ができるということにある。 よって、遷移関数には移動方向が含まれる。スタックはテープ…