오토마타이론

교과목 구분: 
전공선택
교과목 번호: 
4190.306
학년: 
3학년
학점: 
3

이 교과목에서는 유한 오토마타, pushdown 오토마타, 튜링 기계 등 여러 오토마타와 정규 문법, 문맥 자유 문법, 무제약 문법 등 여러 문법체계에 대해서 배우고 그들의 관계를 익힌다. 또한 튜링의 명제와 계산 불가성에 대해서 배운다.