Для цитирования:
Мангушева И. П. Морфизмы по стабильным толерантностям конечных автоматов // Известия Саратовского университета. Новая серия. Серия : Математика. Механика. Информатика. 2008. Т. 8, вып. 4. С. 80-90. DOI: 10.18500/1816-9791-2008-8-4-80-90
Статья опубликована на условиях лицензии Creative Commons Attribution 4.0 International (CC-BY 4.0).
Опубликована онлайн:
17.11.2008
Полный текст:
(downloads: 170)
Язык публикации:
русский
Рубрика:
УДК:
519.95
Морфизмы по стабильным толерантностям конечных автоматов
Авторы:
Мангушева Ирина Павловна, Саратовский национальный исследовательский государственный университет имени Н. Г. Чернышевского
Аннотация:
В работе предлагается метод построения по некоторой тройке толерантностей на множествах состояний, входных и выходных символов конечного детерминированного автомата другого автомата, связанного определенным морфизмом с исходным. Рассматриваемые построения обобщают известный метод нахождения гомоморфных образов автомата по тройке эквивалентностей, удовлетворяющей определенным условиям.
Ключевые слова:
Список источников:
- Богомолов А.М., Салий В.И. Алгебраические основы теории дискретных систем. М.: Наука, физмат. лит., 1997. 368 c.
- Шрейдер Ю.А. Равенство, сходство, порядок. М.: На- ука, 1971.
- Chajda I. Characterization of Relational Blocks // Algebra universalis. 1980. V. 10. P. 65-69.
- Карпов Ю. Г. Теория автоматов. СПб.: Питер, 2003. 208 с.
- Hartmanis J., Stearns R. Algebraic Structure Theory of Sequential Machines. N.Y.: Prentice-Hall Inc., 1966. 213 p.
- Мангушева И.П. Построение решетки стабильных толерантностей конечного автомата // Методы и системы технической диагностики. Саратов: Изд-во Сарат. ун-та, 1981. Вып. 2. С. 106–112.
- Хрусталев П.М. Покрытия и разбиения со свойством подстановки в конечных автоматах // Методы и системы технической диагностики. Саратов: Изд-во Сарат. ун-та, 1981. Вып. 2. C. 96–106.
- Дидидзе Ц.Е. О гомоморфизмах автоматов // Тр. ВЦ АН Груз. ССР, 1973. Т. 12, № 1. C. 118–131.
- Ильичева И.П., Печенкин В.В. Контроль структурных автоматов по стабильным отношениям // Методы и системы технической диагностики. Саратов: Изд-во Сарат. ун-та, 1985. Вып. 5. С. 35–43.
- 839 просмотров