| Каркасом автомата называется упорядоченное множество, которое образуют главные подавтоматы этого автомата. Можно показать, что автомат однозначно восстанавливается по своему каркасу в смысле неких аспектов функционирования. Другими словами каркас - это множества, составленные из достижимых вершин каждой вершины автомата. Рассмотрим пример:
Пусть дан автомат с 6 состояниями: 0, 1, 2, 3, 4, 5. И дана таблица переходов: - | x1 | x2
0 | 2 | 3
1 | 1 | 0
2 | 5 | 4
3 | 5 | 4
4 | 3 | 2
5 | 2 | 3 Получаем следующий граф:
Построим множества достижимости и каждой вершины: S0={0,2,3,4,5}
S1={0,1,2,3,4,5}
S2={2,3,4,5}
S3={2,3,4,5}
S4={2,3,4,5}
S5={2,3,4,5} Упорядочиваем данные множества по количеству элементов в них и составляем каркас: Заметим что при изображении каркаса, указывать множества Si и равенство главных подавтоматов обязательно!!!
| 
