References for everybody who wants to learn formal languages and automata

皆さんが形式言語とオートマトンをさらに深く学んでいくために、役に立ちそうな図書情報等を記載しておきます。
なお、コメントは鵜呑みにせず批判的に読んでください。

  1. オートマトンと形式言語，都倉信樹，昭晃堂, ISBN4-7856-3094-9(1995).
  2. Logique et automaton, P. Bellot et J. Sakarovitch, ellipses,ISBN2-7298-6894-1(1998).
  3. Logik fur Informatiker, B. Heinemann und K. Weihrauch, B. G. Teubner Stuttgart, ISBN 3-519-12248-0(1992).