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

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

Авторизация

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

Красота

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

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

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

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

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

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

Аннотация:

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

Язык:

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

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

ed2k: ed2k stats

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

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

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

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

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

$\mathscr{H}$ класс      152
$\mathscr{J}$ класс      152
$\mathscr{J}$ класс $\theta$ -сингулярный      194
$\mathscr{J}$ класс комбинаторный      200
$\mathscr{J}$ класс некомбинаторный      200
$\mathscr{J}$ класс нулевой      154
$\mathscr{J}$ класс отмеченный      203
$\mathscr{J}$ класс регулярный      154
$\mathscr{R}$ класс      152
G сложность      228
G сложность $\theta_a$       230
G сложность $\theta_b$       230
G сложность $\theta_c$       230
G сложность $\theta_d$       230
G сложность $\theta_e$       230
G сложность $\theta_f$       230
G сложность $\theta_g$       230
G сложность $\theta_h$       231
G сложность $\theta_j$       232
GC декомпозиция      133
I полугруппа      261
IRR      110
IRR(S)      111
PRIMES      110
PRIMES $(\mathscr{S})$       111
PRIMES (S)      111
s-неприводимость      55
Абелева группа      32
Абстрактная полугруппа, определяемая полугруппой отображений      92
Автомат      46 64 90
Автомат n-итерации      127
Автомат Rep(T)      144
Автомат групповой (группы)      32 84 132
Автомат задержки      107
Автомат комбинаторный      132
Автомат линейный      43
Автомат Мили      27
Автомат Мура      28
Автомат непрерывный      275
Автомат основной комбинаторный      132
Автомат перестановочно-возвратный      36
Автомат перестановочный      132; (см. «Автомат группы или групповой»)
Автомат полугруппы (или полугрупповой)      31 37 90
Автомат преобразований      77
Автомат простой слева полугруппы      39
Автомат с магазинной памятью      306
Автомат с магазинной памятью детерминированный      307
Автомат типа состояние-выход      46 47
Автомат тождественно-возвратный      36
Автомат устранения ошибок      45
Автомат циклический      56
Автомат циклической полугруппы      39
Автомат, свободный от групповых компонент      132 133
Автомата естественное расширение      94
Автомата нормальная форма      97
Автомата полугруппа      90
Автомата фундаментальное разложение      95
Автомата частичное произведение      115
Автоматов основная теорема о декомпозиции      111
Автоматов параллельное соединение      98
Автоматов последовательное соединение      98
Адамаровское произведение      334
Аксиома       256
Аксиома 1      228
Аксиома 2      228
Аксиома 3      228
Аксиомы для сложности      227
Алгебраические системы      312
Алгол      299 311
Аллен (Allen O.)      136 209 257 258
Андерсон (Anderson L.W.)      263 268 281
Арбиб (Arbib M.A.)      58 63 148 323
Ассмус (Assmus E.F.)      59
Байэр (Bayer R.)      59
Бакус (Backus J.)      311
Бар-Хиллел (Bar-Hillel Y.)      319 322
Беднарек (Bednarek A.R.)      281 282 323
Бернсайд (Burnside W.)      114
Бинг      261
Борсук (Borsuk K.)      271
Булевы матрицы      26
Величина сложности      137
Веса      314 317
Возвратное отображение      35
Вспомогательные символы      300
Вывод      300
Вывод левосторонний      302
Вычисление сложности      229
Вэйд (Wade C.I.)      262 282
Галуа (Galois E.)      88
Гинзбург (Ginsburg S.)      298 299 310 316 319 321
Гипотезы Тюринга      300
Главный ряд      151
Глисон (Gleason A.)      264
Гомеоморфизм      260
Гомоморфизм      14
Гомоморфизм       200
Гомоморфизм       200
Гомоморфизм       199
Гомоморфизм       197
Гомоморфизм       199
Гомоморфизм       197
Гомоморфизм $\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
Гомоморфизм P      96 192
Гомоморфизм взаимно-однозначный      14
Гомоморфизм локальный      161
Гомоморфизм частичный      162
Гомоморфизм, сохраняющий длину      95
Грамматика      299 300
Грамматика контекстно-свободная      301
Грамматика неоднозначная      302
Грамматика непосредственно составляющих      301
Грамматика однозначная      302
Граница      276
Граф      316
Граф состояния      289
Граф состояния приведенный (редуцированный)      290
Грин (Green J.A.)      152 154 156 161 189
Группа      13
Группа абелева      32
Группа автомата      32
Группа периодическая      22
Группа простая      35
Группа циклическая порядка n      16
Групповая сложность      132
Групповая сложность автомата      134
Групповая сложность полугруппы      134
Групповая сложность полугруппы преобразований      134
Грэхэм (Graham N.)      189
Грэхэм (Graham R.)      189 323
Двойственность (дуальность)      18
Действие      274 92
Действие правое      92
Действие точное      92
Декартово произведение      18
Декомпозиция      33—35
Делимость автоматов      48 95
Делимость автоматов с сохранением длины      95
Делимость полугрупп      49 95
Делимость полугрупп преобразований      98
Дерево вывода      302
Диагональное отображение      196
Дискретная полугруппа      259 260
Достижимость      47
Дуга      261
Дуга, выходящая из идемпотента      264

