Izvestiya of Saratov University.

Mathematics. Mechanics. Informatics

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


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: 214)
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: 
  1. Твердохлебов В.А. Техническое диагностирование в геометрической интерпретации задач, моделей, методов // Автоматизация проектирования дискретных систем: Материалы междунар. конф. Минск, 1995. С. 97
  2. Тяпаев Л.Б. О задании конечных автоматов функциями, определенными на открытом промежутке // Проблемы и перспективы прецизионной механики и управления в машиностроении: Материалы междунар. конф. Саратов, 1997. С. 48–49
  3. Александров П.С., Колмогоров А.Н. Введение в теорию функций действительного переменного. М.; Л., 1938. 268 с.
  4. Тяпаев Л.Б. Распознавание математических автоматов на основе геометрической модели поведения. Саратов, 1998. Деп. в ВИНИТИ №1327В98. 46 с.
  5. Тяпаев Л.Б. Геометрические модели и методы при решении задач теории автоматов // Теоретические проблемы информатики и ее приложений. Саратов, 1999. Вып. 3. С. 131–136
  6. Тяпаев Л.Б. Аффинные классы автоматов и их преобразования // Теоретические проблемы информатики и ее приложений. Саратов, 2001. Вып. 4. С. 133–135
Received: 
19.04.2006
Accepted: 
10.09.2006
Published: 
18.10.2006