2023-2 조민수 교수님 오토마타와 형식언어 내용 정리
개요: 유한 상태 머신에 대해 배운다. 중간 범위에서 배우는 모든 내용이 동치(DFA=NFA=RE=RL=RG), 기말 범위에서 배우는 내용이 동치(CFL=PDA)이다.
시험 스타일: 증명도 많고, 과제와 비슷한 문제도 많이 나온다.
기타: 학점을 잘 준다. 수업 시간에 랜덤으로 퀴즈를 4회 본다.
Preliminaries
Finite Automata
Regular Expressions
Properties of Regular Languages
Context-Free Grammer
Pushdown Automata
Properties of CFL
Turing Machine
Undecidability
Limits of Computers