Розробка шаблону опису кінцевих автоматів з використанням темпоральних графів

Abstract

The paper considers ways to implement digital devices, such as automatic and software hardware implementation, and the main features of automated programming. The problem of the existence of two measurements of time in digital devices is considered, it is proposed to use temporal graphs in developing a template describing the algorithms of the operation of finite automata, which takes into account the real-time delay for each of the states of automata. This graph resolves a conflict between two dimensions, which will help when creating a pattern description algorithms functioning.