RUS  ENG
Полная версия
ЖУРНАЛЫ // Известия Саратовского университета. Новая серия. Серия: Математика. Механика. Информатика // Архив

Изв. Сарат. ун-та. Нов. сер. Сер.: Математика. Механика. Информатика, 2008, том 8, выпуск 4, страницы 80–90 (Mi isu134)

Эта публикация цитируется в 1 статье

Информатика

Морфизмы по стабильным толерантностям конечных автоматов

И. П. Мангушева

Саратовский государственный университет, кафедра теоретических основ информатики и информационных технологий

Аннотация: В работе предлагается метод построения по некоторой тройке толерантностей на множествах состояний, входных и выходных символов конечного детерминированного автомата другого автомата, связанного определенным морфизмом с исходным. Рассматриваемые построения обобщают известный метод нахождения гомоморфных образов автомата по тройке эквивалентностей, удовлетворяющей определенным условиям.

Ключевые слова: конечный детерминированный автомат, гомоморфный образ, конгруэнция, стабильная толерантность, толерантный образ, разбиение, покрытие.

УДК: 519.95

DOI: 10.18500/1816-9791-2008-8-4-80-90



© МИАН, 2025