The Bisimulation Problem for Equational Graphs of Finite Out-Degree (Q5317186)
From MaRDI portal
scientific article; zbMATH DE number 2205882
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The Bisimulation Problem for Equational Graphs of Finite Out-Degree |
scientific article; zbMATH DE number 2205882 |
Statements
The Bisimulation Problem for Equational Graphs of Finite Out-Degree (English)
0 references
16 September 2005
0 references
bisimulation
0 references
equational graphs
0 references
deterministic pushdown automata
0 references
rational languages
0 references
finite-dimensional vector spaces
0 references
matrix semigroups
0 references
complete formal systems
0 references
