|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Информатика
Морфизмы по стабильным толерантностям конечных автоматов
И. П. Мангушева Саратовский государственный университет, кафедра теоретических основ информатики и информационных технологий
Аннотация:
В работе предлагается метод построения по некоторой тройке толерантностей на множествах состояний, входных и выходных символов конечного детерминированного автомата другого автомата, связанного определенным морфизмом с исходным. Рассматриваемые построения обобщают известный метод нахождения гомоморфных образов автомата по тройке эквивалентностей, удовлетворяющей определенным условиям.
Ключевые слова:
конечный детерминированный автомат, гомоморфный образ, конгруэнция, стабильная толерантность, толерантный образ, разбиение, покрытие.
Образец цитирования:
И. П. Мангушева, “Морфизмы по стабильным толерантностям конечных автоматов”, Изв. Сарат. ун-та. Нов. сер. Сер.: Математика. Механика. Информатика, 8:4 (2008), 80–90
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/isu134 https://www.mathnet.ru/rus/isu/v8/i4/p80
|
Статистика просмотров: |
Страница аннотации: | 196 | PDF полного текста: | 93 | Список литературы: | 54 | Первая страница: | 1 |
|