Мені потрібна книга з теорії обмежених автоматів з великою кількістю прикладів, які я можу використовувати для самостійного вивчення та підготовки до іспитів.
Мені потрібна книга з теорії обмежених автоматів з великою кількістю прикладів, які я можу використовувати для самостійного вивчення та підготовки до іспитів.
Відповіді:
Класична довідка - " Вступ до теорії автоматів, мов та обчислень " (Хопкрофт, Мотвані та Уллман). Деякі люди також рекомендують набагато старіші " Формальні мови та їх відношення до автоматів " (Хопкрофт та Уллман).
Мені, однак, подобається « Вступ до теорії обчислень » (за Шипсером). Це дуже добре написано і є відносно новою книгою.
У мене є м'яке місце для Автоматичних даних та обчислюваності від Dexter Kozen ( зміст та зразки розділів [PS]). Він досить ретельний і охоплює деякі дійсно цікаві розширені теми. Докази формальні та явні, а позначення та форматування прекрасні. Найголовніше, що вправи є чудовими, тому залежно від рівня ваших іспитів буде хорошим навчальним матеріалом.
Я використовую найбільше для своїх курсів - " Елементи теорії автоматів" Жака Сакаровича, Cambridge University Press, 2009. Її сфера може дещо відрізнятися від інших ", оскільки вона також широко охоплює алгебраїчні аспекти, формальні силові серії, і перетворення. І вправ багато.
"Прикладна комбінаторика на словах", Lothaire, 2004
Далеко і далеко мій улюблений. Набір прикладів, а також накопичується від абсолютних основ аж до таких цікавих додатків для автоматичних систем, як автоматичне розпізнавання мовлення з зваженими перетворювачами кінцевого стану та теми з біоінформатики.
Найкраще це завантаження безкоштовно, а також включає набори рішень:
Я не впевнений, що це найкраща книга для підготовки до іспитів, але книга
Кінцеві автомати; Поведінка та синтез Б. А. Трахтенброта та Я. М. Барздінь
це досить добре. Він має дивовижну кількість чудових результатів, які мені здаються особливо корисними в дослідженнях.
Вступ до мов та теорія обчислень
Джон К. Мартін
Я настійно рекомендую цю книгу для початківців, і це ідеальний вибір для тих, хто шукає безліч прикладів.
Мені подобаються наступні конспекти лекцій Ярко Карі: 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
Є також елементи теорії обчислення Х.Льюїса та К.Пападімітріу. Це добре написане вступ до теорії автоматів.
Від простих машин до неможливих програм
Він охоплює багато матеріалів, що включає теорію автомати. Приклади представлені в Ruby, і їх досить легко зрозуміти. Можливо, вам знадобиться ще одна книга, якщо ви хочете заглибитися в теорію, але ця чудова для засвоєння основ.
"Формальні мови та теорія автоматів" А. А. Пунтамбекара - найкраща книга для вирішених прикладів. Більшість книг містить лише розв’язані приклади та мало теорії. Добре скласти іспити.