オートマトンと言語理論
オートマトンと言語理論
オートマトンと言語理論の基礎を学習する．オートマトンとは，計算の原理を解明するために考案された数学的モデルである．言語理論とは，プログラミング言語の（文法に関する）数学的モデルである形式言語を扱う理論分野である．オートマトンと形式言語は，それぞれ異なった分野で考案されたモデルであるが，それらの間には密接な関係がある．本講義では，言語とは何か？，から始め，オートマトンと形式言語，それにそれらの間の関係を学習する．
Last Update: 01/September/2020