Введение
1. Основные понятия 12
1.1. Разрешимые структуры 12
1.2. Некоторые сведения из теории конечных автоматов 15
1.3. Автоматные структуры 19
2. Линейные порядки 25
2.1. Предварительные сведения о линейных порядках 25
2.2. Автоматные линейные порядки 29
2.3. Разрешимые и автоматные линейные порядки 33
2.4. Некоторые примеры автоматных линейных порядков 40
3. Автоустойчивость 46
3.1. Для автоматных отношений эквивалентности 47
3.2. Для линейных порядков 50
4. Сложность автоматных частичных порядков 59
4.1. Сведение модели в конечной предикатной сигнатуре к частичному порядку 60
4.2. Сохранение автоматности 64
Литература 68
