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

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

Авторизация

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

Красота

Арбиб М.А. — Алгебраическая теория автоматов, языков и полугрупп

Арбиб М.А. — Алгебраическая теория автоматов, языков и полугрупп

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

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

Название: Алгебраическая теория автоматов, языков и полугрупп

Автор: Арбиб М.А.

Аннотация:

Монография посвящена рассмотрению математического аппарата количественного и качественного анализа АСУ. Конечные автоматы благодаря их простой реализуемости на ЭВМ имеют значительные преимущества по сравнению с другими моделями. Авторы знакомят читателей с основными достижениями в этой области.
Книга рассчитана на разработчиков АСУ и цифровых средств вычислительной техники, на математиков, работающих в области системного математического обеспечения и построения проблемно-ориентированных алгоритмических языков, а также на специалистов по системному анализу и моделированию сложных объектов.

Язык:

Рубрика: Computer science/Вычислимость/

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

ed2k: ed2k stats

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

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

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

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

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

Отображение последовательности на последовательность      229
Паальман-де Миранда (Paalman de Miranda A.B.)      260 283
Пара разбиений      72
Парик (Parikh R. J.)      303 320 322
Пейперт (Papert S.)      284
Перенос левый      172
Перенос правый      172
Переносы      172
Переносы связанные      172
Перестановочный автомат      84
Период (циклической полугруппы)      22
Подавтомат      38
Подгруппа      14
Подгруппа максимальная собственная      14
Подгруппа моноида      293
Подгруппа топологической полугруппы      261
Подобие блоков покрытия      82
Подполугруппа      14
Подполугруппа инверсная      179
Подполугруппа максимальная комбинаторная      183
Подполугруппа максимальная собственная      14 183
Подполугруппа унитарная (слева, справа)      181
Подполугруппа циклическая      14
Подполугруппа, порожденная множеством      14
Подпрямое произведение      196
Подстановка      315
Покоординатное умножение      18
Покрытия      79
Полином      313
Полугрупп произведение      264
Полугруппа      13
Полугруппа 0-простая (слева; справа)      20
Полугруппа LLM      202
Полугруппа LM      202
Полугруппа PRIMES      110
Полугруппа RLM      202
Полугруппа RM      202
Полугруппа UNITS      110
Полугруппа абелева (коммутативная)      13
Полугруппа автомата      90
Полугруппа вполне простая      277
Полугруппа дискретная      259 269
Полугруппа единичная спиральная      265
Полугруппа инверсная      179
Полугруппа комбинаторная      126 181
Полугруппа компактная      259 260
Полугруппа левотривиальная      270
Полугруппа левых отображений      174
Полугруппа неприводимая      110
Полугруппа неприводимая по отношению к полупрямым произведениям      110 111
Полугруппа неприводимая топологическая      266
Полугруппа неразложимая относительно подпрямого произведения      204
Полугруппа нильпотентная      180
Полугруппа нормальная      268
Полугруппа нулевая      20
Полугруппа однопараметрическая      263
Полугруппа отображений      91 92
Полугруппа периодическая      14
Полугруппа правых отображений      91
Полугруппа преобразований      91 92
Полугруппа простая (слева, справа)      20
Полугруппа регулярная      176
Полугруппа рисовская матричного типа      18
Полугруппа свободная      16
Полугруппа свободная нильпотентная класса с образующими      183
Полугруппа симметрическая инверсная      17
Полугруппа стандартная нулевая (с нулевым умножением)      150
Полугруппа типа I      261
Полугруппа топологическая      260
Полугруппа топологическая неприводимая      266
Полугруппа функции (автомата)      48
Полугруппа циклическая      14
Полугруппа цилиндрическая      266
Полугруппа, являющаяся объединением групп      178
Полугруппы преобразований      138
Полулокальная теория      195
Полупрямое произведение полугрупп      51 91
Порождающая грамматика      299
Последовательно-параллельное замыкание      104
Последовательно-параллельное соединение      33 40
Последовательности $\alpha-\beta$       229
Последовательности (б)      230
Последовательности (в)      230
Последовательности (г)      230
Последовательности (д)      230
Последовательности (е)      230
Построение полугрупп      175
Правила подстановки      300
Праволинейная грамматика      305
Представление левое регулярное      17
Представление неприводимое      231
Представление правое регулярное      17
Представление Щютценберже левое       197
Представление Щютценберже правое       197
Представление Щютценберже — Престона      197
Предшествование блоков покрытия      82
Преемник      65
Преобразование      316
Преобразователь      181
Преобразователь левый      181
Преобразователь правый      181
Престон (Preston G.B.)      12 63 148 161 183 189 197 209 226 261 278 279 280 282
Приведенный (редуцированный) граф      290
Приведенный (редуцированный) граф в качестве представления синтаксического моноида      292
Приведенный автомат      47
Принцип индукции для комбинаторных полугрупп      127
Произведение (множеств)      303
Пропорциональность столбцов справа      206
Пропорциональность строк слева      206
Простая группа      35
Прямое произведение      18

