オートマトン理論 - おーとまとんりろん

入力に忠実であることを誇りつつ、無限の状態を想像して現実を無視する学問。紙と鉛筆さえあればチューリングの神を信奉する飼育係になれる。現実の計算とはかけ離れた理想的機械を描き、理論家たちはその螺旋に永遠に囚われ続ける。未解決問題をネタに酒の肴とし、応用を名目に抽象の深淵へと沈んでいく。効率？それは他者が考えることであり、彼らの知的好奇心こそすべてだ。