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 73
- Downloads 0
THE SYSTEM FOR CONTROL OF VVER-1000 FUEL PROPERTIES WHEN KEEPING THE COOLANT TEMPERATURE CONSTANT
The necessity of the development and introduction of the automated control system of nuclear fuel properties during the operation of the WWER-1000 type reactor with the constant average temperature of the heat carrier of...
PARAMETERS OF MAKING ECHINACEA PURPUREA AND ECHINACEA PALLIDA EXTRACTS FOR FOOD AND COSMETIC PRODUCTS
Today, the market of food and cosmetic products is expanding due to the creation of new types of products using floral raw materials and extracts based on it. As raw materials, leaves, fruits, berries, inflorescences, ro...
ANALYSIS AND RESEARCH OF THE MODEL OF INFORMATION SECURITY VIOLATOR FOR A SECURED INTERNET ACCESS NODE
The paper analyzes and researches the model of the information security violator for a secured Internet access node. The general classification of information security violators circulating in a secured Internet access n...
ANALYSIS OF SPATIAL INHOMOGENEITIES OF THE LIVER PARENCHEMIS IN DURING RETICULUM SCINTIGRAPHY
The aim of the article is the development of an algorithm for the integrated evaluation of the spatial distribution (heterogeneity) of radiopharmaceuticals in the liver on data reticuloscintigraphy. The developed method...
CAUSES OF REWORK ON THE CONSTRUCTION PROJECT
The article analyzes the existing definitions, sizes and causes of reworks in construction. Alterations in construction may occur as a result of errors, omissions and changes. Key negative consequences of the impact of r...