Let's write β

プログラミング中にできたことか、思ったこととか

2013-01-08から1日間の記事一覧

チューリングマシンのエミュレート(2) 定義の厳密化

停止性を保証する必要はないという事で最終状態はacceptになるかどうかだけで良いという 事でerror状態を削減したり、メモリーというのはそもそも無いという事でメモリーを削除したり make-machine時に利用可能な記号列を渡す事で先に定義がただしいかチェッ…

僕が働いているAzit.incでは一緒に働けるエンジニアを募集しています!
採用情報 — 株式会社アジット|Azit Inc.