Языки и трансляции. Мартыненко Б.К. - 250 стр.

UptoLike

ВУЗ: 

СПбГУ | Санкт-Петербург

Составители: 

Рубрика: 

248
, вправо 83−85, 88, 89, 95, 108, 114
, вычисляющая функцию 93
, запоминание информации в состоянии
86, 88
, как модель вычисления 93
, подпрограмма 91
, процедура 92, 93
, распознаватель 92, 93
, средство определения функций 93
, кодирование 104, 105, 109
, данных входных 109
, таблицы состояний 105
, , блок 105
, , подблок 105
, цепочки входной 104, 109
, конфигурация 83−85, 90, 91, 93, 94, 102,
110, 111, 126
, , предствление 90
, начальная 91, 94
, принимающая 126
, лента 82, 83, 86, 87, 88, 89, 93, 94, 95, 97,
98, 99, 100, 101, 105, 109, 110, 114, 117, 119,
126
, , блок непустой 83
, , головка 82, 83, 88, 89, 99, 100, 101,
109, 114, 126
, , , позиция 83
, , длина 119
, , дорожка 86, 87, 94, 95, 105
, , верхняя 86, 87, 94, 95
, , нижняя 105
, , конец левый 83, 94
, , символ-ограничитель 86, 87
, , "$" 86
, , "¢" 86
, , содержание финальное 110
, , часть непустая 83
, , ячейка 82, 83, 89, 94, 109
, бесконечная в обе стороны 93, 94, 97
, входная 99, 101, 110
, , головка 99
, , маркер концевой 98
, полубесконечной 94
, только для чтения 98
, двухдорожечная 105, 109
, , дорожка нижняя 109
, магазинная 100, 101
, , вершина 100, 101
, , символ верхний 100
, многодорожечная 86
, пустая 117
, трёх-дорожечная 86, 126
, методы построения 85
, маркер состояния 85
, множество символов входных 83
, ленты допустимых 83
, состояний 83, 90, 105, 130
, конечных 83, 130
, модель основная 82, 86, 99
, , модификация 86
, остановка 84−86, 88, 91−93, 104, 109−
113
, отметка символов 87
, отношение следования непосредствен-
ного на множестве конфигураций 84
, отображение δ 130
, печать пробела 83
, символа ленты 83
, приёмы программирования 85
, пробел 83, 85−89, 93, 94, 99−102, 104,
113
, проблема остановки 110
, сдвиг символов ленты 89
, вправо 89
, символ 83, 87, 88, 89, 91, 94, 95, 98, 104,
105, 112
, входной 87, 94, 95, 98
, ленты 88, 89, 94, 104, 105, 112
, допустимый 88, 89, 112
, непомеченный 88, 89
, отключения проверки 91
, помеченный 88, 89
, пробела 87
, псевдопробела 83
, сканирование пробела 83
, состояние 83−86, 88, 90, 91, 92, 95, 105,
108, 112, 115, 130, 131
, конечное 85, 86, 92, 95
, начальное 83, 91, 105, 130
, остановки 91
, принимающее 105, 108, 112, 115
, текущее 83
, такт 83
, управление конечное 82, 83, 84, 85, 86,
94, 101, 112, 116
, , функция следующего такта
(движения) 83
, , δ 84, 85, 86, 95, 112, 116. См.
также Функция следующего такта
, цепочка входная 82, 84−86, 88, 89, 104,
109, 112
, , кодирование 104, 109
, , приём 84−86, 88, 89
, символов ленты 85
двумерная 98
, лента 98
, , головка 98
, , , движение 98
, , , , направление 98
, состояние 98
, управление конечное 98
двух-ленточная 97
, цепочка входная 97
детерминированная 97, 119

Страницы