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

×

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

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

Формальные языки и автоматы VI: ω-алгебраические системы и трансдукторы


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

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