Bisimulation Finiteness of Pushdown Systems Is Elementary (Q5145660)
From MaRDI portal
scientific article; zbMATH DE number 7299493
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Bisimulation Finiteness of Pushdown Systems Is Elementary |
scientific article; zbMATH DE number 7299493 |
Statements
Bisimulation Finiteness of Pushdown Systems Is Elementary (English)
0 references
21 January 2021
0 references
bisimulation equivalence
0 references
pushdown automata
0 references
bisimulation finiteness
0 references
elementary
0 references
