![](/img/cover-not-exists.png)
A direct branching algorithm for checking the equivalence of two deterministic pushdown transducers, one of which is real-time strict
Etsuji Tomita, Kazushi SeinoVolume:
64
Year:
1989
Language:
english
Pages:
15
DOI:
10.1016/0304-3975(89)90096-0
File:
PDF, 1.22 MB
english, 1989