オートマトン・形式言語理論
(AL)

 このコースには登録キーが必要です。

オートマトンとは電子回路（順序回路）とかコンピュータのもっとも単純な抽象的モデルである。またオートマトンは単に機械のモデルというだけでなく、計算 機科学におけるいろいろな問題の理論的構造を表現したりシステムを形式化するのに用いられる。また、この理論は、言語処理などの形式言語理論、計算量理 論、などの計算機科学のいろいろな分野の基礎理論である。

このコースには登録キーが必要です。