Оллонгрен А. — Математическое обеспечение ЭВМ. Определение языков программирования интерпретирующими автоматами :: Электронная библиотека попечительского совета мехмата МГУ

Главная Ex Libris Книги Журналы Статьи Серии Каталог Wanted Загрузка ХудЛит Справка Поиск по индексам Поиск Форум

Авторизация

Поиск по указателям

Оллонгрен А. — Математическое обеспечение ЭВМ. Определение языков программирования интерпретирующими автоматами

Обсудите книгу на научном форуме

Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter

Название: Математическое обеспечение ЭВМ. Определение языков программирования интерпретирующими автоматами

Автор: Оллонгрен А.

Язык:

Рубрика: Computer science/

Серия: Сделано в холле

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

Год издания: 1977

Количество страниц: 288

Добавлена в каталог: 01.10.2008

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID

Предметный указатель

e-движение (e-move)      78
PL-машина (PL machine)      198 199 210 211 221 230
Абстрактная грамматика (abstract grammar)      137 164 170 181 257
Абстрактный процессор (abstract processor)      240—271
Абстрактный синтаксис (syntax)      256—264
Автомат детерминированный (deterministic automaton)      63
Автомат интерпретирующий (interpreting)      180 181 187 198 220—221 230 255
Автомат конечный (finite)      57—64
Автомат магазинный (pushdown)      77—90
Автомат начальный (initial)      67
Автомат недетерминированный (non-deterministic)      59
Автомат сдвоенный (twin)      230—239
Адрес возврата (return adress)      88
Аксиома спецификации (specification axiom)      30
Алфавит (alphabet)      34
Атом (atom)      103
Безусловный переход (unconditional state transition)      242
Биективная функция (bijective function)      33
Бинарное отношение (binary relation)      32
Блок (block)      52 203 229 270
Блок параллельный (parallel)      254—270
Блок повторяющийся (cyclic)      258—260
Взаимно однозначная функция (one-to-one function)      33
Взаимодействующий последовательный процесс (cooperating sequential process)      255
Внешняя среда (environment)      199—243 270
Возвращаемая информация (return information)      185—193
Вывод (derivation)      41 54 92—96
Вывод канонический (canonical)      55
Вывод левосторонний (left-most)      55
Вызов подпрограммы (subroutine call)      88
Вызов процедуры (procedure call)      52
Выполнение (execution)      250
Высказывание (proposition statement)      17
Высказывание необходимое (necessary)      18
Высказывание простое (simple)      17
Высказывание случайное (contingent)      18
Высказывание составное (compound)      18
Высказывание условное (conditional)      20
Вычисление (computation)      182 196 227 240
Гомоморфизм (homomorphism)      36
Грамматика (grammar)      40
Грамматика абстрактная (abstract)      137 164 170 181 257
Грамматика контекстно-зависимая (context-sensitive)      40
Грамматика контекстно-свободная (context-free)      40 75 86—96 134—141 187
Грамматика неоднозначная (ambiguous)      56
Грамматика праволинейная (right linear)      40
Грамматика преобразованная абстрактная (transformed abstract)      160—178
Грамматики эквивалентные (equivalent grammars)      45
Граф ориентированный (directed graph)      120
Граф пустой (empty)      120
Граф состояний (state)      60
Группа (group)      34
Групповая операция (group operator)      34
Дерево (tree)      120
Дерево вывода (generation)      53
Дерево вывода полное (complete)      54
Дерево корневое ориентированное (rooted directed)      120
Дерево пустое (empty)      120
Дерево размеченное (labelled)      120—126
Дерево элементов (of items)      149
Дескриптор (denotation)      201
Детерминированный автомат (deterministic automaton)      63
Дизъюнкция (disjunction)      19
Доказательство (proof)      22
Дополнение множества (complement of set)      31
Единица (identity element)      34
Задача разбора (parsing problem)      57 66 77
Задача распознавания (recognition problem)      66 77
Значения истинности (truth values)      17
Извлекаемая информация (derived return information)      188—191
Изоморфизм (isomorphism)      36
Импликация (implication)      20
Имя активации блока (block activation name)      222
Имя во внешней среде активации графически объемлющего блока (environment preceding block activation name)      222
Индекс отношения эквивалентности (index equivalence relation)      32
Интерпретатор (interpreter)      181
Интерпретация (interpretation)      21 174 211 250
Интерпретирующая машина (interpreting machine)      181
Интерпретирующая функция (function)      132
Интерпретирующий автомат (interpreting automaton)      180 181 187 198 220—221 230 255
Инъективная функция (injective function)      33
Йота-оператор (iota operator)      26
Канонический вывод (canonical derivation)      55
Квантор (quantifier)      24
Квантор общности (universal)      24
Квантор существования (existence)      24
Команда (instruction)      182 183 185
Конечный автомат (finite automaton)      57—64
Контекстно-зависимая грамматика (contextsensitive grammar)      40
Контекстно-зависимый язык (context-sensitive language)      42
Контекстно-свободная грамматика (contextfree grammar)      40 75 86—96 134—141 187
Контекстно-свободный язык (context-free language)      42
Конфигурация (configuration)      78
Конъюнкция (conjunction)      19
Корневое ориентированное дерево (rooted directed tree)      120
Критический интервал (critical section)      256 259—271
Логика высказываний (propositional logic), предикатов (predicate logic)      22—26
Логическая связка (propositional connective)      19
Магазин (stack)      203
Магазин адресов возвратов (of return adresses)      243 271
Магазин промежуточных результатов (of intermediary results)      243
Магазин указателей (of pointers)      243
Магазинный автомат (pusndown automaton), преобразователь (transducer)      91—96
Маркер (marker)      59
Матрица правил (production matrix)      73
Металингвистический символ (metalinguistic symbol)      46
Метапеременная (meta variable)      22
Метаязык (metalanguage)      264
Множество (set)      29
Множество заключительных состояний (of final states)      196
Множество пустое (empty)      30
Множество регулярное (regular)      42 59
Множество рекурсивно перечислимое (recursively enumerable)      42
Множество рекурсивное (recursive)      42 81
Множество селекторов управления (of control selectors)      183
Множество составных объектов (of composite objects)      111
Множество составных селекторов (of composite selectors)      102
Множество терминальных селекторов управления (of terminal control selectors)      185
Множество характеристическое (characteristic)      107
Множество элементарных объектов (of elementary objects)      111
Моноид (monoid)      34
Моноидный гомоморфизм (monoid homomorphism)      36
Мономорфизм (monomorphism)      36
Начальное состояние (initial state)      58 203
Начальный автомат (initial automaton)      67
Начальный символ (start symbol)      40
Недетерминированный автомат (non-deterministic automaton)      59
Необходимое высказывание (necessary proposition statement)      18
Неоднозначная грамматика (ambiguous grammar)      56
Непересекающиеся множества (disjoint sets)      31
Непосредственный селектор (direct selector)      112
Нетерминал (non terminal)      40
Нормализованная система (normalized system)      75
Нулевой объект (null object)      103
Область (universe of discourse)      29
Область значений функции (range)      33
Область определения функции (domain)      33
Образ (image)      33
Общезначимая формула (valid formula)      21 24
Объединение множеств (union of sets)      31
Объект (object)      102
Объект нулевой (null)      103
Объект пустой (empty)      103
Объект составной (composite)      103—126
Объект элементарный (elementary)      103 120
Объявление (declaration)      163—167
Оператор (statement)      170
Оператор P (P-statement)      254—264 271 274 276 277
Оператор V (V-statement)      254—264 271 274 276 277
Оператор перехода (go-to statement)      173—174

