설명
유한 오토마타와 정규 표현식, 정규 집합의 성질, 문맥 자유 문법, 푸시다운 오토마타, 결정적 문맥 자유 언어. 튜링 기계, 촘스키 계층. 결정 불가능성, 해결 불가능한 문제들.
선수 과목
- 선수과목: MATH 3106 또는 MATH 3158 또는 MATH 3855 또는 학부 허가.
조건 및 세부사항
- COMP 4805 로도 등재됨.
- 선수과목: MATH 3106 또는 MATH 3158 또는 MATH 3855 또는 학부 허가.
- 대학원 수준에서도 다른 요구사항으로 MATH 5605 로 개설되며 추가 학점 인정은 불가합니다.
- 주당 강의 3시간.
원문 참조 텍스트
Finite automata and regular expressions, properties of regular sets, context-free grammars, pushdown automata, deterministic context-free languages. Turing machines, the Chomsky hierarchy. Undecidability, intractable problems.
- Prerequisite(s): MATH 3106 or MATH 3158 or MATH 3855 or permission of the School.
- Also listed as COMP 4805 .
- Also offered at the graduate level, with different requirements, as MATH 5605 , for which additional credit is precluded.
- Lectures three hours a week.
출처 및 참고문헌
날짜와 출처는 정보를 확인하는 데 도움이 되도록 보관됩니다. 번역은 읽기 편의를 위해 제공되며 조건과 요건은 공식 출처가 기준입니다.
출처 참조 : https://calendar.carleton.ca/undergrad/courses/MATH/