1 Введение 4
1.1 Реконструкция по подсловам 4
1.2 Различимость слов 14
2 Реконструкция по подсловам 17
2.1 Подслова, окрестности, классы эквивалентности 17
2.2 Описания классов эквивалентности в терминах логического перманента 20
2.2.1 Классы эквивалентности Wk(x)
2.2.2 Классы эквивалентности W
2.3.1 Характеризация 2-эквивалентности 30
2.4 Восстановление слова по подсловам длины > [|] + 1 . 39
3 Различимость слов 48
3.1 Различающие слова, тестовые множество, тесты 48
3.2 Свойства и оценки функции t(x, у) 50
3.3 Алгоритм построения минимального теста 56
3.3.1 Простейший алгоритм 58
3.3.2 Префикс-функция, ассоциированная с образцом . 59
3.3.3 Алгоритм Кнута - Морриса - Пратта 61
3.3.4 Алгоритмы нахождения t(x, у) 62
Литература 65


