Efficient Equivalence Checking Technique for Some Classes of Finite-State Machines (Q5060068)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 7643302
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.8654606938362122
0 references
0.8162581920623779
0 references
0.799034595489502
0 references
0.7955581545829773
0 references
0.7893147468566895
0 references
