A Matrix Method for Detecting Formal Solutions to the Problem of Algebraic Synthesis of a Finite-State Machine with a Datapath of Transitions,
2023,
R. M. Babakov ,
Oleksandr Barkalov ,
Cybernetics and Systems Analysis, Vol. 59, no. 2, 190--198, ISSN: 1060-0396, eISSN: 1573-8337,
bibliogr.
rys.
tab.
wykr.
summ.
- (Translated from Kibernetyka ta Systemnyi Analiz, 2023, No. 2 ; A. Barkalov - afiliacja również Donetsk National University)
Słowa kluczowe: algebraic synthesis, datapath of transitions, finite-state machine, graph-scheme of algorithms, matrix of transitions, merged matrix of operations
Kod: CZR-N-WYKAZ
BibTeX
(pkt. 40)
DOI: 10.1007/s10559-023-00554-6