Дэй (Day J.M.)      259 260 282 323
Единица      13
Единица левая      13
Единица правая      13
Единичная нить      262
Единственное расширение отображения      94
Единственный минимальный P-гомоморфный образ      96
Естественное расширение отображения      94
Жордан (Jordan C.)      88
Замкнутое множество      260
Замыкание      303
Замыкание относительно гомоморфизма      286
Замыкание относительно полупрямых произведений и делимости      109
Замыкание относительно узловых произведений и делимости      104
Зейгер (Zeiger H.P.)      36 37 45 120 122 126 131 147 148 324
Зиппин (Zippin L.)      264 283
Идеал      20
Идеал 0-минимальный (левый, правый)      261
Идеал главный (левый, правый)      152
Идеал комбинаторный      236
Идеал левый      20
Идеал максимальный      140
Идеал максимальный собственный      281
Идеал минимальный левый      20
Идеал минимальный правый      20
Идеал отмеченный      203
Идеал относительный      279
Идеал почти максимальный      140
Идеал правый      20
Идеализатор      167
Идеализатор левый      167
Идеализатор правый      167
Идемпотент      13
Изеоморфизм      261
Измельчение      81
Изоморфизм      14
Инверсный элемент в полугруппе      179
Индекс нильпотентного линейного преобразования      232
Индекс циклической полугруппы      22
Каскадное соединение автоматов      49 50
Категориальная грамматика      319
Клан      261
Клини (Kleene S.C.)      315
Клиффорд (Clifford A.H.)      12 60 63 113 148 161 178 183 189 261 262 278 279 280 282
Кодирующая функция      31
Кольцо характеров      231
Коммутативная диаграмма      (рис.6 гл.4)
Коммутативный образ цепочки      320
Компактная полугруппа      260
Композиционный ряд      86 161
Компонента      70
Конгруэнтность      15
Конгруэнтность левая      16
Конгруэнтность на полугруппе      15 58 286
Конгруэнтность правая      16
Конечный автомат      303
Конечный преобразователь      308
Контекстно-свободная грамматика      301
Контекстно-свободная система      311
Контекстно-свободного языка проблемы разрешимости      309
Контекстно-свободного языка свойства замкнутости      308
Контекстно-свободного языка характеристическая теорема      306
Контекстно-свободный язык      301
Контекстно-свободный язык детерминированный      307
Координатное отображение для 0-простой полугруппы      159
Координатное отображение для регулярного $\mathscr{J}$ класса      163
Кох (Koch R.J.)      264 266 273 276 281 282
Коэн (Cohen H.)      262 263 282
Крон (Krohn K.B.)      27 32 38 45 55 57 63 86 110 111 120 126 131 135 136 146 148 209 226 258 293 324
Круль (Krole I.S.)      263 282
Левотривиальная полугруппа      270
Левый нуль      262
Левый сдвиг свободной полугруппы      109
Лемма о ретракте      76
Лемма о сохранении однозначности      79
Лемма Цорна      267 278
Линейный автомат      43
Лист Мебиуса      271
Лиу (Liu C.L.)      79 89
Локальное умножение      159
Лэнджер (Langer R.)      135 148 324
Мак-Нотон (McNaughton R.)      284 297 323
Максимальный (минимальный) образ гомоморфизма (гомоморфный образ) по отношению к группе      192
Максимальный (минимальный) образ гомоморфизма (гомоморфный образ) по отношению к свойству      191
Манн (Munn W.D.)      60 183 189
Матеосян (Mateosian R.I.)      110 126 131 140 148
Матрица мономиальная по столбцам      19
Матрица мономиальная по строкам      20
Машина Тюринга      300
Мин-нить      262
Минимальный $\gamma$ -гомоморфный образ      215 216
Множество Дика      318
Моделирование      48
Моноид      13
Мономорфизм      14
Монтгомери (Montgomery D.)      263 264 283
Мостерт (Mostert P.S.)      260 262 264 266 267 269 279 282 283
Мур (Moore E.F.)      297
Намакура (Numakura K.)      273 281 282 283
Начальное состояние графа      289
Начальный элемент покрытия      82
Недетерминированный конечный автомат      304
Независимость координат      69
Неопределенность (неоднозначность)      302
Неопределенность синтаксическая      302
Неопределенность существенная      302
Непрерывность сложности по отношению к гомоморфизмам      254
Непрерывность сложности по отношению к делимости      256
Непрерывность сложности по отношению к идеалам      140
Непрерывность сложности по отношению к подполугруппам      255
Непрерывный автомат      275
Неприводимость автоматов      50
Неприводимость относительно полугрупп      55
Неприводимость полугрупп      51
Неприводимость топологическая      266
Ниль-нить      262
Нильпотентный класс      180
Нить      261
Норма      230
Нормализация структурной матрицы      159 160
Нормальная полугруппа      268
Носитель (опорное множество) степенного ряда      313
Нуль      13
Нуль левый      13 262
Нуль правый      13
Область      87 225
Обобщенная теорема о вложении      143
Образ гомоморфизма (гомоморфный образ)      14
Обратная функция      14
Обратный элемент в группе      13
Однопараметрическая полугруппа      263
Операция Клини      315
Определенность (однозначность)      302
Орбита      269
Основная лемма для сложности      228 236
Основная теорема для групповой сложности      232
Открытая плотная полупрямая      277
Относительный идеал      279
Отношение      15
Отношение рефлексивное      15
Отношение симметричное      15
Отношение тождественное      15
Отношение транзитивное      15
Отношение эквивалентности      15
Отношений точная верхняя грань      15
Отношений точная нижняя грань      15
Отношения Грина      152 267
Отношения Грина индуцированные      278
Отношения транзитивное замыкание      15
Отображение подстановки      309

1 2

Реклама

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

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

Valid HTML 4.01!

|

Valid CSS!

О проекте