A FORMAL SOLUTION OF THE PROBLEM OF ALGEBRAIC SYNTHESIS OF MICROPROGRAM FINITE STATE MACHINE WITH DATAPATH OF TRANSITIONS
Journal Title: Вчені записки Таврійського національного університету імені В. І. Вернадського. Серія: Технічні науки - Year 2018, Vol 29, Issue 2
Abstract
The article presents a mathematical representation of the formal solution of the problem of algebraic synthesis of a microprogram finite state machine with datapath of transitions. The formal solution is represented as the set of formed components of the system of isomorphisms. Its obtaining is a part of the process of synthesizing of this class of finite state machines. The peculiarities of constructing abstract, structural and intermediate transition algebras are described. An example of constructing a formal solution of the problem of algebraic synthesis for a finite state machine given by a graph-scheme of an algorithm is considered.
Authors and Affiliations
Р. М. Бабаков
Keywords
Related Articles
- EP ID EP577414
- DOI -
- Views 66
- Downloads 0
REORGANIZATION OF URBAN ENVIRONMENT: STANDARDS, APPROACHES AND TRENDS
The article describes the standards of urban environment reorganization, which are oriented to the effective use of land resources and the load distribution for urban transport infrastructure, a high degree of functional...
SYSTEM OF AUTOMATIC CONTROL OF TECHNOLOGICAL PROCESSES OF POWER STEAM BOILER GM-50
Introduction of automated control systems for steam and water heating boilers, built on the basis of programmable controllers, allows automation of the process of heat energy production in boilers and greatly simplify co...
COLD FUSION AND FUSION NUCLEI. REACTOR ROSSI
The questions of the current state of the theory and practice of cold fusion, and the issue of formation and development of the relevant provisions. The questions concerning the reactor Rossi.
FUNCTIONAL CHARACTERS OF THE MOTOR VEHICLE FLOW AND WAYS OF PROVIDING ENVIRONMENTAL SAFETY OF THE TRANSITIONAL TERRITORY
On the basis of the continuity criterion for the piecewise linear function of vehicle traffic modes, the minimum values of density, intensity and speed at which the collective movement of physical units of auto transport...
RESEARCH OF CENTRALIZED HEAT-SUPPLY SECTORS IN EUROPEAN COUNTRIES AND UKRAINE
An experience of European countries and Ukraine in the development of centralized heat-supply systems is considered. The authors analyzed Ukrainian centralized heat-supply sector and defined its main problems and possibl...