2010-01-17から1日間の記事一覧
チューリングマシンには状態がある。ラムダ計算はチューリングマシンと等価な数理モデルだが、状態がない。これは一体どう考えればいいんだろう? というのが 前回 までのお話。以下の考え方や用語の使い方は間違っているかも知れない。そもそもまったくオハ…
チューリングマシンには状態がある。ラムダ計算はチューリングマシンと等価な数理モデルだが、状態がない。これは一体どう考えればいいんだろう? というのが 前回 までのお話。以下の考え方や用語の使い方は間違っているかも知れない。そもそもまったくオハ…