A weaker sufficient condition for the equivalence of a pair of DPDA's to be decidable (Q1075060)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A weaker sufficient condition for the equivalence of a pair of DPDA's to be decidable |
scientific article; zbMATH DE number 3949744
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A weaker sufficient condition for the equivalence of a pair of DPDA's to be decidable |
scientific article; zbMATH DE number 3949744 |
Statements
A weaker sufficient condition for the equivalence of a pair of DPDA's to be decidable (English)
0 references
1985
0 references
non-real-time deterministic pushdown automata
0 references
0 references
0.86039966
0 references
0.8432606
0 references
0.84230345
0 references
