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

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

blank
blank
blank
Красота
blank
Брауэр В. — Введение в теорию конечных автоматов
Брауэр В. — Введение в теорию конечных автоматов



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



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


Название: Введение в теорию конечных автоматов

Автор: Брауэр В.

Аннотация:

В книге профессора Гамбургского университета описаны основные классические модели теории конечных автоматов (автоматы Мили и Мура) и более сложные модели (автоматы Рабина — Скотта, многоленточные автоматы, конечные преобразователи). Рассмотрены преобразования конечных автоматов и регулярные множества. Существенную часть книги составляют упражнения.
Для инженерно-технических работников, связанных с приложениями теории конечных автоматов, а также работающих в области информатики и вычислительной техники.


Язык: ru

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

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

ed2k: ed2k stats

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
Теорема Шютценбергера      303
Теорема Эйленберга — Элго — Шефердсона      336
Теорема Элго — Мезея — Розенберга      333
У-автомат      360
У-отображение      362
Фактормножество      22
Фундаментальное свойство автоматов Мили      70
Функция (отображение)      15
Функция последовательностная словарная      67
Функция характеристическая      17
Характер состояния автомата Мили      68
Частичная реакция (U-реакция)      127
Частное (правое, левое) множество      196
Эквивалентность (отношение эквивалентности)      20
Эквивалентность 2-ЭМ-автоматов      328
Эквивалентность a-преобразователей      322
Эквивалентность автоматов Мили      38
Эквивалентность локальная      243
Эквивалентность множеств состояний      243
Эквивалентность НРС-автоматов      194
Эквивалентность рациональных выражений      216
Эквивалентность состояний автоматов Мили      38
Эксперименты с автоматами      97
Элемент минимальный      21
Элемент наименьший      21
Эпиморфизм      26 85
Ядро префиксное      287
Язык алфавитный      341
Язык асинхронный      227
Язык детерминированный      339
Язык детерминированный полностью определенный      346
Язык локально детерминированный      339
Язык с маркерами      369
Язык с программой чтения      369
«Принцип ящиков» Дедекинда      30
1 2
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте