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