Вы здесь

Синхронизируемые автоматы. Лекция 6

Лекция
Предмет:
Дата записи:
20.11.10
Дата публикации:
20.11.10
Код для блога:

Проблема Черни для апериодических автоматов. Часть 1

Апериодические автоматы, беззвездные языки и логические характеризации языков формулами первого порядка. Монотонные и обобщенно монотонные автоматы. Теорема Трахтмана о длине кратчайшего синхронизирующего слова для апериодических автоматов с данным числом состояний.

Страница лекции на сайте Computer Science клуба

Дополнительные материалы: 
Иконка PDF 20101120_synchronizing_automata_volkov_lecture06-07.pdf