"オートマトン・形式言語" Post in this tag
形式言語(formal language)あるいは数理言語(formal language)とほかの言語との違いは？
日本語、英語などの自然言語やプログラミング言語などを抽象化して定められた言語なのだ。通常、オートマトンに対して用いられる言語とはこの形式言語をいうのだ。
オートマトン・形式言語
A85rmd
形式言語における文とはどのように定められるの？
まずその文を構成する最小単位要素の領域を定めるのだ。それを記号の集合Σで表すのだ。
ここでいうΣは有限集合なのだ。
その文を構成する最小単位を単語と考えたとき、使用可能とする全単語を指定しておくことに相当するのだ。文はそのような記号から構成される記号列なのだ。
オートマトン・形式言語
A85rmd
