昨日の記事「マイヒル／ネロードの定理の入り口」の最後の一節： 普遍的なオートマトン構成法としてのマイヒル／ネロードの定理という話題は、何年も前から書こうとしていて先延ばしになっている話題なんですよね。「メイヤーオートマトンに関するマイヒル／…