Книги з теорії автоматів для самостійного вивчення


Відповіді:


35

Класична довідка - " Вступ до теорії автоматів, мов та обчислень " (Хопкрофт, Мотвані та Уллман). Деякі люди також рекомендують набагато старіші " Формальні мови та їх відношення до автоматів " (Хопкрофт та Уллман).

Мені, однак, подобається « Вступ до теорії обчислень » (за Шипсером). Це дуже добре написано і є відносно новою книгою.


8
Я другий Сіпстер. Я використовую його для свого курсу.
Дейв Кларк

2
Я провів ціле літо, роблячи проблеми зі старої книги HU. Веселі часи ...
Suresh Venkat

8
Я дуже віддаю перевагу Hopcroft & Ullman без Motwani. HU&M вирішив усі хороші проблеми!
Джефф

3
@ user1652: Я не думаю, що ти знайдеш щось із більшою кількістю прикладів, ніж книга Лінца. Ви також можете поглянути на "Вступ до теорії комп'ютерів" Деніела Коена. У ньому є багато прикладів, але це старіша книга і, можливо, не така читальна, як Лінц.
Курт

2
@Kurt: Ваші коментарі занадто гарні, щоб залишати їх просто коментарями! Чому б не опублікувати їх як відповіді?
MS Dousti

9

У мене є м'яке місце для Автоматичних даних та обчислюваності від Dexter Kozen ( зміст та зразки розділів [PS]). Він досить ретельний і охоплює деякі дійсно цікаві розширені теми. Докази формальні та явні, а позначення та форматування прекрасні. Найголовніше, що вправи є чудовими, тому залежно від рівня ваших іспитів буде хорошим навчальним матеріалом.


9

Я використовую найбільше для своїх курсів - " Елементи теорії автоматів" Жака Сакаровича, Cambridge University Press, 2009. Її сфера може дещо відрізнятися від інших ", оскільки вона також широко охоплює алгебраїчні аспекти, формальні силові серії, і перетворення. І вправ багато.


1
Якщо ми говоримо лише про теорію автоматів, це повинна бути найкраща книга з цього питання. Я читаю це і люблю!
Marcos Villagra

5

"Прикладна комбінаторика на словах", Lothaire, 2004

Далеко і далеко мій улюблений. Набір прикладів, а також накопичується від абсолютних основ аж до таких цікавих додатків для автоматичних систем, як автоматичне розпізнавання мовлення з зваженими перетворювачами кінцевого стану та теми з біоінформатики.

Найкраще це завантаження безкоштовно, а також включає набори рішень:

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


5

"Вирішення проблем в автоматах, мовах та складності" від Du-Ko - один із моїх улюблених після Сіпсера, HU та Kozen. Він містить безліч рішень * перших проблем Козена та Сіпсера з численними прикладами та пов'язаними з ними вправами. Особливо корисний для підготовки до іспиту.


5

Я не впевнений, що це найкраща книга для підготовки до іспитів, але книга

Кінцеві автомати; Поведінка та синтез Б. А. Трахтенброта та Я. М. Барздінь

це досить добре. Він має дивовижну кількість чудових результатів, які мені здаються особливо корисними в дослідженнях.



1

Мені подобаються наступні конспекти лекцій Ярко Карі: 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

Є також елементи теорії обчислення Х.Льюїса та К.Пападімітріу. Це добре написане вступ до теорії автоматів.


0

Розуміння обчислень

Від простих машин до неможливих програм

Він охоплює багато матеріалів, що включає теорію автомати. Приклади представлені в Ruby, і їх досить легко зрозуміти. Можливо, вам знадобиться ще одна книга, якщо ви хочете заглибитися в теорію, але ця чудова для засвоєння основ.


0

"Формальні мови та теорія автоматів" А. А. Пунтамбекара - найкраща книга для вирішених прикладів. Більшість книг містить лише розв’язані приклади та мало теорії. Добре скласти іспити.

Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.