설명
유한 오토마타와 정규 표현식, 정규 집합의 성질, 문맥 자유 문법, 푸시다운 오토마타, 결정적 문맥 자유 언어. 튜링 기계, 촘스키 계층. 결정 불가능성, 해결 불가능한 문제들.
선수 과목
- 선수과목: COMP 3805 또는 MATH 3106 또는 MATH 3158 (또는 MATH 3100) 또는 학부의 허가.
조건 및 세부사항
- MATH 4805 로도 등재됨.
- MATH 5605에 대한 추가 학점 취득을 금지합니다를 추가 학점 취득을 금지합니다.
- 선수과목: COMP 3805 또는 MATH 3106 또는 MATH 3158 (또는 MATH 3100) 또는 학부의 허가.
- 주당 강의 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): COMP 3805 or MATH 3106 or MATH 3158 (or MATH 3100) or permission of the School.
- Also listed as MATH 4805 .
- Precludes additional credit for Precludes additional credit for MATH 5605 .
- Lectures three hours a week.
출처 및 참고문헌
날짜와 출처는 정보를 확인하는 데 도움이 되도록 보관됩니다. 번역은 읽기 편의를 위해 제공되며 조건과 요건은 공식 출처가 기준입니다.
출처 참조 : https://calendar.carleton.ca/undergrad/courses/COMP/