자가 학습을위한 오토마타 이론에 관한 책


답변:


35

고전적인 참고 문헌은 " Automata 이론, 언어 및 계산 소개 "(Hopcroft, Motwani 및 Ullman)입니다. 어떤 사람들은 또한 훨씬 더 오래된 " 공식 언어와 오토마타와의 관계 "를 추천한다 (홉 크로프트와 울만).

그러나 나는 " 계산 이론 입문 "(Sipser)을 좋아한다. 그것은 매우 잘 쓰여졌으며 비교적 새로운 책입니다.


8
나는 두 번째 Sipster입니다. 나는 내 코스에 사용합니다.
Dave Clarke

2
나는 여름 내내 HU 책에서 문제를 일으켰다. 즐거운 시간 ...
Suresh Venkat

8
Motwani가 없는 Hopcroft & Ullman 강력하게 선호합니다 . HU & M은 모든 좋은 문제를 해결했습니다!
Jeffε

3
@ user1652 : Linz의 책보다 더 많은 예를 찾을 것이라고 생각하지 않습니다. Daniel Cohen의 "컴퓨터 이론 소개"도 살펴볼 수 있습니다. 이 책에는 많은 예가 있지만, 오래된 책이며 아마 Linz만큼 읽을 수는 없습니다.
Kurt

2
@ 커트 : 귀하의 의견은 의견으로 남길 너무 좋습니다! 왜 답변으로 게시하지 않습니까?
MS Dousti

9

I는 애착이 오토마타 및 계산 가능성 덱스터 코젠하여 ( 컨텐츠 및 샘플 챕터 테이블 [PS]을). 그것은 매우 철저하고 정말 흥미로운 고급 주제를 다룹니다. 증명은 형식적이고 명시 적이며 표기법 및 형식은 사랑 스럽습니다. 가장 중요한 것은 연습이 훌륭하므로 시험 수준에 따라 좋은 학습 자료가 될 것입니다.


9

제가 강의에 가장 많이 사용하는 것은 2009 년 케임브리지 대학교 출판사 Jacques Sakarovitch 의 Automata 이론의 요소입니다 . 범위는 대수적 측면, 공식적인 파워 시리즈, 및 형질 도입. 그리고 많은 운동이 있습니다.


1
우리가 오토마타 이론에 대해서만 이야기한다면, 이것은 주제에 관한 최고의 책이어야합니다. 나는 그것을 읽고 사랑 해요!
Marcos Villagra

5

Lothaire, 2004 년의 "단어에 적용되는 조합론"

내가 가장 좋아하는 곳은 멀다. 많은 예제가 있으며, 절대 기본부터 모든 가중 유한 상태 변환기를 사용한 자동 음성 인식 및 생물 정보학 주제와 같은 매우 흥미로운 오토마타 응용 프로그램에 이르기까지 다양합니다.

무엇보다도 무료로 다운로드 할 수 있으며 솔루션 세트도 포함되어 있습니다.

http://www-igm.univ-mlv.fr/~berstel/Lothaire/


5

Du-Ko의 "Automata, 언어 및 복잡성 문제 해결"은 Sipser, HU 및 Kozen 다음으로 제가 가장 좋아하는 것 중 하나입니다. 여기에는 Kozen 및 sipser의 문제에 대한 많은 솔루션이 포함되어 있으며 많은 예제와 관련 연습이 있습니다. 시험 준비에 특히 유용합니다.




1

나는 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

1

H.Lewis와 C.Papadimitriou의 계산 이론의 요소도 있습니다. 오토마타 이론에 대해 잘 쓰여진 소개입니다.


0

계산 이해

간단한 기계에서 불가능한 프로그램으로

그것은 automata 이론을 포함하여 많은 것을 다루고 있습니다. 예제는 Ruby로 제공되며 이해하기 매우 쉽습니다. 이론을 더 깊이 파고 들고 싶다면 다른 책이 필요할 수도 있지만이 책은 기본을 배우는 데 좋습니다.


0

AA Puntambekar의 "공식 언어와 오토마타 이론"은 해결 된 예제를위한 최고의 책입니다. 이 책의 대부분은 해결 된 예제와 작은 이론 만 포함합니다. 시험에 합격하는 것이 좋습니다.

당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.