形式言語
記号の集合$ \Sigma
記号の列を文 sentenceと呼ぶ
合法的なsentence全体の集合を言語という
数学的に書くと、
その記号から作ることができる文字列の集合を$ \Sigmaのスター閉包 $ \Sigma^\astと呼ぶ
さらに、スター閉包 $ \Sigma^\astのうちある条件を満たすものからなる部分集合$ Lをとり、これを言語と呼ぶ
言語は一般には無限集合なので、有限の手続き（記述）で表現するには工夫がいる
方法1: 形式文法によって合法的に構成できる文字列の集合として言語を定める
このように、オートマトンと文法は言語を通じて関連しているhttps://gyazo.com/0e5459e198d405cdae7691b304b5e822
形式言語を分類すると、次のように階層的に分類される