形式言語の勉強。
『オートマトン・言語理論』（富田・横森）を読む。
言語の定義：
集合Σ：文を構成するための最小単位要素の領域
Σ={a1,a2,...,am}を重複を許して有限個並べて得られるwをΣ上の記号列(string)あるいは系列(sequence)という。
Σ上のスター閉包Σ*：Σ上で作りうるあらゆる記号列の全体から成る無限集合
例：集合Σ={0,1}のとき、Σ*={ε(空記号列＝empty string), 0,1,0001,10,000,001,...}
Σ上の言語L：Σ*のなかで特定の条件を満足する記号列を取り出した部分集合
特定の条件とは「形式文法」あるいは「オートマトン」である。
