The course is a required course designed for Engineering Master of Computer Science in TIEI. Formal language and automaton reveals the essence of computing from the perspective of language processing.The main contents of this course include formal language, computational model and the relationship between them. The course aims to develop students’ knowledge of computer theory literacy, improve their ability of logical thinking and problem solving.
- 教师: Marc Gaetano