無限オートマトンに関連する先行研究を漁っていてユーリ・シュレーダー(1927-1998)というロシアの数学者に行きあたったので紹介します。 オートマトンの分析と合成の、論理的方法と再帰的方法と演算子による方法 1959年にユネスコがパリで開催した情報処理国…