Синхронизируемые автоматы. Лекция 7
ЛекцияПредмет:
- Computer Science
Лектор:
Курс лекций:
Дата записи:
20.11.10
Дата публикации:
20.11.10
Код для блога:
Проблема Черни для апериодических автоматов. Часть 2
Апериодические автоматы, беззвездные языки и логические характеризации языков формулами первого порядка. Монотонные и обобщенно монотонные автоматы. Теорема Трахтмана о длине кратчайшего синхронизирующего слова для апериодических автоматов с данным числом состояний.
Страница лекции на сайте Computer Science Club
Дополнительные материалы:
20101120_synchronizing_automata_volkov_lecture06-07.pdfДругие лекции курса
8