Формальные языки и автоматы V: пары полукольцо-полумодуль Конвея и конечные автоматы :: Единая Редакция научных журналов БФУ им. И. Канта

×

Ваш логин
Зарегистрироваться
Пароль
Забыли свой пароль?
Войти как пользователь:
Войти как пользователь
Вы можете войти на сайт, если вы зарегистрированы на одном из этих сервисов:
   
Дело науки – возведение всего сущего в мысль
Александр Герцен

DOI-генератор Поиск по DOI на Crossref.org

Формальные языки и автоматы V: пары полукольцо-полумодуль Конвея и конечные автоматы


Автор Алешников С. И., Болтнев Ю. Ф., Език З., Ишанов С. А., Куих В.
Страницы 6-41
Статья Загрузить
Ключевые слова [text]формальный язык, автомат, полукольцо, формальный степенной ряд, матрица, неподвижная точка
Аннотация Это пятая статья в серии, дающей обзор некоторых разделов теории формальных языков и автоматов с использованием полуколец, формальных степенных рядов, матриц и теории неподвижных точек. Рассмотрены основные результаты теории конечных автоматов над квемикольцами, обобщающих классические конечные автоматы, принимающие конечные и бесконечные слова, базирующиеся на парах полукольцо - полумодуль, в основном не парах полукольцо - модуль Конвея - парах, состоящих из полукольца Конвея и полумодуля, удовлетворяющего тождествам "омега-сумма" и "омега-произведение". Они определены и сформулированы некоторые их важные свойства. Введены конечные автоматы над квемикольцами и доказана теорема Клини. Введены линейные системы над квемикольцами как обобщение регулярных грамматик с конечными и бесконечными выводами и связаны некоторые решения этих линейных систем с поведением конечных автоматов над квемикольцами.

Назад в раздел