Образец для цитирования:
Мангушева И. П. МОРФИЗМЫ ПО СТАБИЛЬНЫМ ТОЛЕРАНТНОСТЯМ КОНЕЧНЫХ АВТОМАТОВ // Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2008. Т. 8, вып. 4. С. 80-90. DOI: https://doi.org/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.
