Print

2017　Graduate Lecture in Cognition, Mathematics and Information F1B

Font size  SML

Register update notification mail Add to favorite lecture list
Academic unit or major
Graduate major in Social and Human Sciences
Instructor(s)
Inohara Takehiro 
Class Format
Lecture     
Media-enhanced courses
Day/Period(Room No.)
Mon5-6(W9-918(プレゼンテーションルーム))  
Group
-
Course number
SHS.M444
Credits
1
Academic year
2017
Offered quarter
4Q
Syllabus updated
2017/9/6
Lecture notes updated
2017/11/21
Language used
Japanese
Access Index

Course description and aims

The theme of this course is “Automata and Formal Languages.” This course deals with fundamental concepts on automata and formal languages and their applications through discussion, group work, lectures and working on exercise problems. Specifically, this course gives definitions, examples and analysis methods of “automata,” “Turing machines,” “formal grammars,” “formal languages,” and “classes of languages.” These are fundamental concepts of automata and formal languages and their applications, which the students are expected to understand upon the completion of this course.

This course aims to cultivate the students’ abilities to: select an appropriate automaton or a formal language for describing and analyzing a focal object; describe an object by an automaton or a formal language; analyze an automaton or a formal language and draw some insights from the results of the analysis; and convey analysis results to others concisely.

Student learning outcomes

Upon completion of this course, students should be able to:
1) State the definitions of automata and formal languages using examples of objects described by automata or formal languages;
2) Apply analysis methods to examples of objects described by automata and formal languages, and explain the analysis results to others;
3) Select an appropriate automaton or an appropriate formal language and describe a focal object;
4) Apply analysis methods to an object described by an automaton or a formal language, and explain the analysis results to others

Keywords

automata, Turing machines, formal grammars, formal languages, classes of languages

Competencies that will be developed

✔ Specialist skills Intercultural skills ✔ Communication skills ✔ Critical thinking skills ✔ Practical and/or problem-solving skills

Class flow

One class deals with one framework.

The students examine examples of objects which can be described in a framework, first individually, second in pairs, then in groups of four, and finally with the class as a whole. Then a lecture on the framework is presented, and the students work on exercise problems. At the end of the class, each student writes and submits a “summary report” on what he/she learned through individual observation, other students’ ideas, the lecture, and exercise problems.

Course schedule/Required learning

  Course schedule Required learning
Class 1 Automata, languages and formal grammars State the definitions of automata, languages and formal grammars
Class 2 Finite automata State the definitions of finite automata
Class 3 Pushdown automata State the definitions of pushdown automata
Class 4 Turing machines State the definitions of Turing machines
Class 5 Formal grammars State the definitions of formal grammars
Class 6 Formal languages State the definitions of formal languages
Class 7 Relationships between automata and formal languages State the relationships between automata and formal languages
Class 8 Classes of languages State the definitions of classes of languages

Textbook(s)

Masaaki YONEDA (supervisor), Masaki YONEDA (author), Sadaki HIROSE (author), Nobuyasu OSATO (author), Satoshi OKAWA (author), “Basics of Automata and Language Theory”, Kindai-Kagaku-Sha, 2003 (ISBN 978-4-7649-0297-8) (in Japanese)

Reference books, course materials, etc.

Course materials are posted on OCW-i and/or provided during the classes.

Assessment criteria and methods

Assessment will be based on “summary reports” written during each class (50% in total) and the final examination (50%).

Related courses

  • SHS.M442 ： Graduate Lecture in Cognition, Mathematics and Information S1B
  • SHS.M443 ： Graduate Lecture in Cognition, Mathematics and Information F1A
  • SHS.M461 ： Graduate Methodologies in Cognition, Mathematics and Information S1
  • SHS.L411 ： Trans-disciplinary Exercise in Social and Human Sciences S1A
  • SHS.L412 ： Trans-disciplinary Exercise in Social and Human Sciences S1B

Prerequisites (i.e., required knowledge, skills, courses, etc.)

Students must have successfully completed “Trans-disciplinary Exercise in Social and Human Sciences S1A (Basics of Logic and Set Theory)” and “Trans-disciplinary Exercise in Social and Human Sciences S1B (Basics of Metric, Convergence and Continuity)” or have equivalent knowledge.

Contact information (e-mail and phone)    Notice : Please replace from "[at]" to "@"(half-width character).

Takehiro Inohara, inostaff[at]shs.ens.titech.ac.jp

Office hours

Instructor’s office: Rm. 813, 8 Fl., West Bldg. 9. Contact by e-mail in advance to schedule an appointment.

Other

This course consists of the content of science.

Page Top