A matrix method for detecting formal solutions to the problem of algebraic synthesis of a finite-state machine with a datapath of transitions (Q6042246)
From MaRDI portal
scientific article; zbMATH DE number 7683867
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A matrix method for detecting formal solutions to the problem of algebraic synthesis of a finite-state machine with a datapath of transitions |
scientific article; zbMATH DE number 7683867 |
Statements
A matrix method for detecting formal solutions to the problem of algebraic synthesis of a finite-state machine with a datapath of transitions (English)
0 references
10 May 2023
0 references
finite-state machine
0 references
datapath of transitions
0 references
graph-scheme of algorithms
0 references
algebraic synthesis
0 references
matrix of transitions
0 references
merged matrix of operations
0 references
0 references
0 references
