City: Test Saint Petersburg Novosibirsk Kazan Language: Русский English

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

What: Lecture
When: Saturday, 20 November 2010, 17:20–18:55
Where: ПОМИ РАН
Slides: synchronizingautomata_lecture_201110.pdf

Description

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

Video