Efficient Equivalence Checking Technique for Some Classes of Finite-State Machines (Q5060068)
From MaRDI portal
scientific article; zbMATH DE number 7643302
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Efficient Equivalence Checking Technique for Some Classes of Finite-State Machines |
scientific article; zbMATH DE number 7643302 |
Statements
Efficient Equivalence Checking Technique for Some Classes of Finite-State Machines (English)
0 references
17 January 2023
0 references
transducer
0 references
two-tape automaton
0 references
biautomaton
0 references
simple grammar
0 references
equivalence checking
0 references
prefix-free language
0 references
language equation
0 references
decision procedure
0 references
0 references
0 references
0 references
0 references
0 references
0 references
