形式言語理論への疑問など現状の形式言語理論に対する“違和感”について述べる。その違和感を解消 するための再定式化（代替案）のラフ・スケッチ（極めてラフ）も述べる。 1. はじめに この記事は、現状の形式言語理論に“ケチをつける”ために書かれている。 まず、僕が「形式言語理論」という言葉で何を指すのかを明確にするために、 この分野の教科書を紹介する（第2節）。それらの教科書に書かれ ている内容には実際にお世話になっている。ケチをつけるどころか感謝すべき ではないか？ うん、形式言語理論の成果や効能は十分に認めてますよ。 では、僕が何に不満を感じているのかというと、その定式化（理論構成の筋書 き）がイヤなのだ。基本的／初等的な結果（定理）も、納得がいかないのだ。 「それは、おまえの頭が悪いんだろう」と言われてしまえば、そのとおりでは あるのだが、僕でも分かるような定式化はないものだろうか、という問題意識 も生まれる。
