For citation:
Tyapaev L. B. Solving Some Problems of Automata Behaviour Analysis. Izvestiya of Saratov University. Mathematics. Mechanics. Informatics, 2006, vol. 6, iss. 1, pp. 121-133. DOI: 10.18500/1816-9791-2006-6-1-2-121-133, EDN: WLGCWM
This is an open access article distributed under the terms of Creative Commons Attribution 4.0 International License (CC-BY 4.0).
Published online:
18.10.2006
Full text:
(downloads: 332)
Language:
Russian
Heading:
UDC:
519.21
EDN:
WLGCWM
Solving Some Problems of Automata Behaviour Analysis
Autors:
Tyapaev Livat Borisovich, Saratov State University
Abstract:
In the context of the geometrical approach and by means of geometrical methods automaton behaviour is studied as curves on the plane. The attention is called to a new way of setting the finite-state machines as a functional curve on the plane. Also within the limits of the geometrical approach problems of automaton analysis, synthesis, diagnosis and transformation have been also investigated.
Key words:
References:
- Твердохлебов В.А. Техническое диагностирование в геометрической интерпретации задач, моделей, методов // Автоматизация проектирования дискретных систем: Материалы междунар. конф. Минск, 1995. С. 97
- Тяпаев Л.Б. О задании конечных автоматов функциями, определенными на открытом промежутке // Проблемы и перспективы прецизионной механики и управления в машиностроении: Материалы междунар. конф. Саратов, 1997. С. 48–49
- Александров П.С., Колмогоров А.Н. Введение в теорию функций действительного переменного. М.; Л., 1938. 268 с.
- Тяпаев Л.Б. Распознавание математических автоматов на основе геометрической модели поведения. Саратов, 1998. Деп. в ВИНИТИ №1327В98. 46 с.
- Тяпаев Л.Б. Геометрические модели и методы при решении задач теории автоматов // Теоретические проблемы информатики и ее приложений. Саратов, 1999. Вып. 3. С. 131–136
- Тяпаев Л.Б. Аффинные классы автоматов и их преобразования // Теоретические проблемы информатики и ее приложений. Саратов, 2001. Вып. 4. С. 133–135
Received:
19.04.2006
Accepted:
10.09.2006
Published:
18.10.2006
- 1097 reads