Известия Саратовского университета. Новая серия.

Серия Математика. Механика. Информатика

ISSN 1816-9791 (Print)
ISSN 2541-9005 (Online)


Для цитирования:

Мангушева И. П. Упорядоченные автоматы и толерантные образы КДА // Известия Саратовского университета. Новая серия. Серия : Математика. Механика. Информатика. 2013. Т. 13, вып. 2. С. 91-99. DOI: 10.18500/1816-9791-2013-13-2-1-91-99, EDN: SJJAZX

Статья опубликована на условиях лицензии Creative Commons Attribution 4.0 International (CC-BY 4.0).
Опубликована онлайн: 
27.02.2013
Полный текст:
(downloads: 195)
Язык публикации: 
русский
Рубрика: 
УДК: 
519.95
EDN: 
SJJAZX

Упорядоченные автоматы и толерантные образы КДА

Авторы: 
Мангушева Ирина Павловна, Саратовский национальный исследовательский государственный университет имени Н. Г. Чернышевского
Аннотация: 

Рассматривается конечный детерминированный автомат (КДА), множества состояний, входных и выходных символов которого частично упорядочены (упорядоченный автомат). Определяется отображение КДА на упорядоченный автомат, названное p-морфизмом. Показано что так называемые толерантные образы, построенные по отношениям стабильной толерантности на множестве состояний КДА, являются частным случаем упорядоченных автоматов, связанных с исходным p-морфизмом. Определяются необходимые и достаточные условия, при которых упорядоченный автомат является толерантным образом заданного автомата. 

Список источников: 
  1. Мангушева И. П. Морфизмы по стабильным толе- рантностям конечных автоматов // Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2008. Т. 8, вып. 4. С. 80–90.
  2. Богомолов А. М., Салий В. Н. Алгебраические осно- вы теории дискретных систем. М. : Наука, 1997. 368 с. 3. Карпов Ю. Г. Теория автоматов. СПб. : Питер, 2003. 208 с
Поступила в редакцию: 
07.09.2012
Принята к публикации: 
14.01.2013
Опубликована: 
27.02.2013
Краткое содержание:
(downloads: 105)