Оператор присваивания (assignment statement)      52
Операция (operation)      102
Операция выбора (selection)      32 112
Операция групповая (group)      34
Операция композиции (composition)      102
Операция конкатенации (concatenation)      35
Ориентированный граф (directed graph)      120
Отношение n-арное (n-ary relation)      32
Отношение бинарное (binary)      32
Отношение упорядоченности (ordering)      148
Отношение эквивалентности (equivalence)      32
Отрицание (negation)      19
Переменная свободная (free variable)      24
Переменная связанная (bound)      24
Пересечение множеств (intersection of sets)      31
Переход (state transition)      78 242—244 270—277
Переход безусловный (unconditional)      242
Переход параллельный (parallel)      256
Переход условный (conditional)      242
Подмножество (subset)      29
Подмножество собственное (proper)      30
Полное дерево вывода (complete generation tree)      54
Полугруппа (semigroup)      34
Порождающее правило (production rule)      40
Последовательность (sequence)      33
Правило вывода (rule of inference)      22
Правило модус поненс (modus ponens)      22
Правило модус толленс (modus tollens)      22
Правило порождающее (production)      40
Правило упрощения (of simplification)      22
Правильная формула (well-formed formula)      21
Праволинейная грамматика (right linear grammar)      40
Предикат (predicate)      23
Предикат n-местный (n-place)      23
Предикат равенства (identity)      25
Преобразование цепочки (string transformation)      41
Преобразование языка (language transformation)      256
Преобразованная абстрактная грамматика (transformed abstract grammar)      174—178
Преобразованный абстрактный синтаксис (transformed abstract syntax)      160—178
Признак данных (data attribute)      165—167
Программа (program)      161 162
Программа абстрактная (abstract)      137 176 250
Программа выходная (object)      249 250
Программа исходная (source)      249
Продукция (production)      40
Простое высказывание (simple proposition statement)      17
Простой селектор (simple selector)      103 120
Противоречивая формула (inconsistent formula)      24
Противоречие (contradiction)      21
Процедура (procedure)      167
Процесс последовательный (sequential process)      196
Процессор (processor)      240 269 270
Процессор абстрактный (abstract)      240—271
Процессор последовательный (sequential)      254
Прямое произведение (cartesian product)      31
Пустое дерево (empty tree)      120
Пустое множество (set)      30
Пустой граф (graph)      120
Пустой объект (object)      103 111
Разбор (parsing)      66—96
Размеченное дерево (labelled tree)      120—126
Разность множеств (difference of sets)      31
Расширяющееся управление (expanding control)      193
Регулярное множество (regular set)      42 59
Режим интерпретации (interpretive mode)      14
Рекурсивно перечислимое множество (recursively enumerable set)      42
Рекурсивное множество (recursive set)      42 81
Сведение к абсурду (reductio ad absurdum)      22
Свободная переменная (free variable)      24
Свободная полугруппа (semigroup)      36
Связанная переменная (bound variable)      24
Сдвоенный автомат (twin automaton)      230—239
Селектор (selector)      102
Селектор непосредственный (direct)      112
Селектор предыдущего управления (preceding control)      187—191
Селектор простой (simple)      103 120
Селектор составной (composite)      102—126
Селектор тождественный (identity)      112
Селектор управления (control)      183—193
Селектор управления терминальный (terminal)      185 196
Селекторы зависимые (dependant)      104
Семафор (semaphore)      255
Семафор локальный (local)      258
Символ металингвистический (metalinguistic symbol)      46
Символ начальный (start)      40
Символ терминальный (terminal)      39
Синтаксис (syntax)      158 210
Синтаксис абстрактный (abstract)      256—264
Синтаксический граф (syntactical graph)      53—55
Синхронизирующий примитив (synchronizing primitive)      255
Система конечных автоматов (system of finite automata)      66—76
Система программирования (programming)      180
Склад (dump)      199 203 242 243 270
Следствие (consequence)      22
Следствие тавтологическое (tautological)      22
Словарь (vocabulary)      40
Слово (word)      39 42
Случайная формула (contingent formula)      21 24
Случайное высказывание (contingent proposition statement)      18
Собственное подмножество (proper subset)      30
Содержимое (content)      244
Составное высказывание (compound proposition statement)      18
Составной объект (composite object)      103—126
Составной селектор (composite selector)      102—126
Состояние (state)      58
Состояние заключительное (final)      58 196
Состояние начальное (initial)      58 203
СПИСОК (LIST)      142—146
Список LISP      154—156
Список дихотомический (dichotomous)      147 154
Структурная индукция (structural induction)      146 147
Структуры данных (data structures)      98—126 128
Сужающееся управление (contracting control)      192
Схема команд (instruction scheme)      182 193 224 232 260
Счетчик отличительный имен (unique name counter)      199 203 242 270
Сюръективная функция (surjective function)      33
Таблица истинности (truth table)      19
Тавтология (tautology)      21
Теорема (theorem)      22
Терминал (terminal)      39
Терминальный селектор управления (terminal control selector)      185 196
Терминальный символ (terminal symbol)      39
Тернарное отношение (3-ary relation)      32
Тождественный селектор (identity selector)      112
Указатель (pointer)      245
Указатель связи (link)      88
Указатель функции (function designator)      168 201 202
Упорядоченная пара элементов (ordered pair of individuals)      31
Управление (control)      181—203 240
Управление расширяющееся (expanding)      193
Управление сужающееся (contracting)      192
Условие (condition)      20
Условие в обе стороны (biconditional)      21
Условное выражение (conditional expression)      26—29
Условное высказывание (conditional proposition statement)      20
Условный переход (conditional state transition)      242
Устройство распознавания (recognition device)      58
Утверждение (assertion)      17
Формула высказываний (propositional formula)      21
Формула общезначимая (valid)      21 24
Формула правильная (well-formed)      21
Формула предикатов (predicate)      24
Формула противоречивая (inconsistent)      24
Формула случайная (contingent)      21 24
Фрагмент PL (PL fragment)      49—52
Фраза (sentence)      39 42
Фразовая форма (sentential form)      42
Функции указатель (function designator)      168 201 202
Функция (function)      33 168
Функция биективная (bijective)      33

1 2

О проекте