オートマンって?

もしかしたら、質問カテゴリが違うのかもしれませんが、それほどわからないんです。 数学(?)や、情報工学で出てくる、「オートマン」ってなんなんでしょうか?いろんな検索サイトで調べてみましたがよくわからないんです。 非常に初心者な質問で申し訳ありませんが、よろしくお願いします。 オートマトン（automaton, 複数形はautomata）、直訳すれば「自動機械」ですけど、レッキとした数学です。ソフトウエアの分野では「状態遷移図」と言った方が通りが良いです。 オートマトンは「メモリが制限されているソフトウエアのモデル」になる。特に人工的な言語の文法（ただし、意味は一切無視）と対応していて、だからプログラミング言語の文法を定義したりコンパイラを作る際に使われます。オートマトンは、メモリの制限の付け方によって幾つかの種類があり、最も簡単なオートマトンは「有限状態機械(finite state au