A direct branching algorithm for checking the equivalence of two deterministic pushdown transducers, one of which is real-time strict (Q1124364)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A direct branching algorithm for checking the equivalence of two deterministic pushdown transducers, one of which is real-time strict |
scientific article |
Statements
A direct branching algorithm for checking the equivalence of two deterministic pushdown transducers, one of which is real-time strict (English)
0 references
1989
0 references
branching algorithm
0 references
equivalence of two deterministic pushdown transducers
0 references
0 references
0 references
0 references
