Город: Тест Санкт-Петербург Новосибирск Казань Язык: Русский English

Проблема Черни для апериодических автоматов. Часть 2
Синхронизируемые автоматы

Что: Лекция
Когда: Суббота, 20 ноября 2010, 19:05–20:40
Где: ПОМИ РАН
Слайды: synchronizingautomata_lecture_201110.pdf

Описание

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

Видео