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

blank
blank
blank
Красота
blank
Мелихов А.Н. — Ориентированные графы и конечные автоматы
Мелихов А.Н. — Ориентированные графы и конечные автоматы

Читать книгу
бесплатно

Скачать книгу с нашего сайта нельзя

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



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


Название: Ориентированные графы и конечные автоматы

Автор: Мелихов А.Н.

Аннотация:

В монографии рассматриваются вопросы преобразования ориентированных графов и излагается систематический подход к логическому проектированию автоматов методами теории графов. Описываются свойства теоретико-множественных и алгебраических операций над графами и решаются задачи разложения сложных графов на более простые по различным операциям. Определяются основные понятия теории автоматов и формулируются алгоритмы абстрактного анализа и синтеза автоматов. Изучается алгебра абстрактных автоматов и рассматривается проблема декомпозиции автоматов. Книга рассчитана, на специалистов в области теоретической кибернетики и вычислительной техники, а также студентов и аспирантов соответствующих специальностей.


Язык: ru

Рубрика: Computer science/Дискретная математика/

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

ed2k: ed2k stats

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
Автомат абстрактный      155
Автомат автономный      168
Автомат автономный по входу      168
Автомат автономный по выходу      168
Автомат асинхронный      156
Автомат бесконечный      158
Автомат вероятностный      265
Автомат вполне определенный      167
Автомат второго рода      157
Автомат единичный      256
Автомат конечный      158
Автомат обратный      257
Автомат первого рода (автомат Мили)      157 165 169 171 184 202 300 309 356
Автомат правильный      157
Автомат правильный второго рода (автомат Мура)      157 165 169 171 184 202 309 335 346 356
Автомат связный      168
Автомат синхронный      156
Автомат частичный      167
Автоматность отображения      172
Автоматы изоморфные      170 187
Автоматы эквивалентные      159
Алгебра абстрактных автоматов      227 и д.
Алгебра булева      54
Алгебра событий      178
Алгоритм анализа абстрактных автоматов      204
Алгоритм представления автомата параллельной поочередной работой двух автоматов      292
Алгоритм представления автомата произведением двух автоматов с общим входом      285
Алгоритм представления автомата произведением двух автоматов с раздельными входами      278
Алгоритм разложения графа в объединение произведений графов      128
Алгоритм разложения графа в произведение графов      113 122
Алгоритм разложения графа в сумму графов      134
Алгоритм распознавания изоморфизма автоматов      190
Алгоритм распознавания изоморфизма графов      23 25
Алгоритм распознавания изоморфизма графов обобщенный      27
Алгоритм распознавания изоморфного вложения автоматов      193
Алгоритм распознавания изоморфного вложения графов      30
Алгоритм синтеза автоматов      218
Алфавит      155
Алфавит входной      155
Алфавит выходной      155
Анализ автоматов      182 202
Базис регулярного выражения      222
Биекция      60
Биекция каноническая      66
Буква алфавита      155
Буква алфавита пустая      172
Вершина графа      12
Вершина графа индексная      198
Вершина графа каскадная      197
Вершина графа остаточная      198
Вершины смежные      14
Вершины спаренные      197
Вложение автомата изоморфное      171 191
Вложение автомата изоморфное строгое      171
Вложение графа изоморфное      22 29 36
Вложение графа изоморфное строгое      37
Выражение регулярное      179
Выражение регулярное минимальное      207
Глубина циклическая регулярного выражения      180
Глубина циклическая регулярного события      181
Граф      11
Граф антисимметрический      16
Граф Бержа      17 20
Граф Бержа, правило двойственности      53
Граф бесконечный      11
Граф каскадный      197
Граф конечный      11
Граф насыщенный (с насыщенным отображением)      16
Граф неориентированный      11 19
Граф обратной связи      197
Граф ориентированный      11 19
Граф пустой      35
Граф разложимый      100
Граф с пустым отображением      15
Граф с пустым отображением единичный      16
Граф сигналов переходный      196
Граф сигналов переходный линейный      199
Граф симметрический      16
Граф смешанный      11 19
Граф смешанный без петель      19
Граф структурный      160
Граф транспонированный      15
Граф универсальный      35
Графонд      160
Графонд нетипичный      208
Графонд ориентированный      160
Графонд слаботипичный      208
Графонд типичный      208
Графы изоморфные      14 18 22
Графы непересекающиеся      44
Графы пересекающиеся      43
Графы эквивалентные (равные)      15
Графы эквивалентные с точностью до изоморфизма      15
Декомпозиция автомата      99 273
Декомпозиция автомата на заданные блоки (автоматы)      275
Декомпозиция автомата общая      274 305
Декомпозиция автомата оптимальная      273
Декомпозиция автомата параллельная неодновременная (поочередная)      274 290
Декомпозиция автомата параллельная одновременная      274
Декомпозиция автомата параллельная одновременная с общим входом      283
Декомпозиция автомата параллельная одновременная с разделением входов      276 290
Декомпозиция автомата последовательная      297
Декомпозиция автомата с выделением заданных стандартных автоматов      320
Декомпозиция автомата смешанная      274
Диаграмма Вейча      344
Дизъюнкция событий      178
Длина слова      16
Дополнение графа      120
Дополнение множества      41
Дополнение по отображению графа      44 45
Дуга графа      12 18
Дуга графа каскадная      197
Задачи анализа и синтеза автоматов      184 185
Законы функционирования автоматов      156
Звено      18
Изоморфизм автоматов      169 187
Изоморфизм графов      15 18 22
Изоморфизм «жесткий»      67
Индекс соединения обратной связи      198
Интерпретация автомата второго рода автоматом первого рода      159
Инцидентность вершины и ребра      14
Инцидентор      18 49
Инъекция      60
Иссечение автомата      324
Источник      197
Итерация события      178
Карта Карно      344
Композиция автоматов      258
Композиция графов      74 75
Контур обратной связи      196
Кратность слова      16
Матрица инциденций графа      20
Матрица клеточная k-правильная      145
Матрица клеточная k-правильная соединений автомата      298
Матрица клеточная правильная      103
Матрица клеточная правильная соединений автомата      277
Матрица клеточная правильная соединений автомата с запрещенными переходами      306
Матрица клеточная регулярная      131
Матрица клеточная регулярная соединений автомата      291
Матрица переходов      340
Матрица переходов триггера с раздельными входами      341
Матрица смежности графа      13 21
Матрица соединений автомата      161
Матрица соединений автомата квазиправильная      313
Матрица стохастическая      266
Множество      11
Множество допустимых входных слов автомата      167
Множество операций объединяющего типа      80
Множество операций пересекающего типа      87
Множество операций суперпозиционного типа      80 86
Множество подавтоматов      171
Множество подграфов      38 40
Множество подмножеств      37
Множество событий каноническое      176
Множество суграфов      38 40
Мультиграф ориентированный      16
Мультичисло мультиграфа      16
Надавтомат      171
Надграф      34 36 40
Надграф минимальный      102 120
Неограф      19
Неограф без петель      19
Область запрета автомата      167
Образ по отображению      59 60
Объединение автоматов      235
Объединение графов      42
Объединение множеств      40
Объединение событий      176
Оператор алфавитный      155
Операция квазикомпозиционная      82
Операция квазисуммирующая      82
Операция квазисуперпозиционная      87
Орграф      19
Орграф без петель      19
Остаток индексный графа      198
Отображение автоматное      172
Отображение алфавитное      155
Отображение биективное      60
Отображение инъективное      60
Отображение сюръективное      60
Пары разбиений множества вершин изоморфные      108
Пересечение автоматов      238
Пересечение графов      43 44 48
Пересечение множеств      41
Петля графа      12 18
Подавтомат      171
Подавтомат истинный      171
Подграф      34—36 40
Подграф истинный      37
Подграф несобственный      36
Подграф собственный      36
Полустепень захода вершины      14
Полустепень исхода вершины      14
Пополнение отображения      173
Построение функциональной схемы по графу автомата      348
Правила де Моргана      51
Правило двойственности для графов Бержа      53
Прадерево нагруженное      160
Приведение отображения к канонической форме      77
Присоединение множества      41
Продолжение автомата изоморфное      170
Продолжение автомата эквивалентное      171
Продолжение графа      36
Продолжение графа изоморфное      37
Продолжение отображения      36
Проекция декартова произведения вторая      65
Проекция декартова произведения первая      65
Произведение автоматов      240 244
Произведение автоматов вероятностных      268
Произведение графов      71 73
Произведение матриц прямое (тензорное)      92
Произведение множеств декартово (прямое)      12 65 69
Произведение отображений      233
Произведение событий      178
Прообраз графа      61
Прообраз полный по отображению      59
Путь на графе замкнутый      196
Путь на графе обратный      196
Путь на графе открытый      196
Путь на графе прямой      196
Равенство графов      15
Равенство графов, двойственное данному      84
Разбиение множества      104
Разложение графа      99 и д.
Разложение графа в объединение произведений графов      128
Разложение графа в произведение графов      105 112
Разложение графа в сумму графов      130
Разложение графа по операции композиции      138
Разложение графа по операции суперпозиции      144
Разложение графа тривиальное      101
Разложение мультиграфа по операции умножения      116
Разность графов      45
Разность множеств      41
Расщепление вершины      197
Ребра смежные      14
Ребро графа      12
Ребро графа неориентированное      18
Ребро графа ориентированное      18
Синтез автоматов      182
Синтез автоматов в универсальных вычислительных средах      367
Синтез автоматов, декомпозиционный метод      355
Синтез автоматов, канонический метод      335 и д.
Система элементарных автоматов структурно полная      335
Скобки итерационные      180
Слово      16 155
Слово входное допустимое      167
Слово входное запрещенное      167
Смежность вершин      14
Смежность ребер      14
Событие      176
Событие нерегулярное      180
Событие одноэлементное      179
Событие регулярное      180
Соединение автоматов параллельное      229
Соединение автоматов последовательное      230
Соединение автоматов смешанное      231
Соединение графов      46
Соответствие каноническое      66
Состояние автомата достижимое      168
Состояние автомата недостижимое      168
Состояния с тождественными переходами и выходами      314
Сплетение отображений      234
Сплетение слов      233
Способ задания автоматов аналитический      157
Способ задания автоматов геометрический      160
Способ задания автоматов матричный      161
Способ задания графов аналитический      11
Способ задания графов геометрический      12
Способ задания графов матричный      13
Степень множества      69
Сток      197
Стрелка Пирса      368
Стрелка пустая      212
Строка сопряжения      377
Структура      54
Структура булева      54
Структура дистрибутивная      54
Суграф      35 40
Сужение автомата изоморфное      171
Сужение автомата эквивалентное      171
Сужение графа      36
Сужение графа изоморфное      37
Сужение отображения      36
Сумма автоматов      247
Сумма автоматов вероятностных      268
Сумма графов      73
Сумма графов дизъюнктивная      48 57
Сумма множеств      41
Сумма множеств дизъюнктивная      42
Суперпозиция автоматов      252
Суперпозиция автоматов вероятностных      271
Суперпозиция графов      77 87
Таблица кодирования состояний      338
Таблица переходов      340
Таблица переходов и выходов      161
Таблица переходов отмеченная      165
Таблица соответствия      175
Таблица соответствия сокращенная      176
Теорема двойственности      84
Теорема де Моргана      53
1 2
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2014
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте