Составители:
242
ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ
Аванцепочка 160−164, 166−168, 170, 174−176,
190−193, 195, 197, 232
Автомат 5, 6, 19, 28−45, 68−78, 80, 90, 91, 99,
103, 118−121, 125, 126, 130, 133, 140, 154,
239, 240
Автомат конечный 19, 28− 45, 68, 69, 73, 125,
130, 133
, алфавит входной 28, 33, 34
, вход 30
, головка входная 29, 33
, движение 40
, конфигурация 36
, лента входная 28, 29, 33
, ячейка 29
, множество состояний 28, 32−34, 38, 39
, конечных 28, 33, 34
, отображение δ 28, 29, 33
, , область определения 29, 34
, последовательность состояний 41
, символ входной 29, 130
, состояние 28−31, 33−42
, бесполезное 38
, достижимое 33
, конечное 28, 29, 35, 40, 41
, "мёртвое" 40
, начальное 28, 33, 34, 36, 40, 41
, недостижимое 32
, последовательность конфигураций 36,
37
, управления 28, 36
, конечное 28
, цепочка входная 28, 30, 40
детерминированный 29, 33−35, 40, 45, 73,
125
, множество состояний 35
недетерминированный 33, 34, 38, 45, 73
приведённый 31
с числом состояний минимальным 32, 45
магазинный 69−78, 80, 99, 103, 140, 154
, алфавит символов магазинных 69
, вершина магазина 70, 71, 74, 78
, вход 75
, движение 69−77
, , использующее символ входной 73
, , не использующее символ входной
72
, интерпретация движения 70, 71
, конфигурация 69−71, 73, 74, 78
, заключительная 74
, конечная 69, 70
, при магазине пустом 70
, начальная 70, 74
, текущая 71
, лента входная 69
, магазин 69, 71−75
, , маркер дна 73, 74
, пустой 69, 71
, множество конфигураций 71
, состояний конечных 69, 71, 75
, опустошение магазина 75
, отношение следования на множестве
конфигураций 71
, последовательность конфигураций 74,
76−78
, символ входной 69, 72
, текущий 72
, магазина 69, 72, 73, 74, 75, 78
, верхний 69, 72
, начальный 69, 73, 74
, сканирование цепочки входной 70
, состояние 69−71, 73−75, 77
, конечное 69, 74, 75
, начальное 69
, текущее 70
, стирание символа магазина верхнего 69,
71, 73
, цепочка входная 69, 70, 72, 73, 75, 77
, часть непросмотренная 69, 70
, , приём 69−72, 74
, , при магазине пустом 70−72
, , состоянии конечном 69, 70
, магазинная 70, 74
, ε-движение 69, 73−77
детерминированный 69, 70, 73, 80, 239
недетерминированный 69−73, 76, 77, 125
, алфавит входной 70
, магазинный 70
, выбор движений 69, 72
, дерево переходов между конфигура-
циями 72
, множество состояний 70
, опустошение магазина 72
, последовательность движений 72
, cимвол входной 72
, cимвол магазина начальный 70
, состояние начальное 70
МП. См. также Автомат магазинный 69, 73
недетерминированный 73
ограниченный линейно 6, 118−121, 126
, алфавит символов входных 118
, входных 118
, ленты 118
, ввод 118
, движение 118
, конфигурация 118
, лента входная 119
Страницы
- « первая
- ‹ предыдущая
- …
- 242
- 243
- 244
- 245
- 246
- …
- следующая ›
- последняя »
