オートマトンと形式言語 (53130)
Automaton Theory and Formal Languages
English Lectures Page Japanese Lectures Page
担当教官： B. H. Far（工学部助教授)
選択科目： ２単位
対象学科： 情報（システム）工学
学年学期： ２年・後期
時間割： 木３・４
教室： ４１

概要

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

Regular Sessions
１回目 序論  
２回目 順序機械  
３回目 有限オートマトン (その１) binary tree applet
４回目 有限オートマトン (その２)  
５回目 有限オートマトン (その３)  
６回目 正則表現  
７回目 形式文法  
８回目 文脈自由文法  
９回目 プッシュダウンオートマトン (その１) stack applet
１０回目 プッシュダウンオートマトン (その２)  
１１回目 チューリングマシン (その１) queue applet
１２回目 チューリングマシン (その２)  
１３回目 演習  
小テスト 自動採点テスト：その１  
小テスト 自動採点テスト：その２  

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 .