オートマトンと形式言語 (53130)
Automaton Theory and Formal Languages

   
English Lectures Page Japanese Lectures Page


担当教官: B. H. Far(工学部助教授)
選択科目: 2単位
対象学科: 情報(システム)工学
学年学期: 2年・後期
時間割: 木3・4
教室: 41

概要

オートマトン及び形式言語理論は、計算機科学の基礎の重要な理論であり、 その応用も極めて広い。本講義では、次の基礎概念についてその理解を深める。 順序機械, 有限オートマトン, 正則表現, 正則文法, 文脈自由文法, プッシュ ダウンオートマトン, チューリングマシンについて述べる。また、講義資料と オンライン自動採点テストが以下のように用意されてますので遠隔授業を受け ることができます。

Regular Sessions
1回目 序論  
2回目 順序機械  
3回目 有限オートマトン (その1) binary tree applet
4回目 有限オートマトン (その2)  
5回目 有限オートマトン (その3)  
6回目 正則表現  
7回目 形式文法  
8回目 文脈自由文法  
9回目 プッシュダウンオートマトン (その1) stack applet
10回目 プッシュダウンオートマトン (その2)  
11回目 チューリングマシン (その1) queue applet
12回目 チューリングマシン (その2)  
13回目 演習  
小テスト 自動採点テスト:その1  
小テスト 自動採点テスト:その2  

Download Text (PDF version) Download Text (PS version)

All the slides and notes can be viewed on-line using Netscape Navigator or MSIE (version 3.x or later) browsers. Copies of the slides in Postscript (PS) and PDF formats are also available on-line.
Please see the COPYRIGHT terms below before downloading the files.
Due to disk and bandwidth limitation the PS files are compressed using GNU gzip utility.
All Unix, PC and MAC can to download the PS version of the documents and use Japanese enabled version of Ghostscript and Ghostview. Ghostscript and ghostview are required to view the Postscript files and Ghostscript or a PostScript printer to print them.
All Unix, PC and MAC users can download, view and print the PDF version of the documents using Adobe's Acrobat Reader version 3.x or later.


This page was created by B.H. Far. Please visit my Lab's Home page and If you may find omissions, glitches, have suggestions for improvement of the material presented here, please contact me.
  Copyright Terms. THIS DOCUMENT AND ITS ENTIRE CONTENTS ARE COPYRIGHT 1997 BY B.H. FAR. COPYING, REPUBLISHING AND DISTRIBUTING THIS DOCUMENT IN WHOLE OR IN PART IS PROHIBITED BY LAW. IF YOU DESIRE TO REPUBLISH PARTS OF THIS DOCUMENT IN ELECTRONIC FORM, PLEASE CONTACT THE AUTHOR .