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

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

blank
blank
blank
Красота
blank
Анисимов А.В. — Рекурсивные преобразователи информации
Анисимов А.В. — Рекурсивные преобразователи информации



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



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


Название: Рекурсивные преобразователи информации

Автор: Анисимов А.В.

Аннотация:

Описываются рекурсивные преобразователи информации, относящиеся к автоматной модели алгоритма и охватывающие широкий класс сложных алгоритмических систем — рекурсивные программы, вычислительные устройства, различные иерархические управляющие системы. Излагаются виды рекурсивного взаимодействия; проблемы разрешимости алгоритмов; недетерминизм в задании программ; преобразования рекурсии в более простые формы; рекурсивные алгоритмы в конкретных вычислительных средах; схемы программ и преобразователей.
Для студентов вузов, обучающихся по специальности «Прикладная математика».


Язык: ru

Рубрика: Технология/

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

ed2k: ed2k stats

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
$\varphi$-эквивалентность      47
2МПА автомат      151
LA(k) распознаватель      166 167
LL(f) грамматика      166
Автомат абстрактный      94
Автомат абстрактный в стандартной форме      97
Автомат детерминированный      98
Автомат конечный      98
Автомат Мили      104
Автомат минимальный      99
Автомат Мура      104
Автомат связный      98
Алгоритм      7 23
Алгоритм Кнута — Мориса — Пратта      158
Алгоритмический метод      26
Бэктрекинг      182 190 191
Взаимодействие параллельное      13
Взаимодействие рекурсивно-параллельное      14
Взаимодействие рекурсивное      13
Взаимодействие слабое      13
Вызов с разделением вычислительных сред      129
Выражение операторное      75
Выражение регулярное      74
Вычислительная среда      17 18 56
Гомоморфизм автоматов      99
Граф автомата      97
Группа      47
Дерево вывода      150
Изоморфизм автоматов      99
Имитатор g-ограниченный      64
Имитатор полиномиально-ограниченный      64 65
Интерпретация      56
Интерпретация, схемы программ      86
Информатика      8
Класс преобразователей      131
Класс преобразователей конечно-замкнутый      160
Классы $\mathcal{P}$ и $N\mathcal{P}$      113
Классы эквивалентности      100
КС языки      144
Машина Тьюринга      29 104
Машина Тьюринга k-ленточная      110
Ограниченный диаметр      170 174
Оператор перехода      71
Отношение бинарное      98
Отношение эквивалентности      98
Отношение эквивалентности правоинвариантное      109
Память стандартная      70
Партитура вычислений      15
Полнота класса преобразователей      52
Полугруппа      46
Полугруппа абелева      46
Полугруппа свободная      46
Преобразователь базовый      16
Преобразователь возвращающий      182 188
Преобразователь дискретный      10 17 55 89 93
Преобразователь информации      12
Преобразователь конечный      61 93
Преобразователь локально-конечный      188
Преобразователь локально-ограниченный      63
Преобразователь МП      133 148
Преобразователь над вычислительной средой      56
Преобразователь предикатов      82
Преобразователь рекурсивный      13 15 121
Преобразователь стековый      139 188
Преобразователь Чёрча — Россера      63 116
Преобразователя вычисление (результат работы)      62
Преобразователя конфигурация      61
Преобразователя поведение      61
Преобразователя реализация      118
Преобразователя след      118
Проблема неразрешимая      55
Проблема останова      54
Программа простая по взаимодействию      69
Разрешимость алгоритмическая      221
Регулярное управление      159
Рекурсивная система      124
Рекурсии моделирования      195
Рекурсии, устранение      194
Рекурсия      29 30 33
Рекурсия по данным      17 129 138
Рекурсия по управлению      17 128 131 144 176
Свойства локальные структур данных      209
Свойства Чёрча — Россера      115 116
Свойство Чёрча — Россера слабое      117
Семафор      13
Симметрия      25 26
Синтаксическая среда      94 160
Синтаксическая среда квазирегулярная      160
Синтаксический анализ      164
Система Чёрча — Россера      115
Следствие Донера, Тетчера, Райта      223
Следствие Летичевского      222
Следствие Пауля, Янгера      223
Следствие Токура, Касами, Фурута      222
Событие регулярное      74
Сопрограмма      129
Структура данных      56—58
Схема преобразователей      85
Схема программ рекурсивная      200
Схема программы      89
Схема Янова      179
Теорема Гарленда и Лакхэма      204
Теорема Грейбаха      147 149
Теорема Патерсона и Хьюитта      202
Теорема Риттера      199
Теория локально-конечных свойств      214
Теория сингулярная операторов      214
Функционал      88
Функционал эффективный Стронга      185 186
Функция передачи результата      126
Функция передачи фактических параметров      126
Цветной граф Кэли      49
Эквивалентность сильная      177
Эквивалентность сильная схем программ      86
Эквивалентность функциональная      179
Язык АЛГ      42
Язык ультраконечный      102
Язык формальный      42—45
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте