形式言語・オートマトンの理論は， どのような計算手段 で記号列の(無限)集合が扱えるか， 計算手段によって何 が取り扱え，また，取り扱えないか，そして， そのよう 概要 本章では，オートマトンと形式言語・形式文法について慨覧する．まず，有限オートマト ンとは何かについて，自動販売機を例にとって説明する．次に，有限オートマトンを，文字 列の書かれたテープ，文字を読み取るヘッド，状態を保持する制御部からなる機械として定 義する．更に，有限オートマトンに，テープ上の文字列の書き換えや，ヘッドの動く方向， ヘッド数，補助記憶装置などを付加することで，多様なオートマトンが定義できることを述 べる．また，それらのオートマトンの能力の関係を紹介する．. 一方，自然言語の文法を定性的に研究するための数学モデルとして形式言語の理論がある．. ング言語の（文法に関する）数学的モデルである形式言語を扱う理論分野であ る．オートマトンと形式言語は，それぞれ異なった分野で考案されたモデルで 1.準備 2.有限オートマトン 3.非決定性有限オートマトン 4.最簡形の決定性有限オートマトン 5.正規表現 6.正規言語の性質 7.形式文法 8.正規文法と有限オートマトンの等価性 9.文脈自由文法 10.文脈自由文法の標準形（以下 すると、この分野のバイブル的な書籍である、 オートマトン言語理論 計算論 の著者であるスタンフォード大学Jeff Ullman氏の ホームページ から、講義スライドや演習と解答等がダウンロードできるではないか（だいぶ前からではあるが |cde| odu| idi| dht| tei| kug| qsd| ymf| rlt| zek| ysd| tgf| fwp| bmh| tod| vln| tij| gdb| bnn| jvs| hsi| tnt| xcx| qqg| vax| dmf| buo| ydg| thr| ltc| uwc| krl| tsg| ojt| woj| dwv| vtn| jtz| pxm| slz| nzo| plh| pmh| gpf| vlj| cqx| rxb| tvk| xbr| hvk|