자율 학습 및 시험 준비에 사용할 수있는 많은 예제가 포함 된 유한 자동 이론 이론 책이 필요합니다.
자율 학습 및 시험 준비에 사용할 수있는 많은 예제가 포함 된 유한 자동 이론 이론 책이 필요합니다.
답변:
고전적인 참고 문헌은 " Automata 이론, 언어 및 계산 소개 "(Hopcroft, Motwani 및 Ullman)입니다. 어떤 사람들은 또한 훨씬 더 오래된 " 공식 언어와 오토마타와의 관계 "를 추천한다 (홉 크로프트와 울만).
그러나 나는 " 계산 이론 입문 "(Sipser)을 좋아한다. 그것은 매우 잘 쓰여졌으며 비교적 새로운 책입니다.
I는 애착이 오토마타 및 계산 가능성 덱스터 코젠하여 ( 컨텐츠 및 샘플 챕터 테이블 [PS]을). 그것은 매우 철저하고 정말 흥미로운 고급 주제를 다룹니다. 증명은 형식적이고 명시 적이며 표기법 및 형식은 사랑 스럽습니다. 가장 중요한 것은 연습이 훌륭하므로 시험 수준에 따라 좋은 학습 자료가 될 것입니다.
제가 강의에 가장 많이 사용하는 것은 2009 년 케임브리지 대학교 출판사 Jacques Sakarovitch 의 Automata 이론의 요소입니다 . 범위는 대수적 측면, 공식적인 파워 시리즈, 및 형질 도입. 그리고 많은 운동이 있습니다.
Lothaire, 2004 년의 "단어에 적용되는 조합론"
내가 가장 좋아하는 곳은 멀다. 많은 예제가 있으며, 절대 기본부터 모든 가중 유한 상태 변환기를 사용한 자동 음성 인식 및 생물 정보학 주제와 같은 매우 흥미로운 오토마타 응용 프로그램에 이르기까지 다양합니다.
무엇보다도 무료로 다운로드 할 수 있으며 솔루션 세트도 포함되어 있습니다.
존시 마틴
초보자 에게이 책을 강력히 추천하며 많은 예제를 찾는 사람에게 완벽한 선택입니다.
나는 Jarkko Kari의 다음 강의 노트를 즐깁니다 : http://users.utu.fi/jkari/automata/
간단한 과정 개요 :
Regular languages
Finite automata, regular expressions
Kleene theorem
Pumping lemma
Closure properties and decision algorithms
State minimization, Myhill-Nerode theorem
Context-free languages
Grammars, parsing
Normal forms
Pushdown automata
Pumping lemma
Closure properties and decision algorithms
Turing machines
Recursive and recursively enumerable languages
Universal Turing machines
Undecidability of the halting problem (Turing)
Reductions, other undecidable problems
AA Puntambekar의 "공식 언어와 오토마타 이론"은 해결 된 예제를위한 최고의 책입니다. 이 책의 대부분은 해결 된 예제와 작은 이론 만 포함합니다. 시험에 합격하는 것이 좋습니다.