LALBLC A Program Testing the Equivalence of dpda’s (Q5327493)
From MaRDI portal
scientific article; zbMATH DE number 6196401
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | LALBLC A Program Testing the Equivalence of dpda’s |
scientific article; zbMATH DE number 6196401 |
Statements
LALBLC A Program Testing the Equivalence of dpda’s (English)
0 references
7 August 2013
0 references
deterministic pushdown automata
0 references
deterministic context-free grammars
0 references
equivalence problem
0 references
