|
Информатика
Упорядоченные автоматы и толерантные образы КДА
И. П. Мангушева Кафедра дискретной математики и информационных
технологий, Саратовский государственный университет им. Н. Г. Чернышевского
Аннотация:
Рассматривается конечный детерминированный автомат (КДА), множества состояний, входных и выходных символов которого частично упорядочены (упорядоченный автомат). Определяется отображение КДА на упорядоченный автомат, названное $p$-морфизмом. Показано что так называемые толерантные образы, построенные по отношениям стабильной толерантности на множестве состояний КДА, являются частным случаем упорядоченных автоматов, связанных с исходным $p$-морфизмом. Определяются необходимые и достаточные условия, при которых упорядоченный автомат является толерантным образом заданного автомата.
Ключевые слова:
конечный детерминированный автомат, толерантный образ, упорядоченный автомат, стабильная толерантность, покрытие, частичный порядок.
Образец цитирования:
И. П. Мангушева, “Упорядоченные автоматы и толерантные образы КДА”, Изв. Сарат. ун-та. Нов. сер. Сер.: Математика. Механика. Информатика, 13:2(1) (2013), 91–99
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/isu401 https://www.mathnet.ru/rus/isu/v13/i3/p91
|
Статистика просмотров: |
Страница аннотации: | 181 | PDF полного текста: | 72 | Список литературы: | 40 |
|