Введение
Глава 1. Свойства контрольных экспериментов для детерминированных графов 21
1.1 Основные определения и обозначения 22
1.2 Безреверсный базис и его свойства 25
1.3 Существование и некоторые общие свойства контрольных экспериментов для детерминированных графов 30
Глава 2. Контроль детерминированных деревьев 43
2.1 Контрольный эксперимент для детерминированных деревьев 44
2.2 Контроль изоморфной вложимости 57
Глава 3. Контроль маркированных графов 62
3.1 Структура класса маркированных графов 63
3.2 Контрольные эксперименты для маркированных графов 68
Глава 4. Реализация контрольного эксперимента конечным автоматом 90
4.1 Автоматы, реализующие контрольный эксперимент 91
4.2 Автоматы с красками 94
4.2.1 Автомат с одной краской 96
4.2.2 Автомат с A(G) красками 98
Заключение 107
Список литературы 109
