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

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

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


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

Мангушева И. П. Морфизмы по стабильным толерантностям конечных автоматов // Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2008. Т. 8, вып. 4. С. 80-90. DOI: 10.18500/1816-9791-2008-8-4-80-90

Опубликована онлайн: 
17.11.2008
Полный текст в формате PDF(Ru):
(downloads: 42)
Язык публикации: 
русский
Рубрика: 
УДК: 
519.95
DOI: 
10.18500/1816-9791-2008-8-4-80-90

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

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

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

Список источников: 
  1. Богомолов А.М., Салий В.И. Алгебраические основы теории дискретных систем. М.: Наука, физмат. лит., 1997. 368 c.
  2. Шрейдер Ю.А. Равенство, сходство, порядок. М.: На- ука, 1971.
  3. Chajda I. Characterization of Relational Blocks // Algebra universalis. 1980. V. 10. P. 65-69.
  4. Карпов Ю. Г. Теория автоматов. СПб.: Питер, 2003. 208 с.
  5. Hartmanis J., Stearns R. Algebraic Structure Theory of Sequential Machines. N.Y.: Prentice-Hall Inc., 1966. 213 p.
  6. Мангушева И.П. Построение решетки стабильных толерантностей конечного автомата // Методы и системы технической диагностики. Саратов: Изд-во Сарат. ун-та, 1981. Вып. 2. С. 106–112.
  7. Хрусталев П.М. Покрытия и разбиения со свойством подстановки в конечных автоматах // Методы и системы технической диагностики. Саратов: Изд-во Сарат. ун-та, 1981. Вып. 2. C. 96–106.
  8. Дидидзе Ц.Е. О гомоморфизмах автоматов // Тр. ВЦ АН Груз. ССР, 1973. Т. 12, № 1. C. 118–131.
  9. Ильичева И.П., Печенкин В.В. Контроль структурных автоматов по стабильным отношениям // Методы и системы технической диагностики. Саратов: Изд-во Сарат. ун-та, 1985. Вып. 5. С. 35–43.