Automata-theory

オートマトン理論のチュートリアル

*Automata Theory* は、あらかじめ決められた一連の操作を自動的に実行する抽象的な自走式コンピューティングデバイスの設計を扱うコンピューターサイエンスの分野です。 有限数の状態を持つオートマトンは、*有限オートマトン*と呼ばれます。 これは、チューリングマシンと決定可能性に進む前に、有限オートマトン、標準言語、プッシュダウンオートマトンの基本概念を紹介する簡潔で簡潔なチュートリアルです。

Copy

聴衆

このチュートリアルは、情報技術またはコンピューターサイエンス関連の分野で学位を取得する学生向けに用意されています。 オートマトン理論に含まれる本質的な概念を学生が理解するのを助けようとします。

前提条件

このチュートリアルは、理論と数学的厳密さのバランスが取れています。 読者は、離散的な数学的構造の基本的な理解が期待されます。