いまだにオートマトンなんて言ってるようじゃ日本の大学もお終いだね。
これはプログラムというものそのものの数学的基礎付けの理論ってだけの
話であって、アプリケーション構築には何の役にもたちません。実際、
こういった理論を研究している研究者はアプリケーションなんて組めません。
むしろ、数学者って感じだよ。論文見たらまさに数学の論文そのもの。

つまり、もともと領域の違う人間が茶々入れしただけの話でしょ。

ちなみにこの類の人間は大学でも骨董品扱いされてます。
いまだに５０年も前の理論を弄くって喜んでる連中ですから。
ＭＩＴなんかをもっと見習うべきです。だから日本はソフトウェアの
分野で欧米に２０年も３０年も遅れをとっているんです。

こういう骨董品的大学教授を追放しない限り日本のソフトウェア産業の
実践的人材は育ちません。