EECS 4100- 무료 슬롯 이론 강의 계획서
크레딧/연락 시간
3 학점 및 160 분 무료 슬롯 주당 연락 시간.
교과서
Michael Sipser, 무료 슬롯 이론 소개, 3 판, Cengage Learning,
ISBN : 9789-1-133-18779-0
코스 정보
오토마타 및 무료 슬롯의 공식 모델을 검사합니다. 한정된-
State Automata, 일반 무료 슬롯, 푸시 다운 Automata, Context- Free Languages, Turing
기계, 낙태, 감소성 및 P vs NP 복잡성 클래스.
전제 조건 :무료 슬롯 2510 : 비선형 데이터 구조 및 무료 슬롯 2520 : 개별 구조
선택적 또는 필수 과정 : 필수.
특정 목표 - 학생 학습 목표 (SLOS)
학생들은 다음을 수행 할 수 있습니다 :
1. 다양한 간단한 증거를 고안하십시오.
2. 일반 무료 슬롯가 무엇인지 정의하고 유한 상태 기계를 구성합니다.
3. 일반 무료 슬롯, 정규 표현식간에 동등한 표현을 구성합니다.
그리고 일반 문법.
4. 일반 프무료 슬롯래밍 언어의 구문을 정의하는 문법 공식.
5. 푸시 다운 오토 마턴에 대한 방정식을 공식화 할 수 있습니다.
6. 튜링 머신과 모든 무료 슬롯에 필요한 간단한 원시 메커니즘을 이해하십시오.
7. 재귀적이고 재귀 적으로 열거 가능한 무료 슬롯를 이해하십시오.
8. 무료 슬롯 솔루션이 존재하지 않는 문제의 특성을 식별하십시오.
9. P 대 NP 대 NP- 완성의 개념을 이해하십시오.
특정 목표 - 결과1: 지원 1, 2, 4, 5, 7, 8, 9
EAC Crit. 3 결과
특정 목표 - 결과 1: SLOS 지원2, 4, 5, 9
CAC Crit. 3 결과 결과 6: SLO 지원S 5and7
주제
- DFA 및 정규 표현식
- NFA 및 DFA 로의 전환
- GNFA에 대한 정규 표현식
- 일반 무료 슬롯를위한 레마 펌핑
- PDA 및 NPDA
- 컨텍스트가없는 문법, Chomsky 정상 형태 및 Greibach 정상 형태.
- CFL, DK-TEST 및 LR PARSING을위한 레마 펌핑
- Turing Machines
- Turing Machine 유형 - 인식 자, 결정자, 열거 자 및 기타 동등한 기계.
- 결정성
- 환원성
- 복잡성
- 정적
- 근사 알고리즘