Прямоугольник Паскаля      130
Путь      316
Рабин (Rabin M.)      284 288 297
Разбиение      71
Разбиение сохраняемое      71
Разложение      230
Разложение транзитивных компонент      249
Разложение тривиальное      248
Размерность      263
Ранг      87
Распределение      317
Расширение полугруппы при помощи отношения конгруэнтности      58
Расширение полугруппы при помощи полугруппы      59
Расширение полугруппы шрейеровское      61
Рациональная система      314
Реакция      65
Регулярное событие      285 290
Регулярный элемент полугруппы      176
Редеи (Redei I.)      61 63
Рейнер (Reiner I.)      231 258
Рекурсивно перечислимое множество      300
Рекурсивное множество      301
Ретракт      75
Решение алгебраической системы      313
Рис (Rees O.)      121 161 189
Ротман (Rothman N.J.)      268 282
Роудз (Rhodes J.)      27 32 38 45 56 57 63 86 110 111 120 126 131 135 136 143 146 148 183 189 195 209 226 231 232 253 258 293 322 323 324
Свободная группа      318
Свободный моноид      313
Свойство гомоморфизмов      190
Свойство локальное      175
Свойство полугрупп      175
Связка      19
Синтаксический моноид      286
Синтез логических схем      25
Система      121
Скотт (Scott D.)      284 288 297 324
Словарь      299
Сложение для сложности      139
Сложность      137 143
Сложность полугруппы      139 232
Событие      285
Состояния      26 64 65
Состояния, граф      26
Состояния, переход      26 27
Состояния, преобразование (отображение переходов)      73
Спейнер (Spanier E.)      310
Стандартная нить (I полугруппа)      261
Стандартный полугрупповой автомат      31
Степенной ряд      313
Степень неоднозначности      312
Стирнз (Stearns R.E.)      71 79 82 89 126 131 324
Структурная матрица      18
Стягивающее отображение      31
Теорема о декомпозиции Крона — Роудза      38
Теорема о подстановке      309
Теорема Парика      320
Теорема Редеи — Шрейера      62
Теорема Риса      158
Теорема Риса — Сушкевича      280
Терминальное состояние графа      289
Терминальный словарь      299
Тилсон (Tilson B.R.)      137 258
Тождественно-возвратный автомат      36
Узловое произведение      92
Узловое произведение абстрактных полугрупп      53
Узловое произведение и каскадное соединение      53
Узловое произведение полугрупп      105
Узловое произведение полугрупп преобразований (отображений)      92
Уоллес (Wallace A.D.)      259 260 263 266 270 275 276 277 279 280 281 282 283 323
Устойчивость      276
Фактор-автомат      77
Фактор-полугруппа Риса      60 268
Факторы главного ряда      151
Факторы композиционного ряда      86 161
Флорентин (Florentin J.J.)      59
Фосе (Faucett W.M.)      261 262 269 277 282
Фробениус (Frobenius)      88 286 321 322
Функция вход-выход      42 47
Хадсон (Hudson A. L.)      270 282
Хантер (Hunter R. P.)      263 265 268
Характер представления      231
Характеристическая теорема для регулярного события      304
Хартманис (Hartmanis J.)      71 79 82 89 126 131 324
Холл (Hall M.)      60 63 84 89
Хофманн (Horfmann K.E.)      260 266 267 268 281 282
Цепочка, допускаемая автоматом      303
Циклическая точка      93
Циклический автомат      56
Цилиндрическая полугруппа      266
Шайлдз (Shields A. L.)      262 264 266 269 282 283
Шамир (Shamir E.)      319 320 322 324
Щютценберже (Schutzenberger M.P.)      167 183 189 197 209 226 293 297 311 312 315 318 321
Щютценберже группа      167 168
Щютценберже теорема      280 281
Эквивалентность автоматов слабая      48
Эквивалентность правоинвариантная      288
Эпиморфизм      14
Эпиморфизм $\alpha$ $(\alpha=\mathscr{J}, \mathscr{L}, \mathscr{R}, \mathscr{H})$       193
Эпиморфизм $\alpha'$ $(\alpha=\mathscr{J}, \mathscr{L}, \mathscr{R}, \mathscr{H})$       214
Эпиморфизм $\gamma$       194
Эпиморфизм $\gamma(\alpha)$ $(\alpha=\mathscr{J}, \mathscr{L}, \mathscr{R}, \mathscr{H})$       193
Эпиморфизм $\gamma+\mathscr{J}$       218
Эпиморфизм единственный максимальный собственный      204
Эпиморфизм канонический      150
Эпиморфизм максимальный собственный      190
Ядро гомоморфизма полугрупп      224
Ядро полугруппы      20
Язык контекстно-свободный      301
Язык непосредственно составляющих      301
Язык, порожденный грамматикой      300

1 2

Реклама

© Электронная библиотека попечительского совета мехмата МГУ, 2004-2024

Электронная библиотека мехмата МГУ

Valid HTML 4.01!

|

Valid CSS!

О проекте