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 80
- Downloads 0
SOME ASPECTS OF SECONDARY TOMATO RAW MATERIAL IN FOOD TECHNOLOGY
The article presents the results of theoretical and experimental studies of the biological value of tomato seeds. It has been found that tomato seeds have a high nutritional and biological value due to the high concentra...
SYNTHESIS OF CALCULATION SYSTEMS WITH MINIMUM COMPLEXITY FOR THE REALIZATION OF PROBLEMS OF FIRE FORECASTING IN THE RESIDENTIAL SECTOR
The article searches for the number system, which most effectively implements the system of residual classes taking into account the modern development of computer technology for solving the problem of forecasting fires...
SIMULATION GAS-DYNAMIC PROCESSES OCCURRING IN THE HELICOPTER ENGINE MI-8MTV
Numerical modeling of gas-dynamic processes occurring in the turbo-engine of the Mi-8MTV helicopter is carried out in the work. Numerical solutions of the Navier-Stokes equation describing turbulent gas-dynamic flows in...
PRACTICAL AND EXPERIMENTAL INVESTIGATION OF THE INFLUENCE OF THE CURRENT MOMENT ON THE OPTIMUM OF ROTARY CONNECTIONS OF THE OIL SECTOR PIPE
The analysis of experimental and theoretical investigations of the influence of torque screw on the resistance of the fatigue of castor threaded joints of drill pipes is carried out. The important scientific and technica...
TECHNOLOGY OF BIOMASS CHEMICAL DISINTEGRATION IN ANAEROBIC DIGESTION OF ORGANIC WASTE
The main methods for increasing the efficiency of anaerobic processing of organic waste are: improvement of methanetanks and additional equipment; changes in the composition of the substrate and its additives; additional...