Equivalence of pushdown automata via first-order grammars
Keyword(s):
1992 ◽
Vol 50
(1)
◽
pp. 384-385
1991 ◽
Vol 3
(1)
◽
pp. 235-253
◽
Keyword(s):
Keyword(s):
Keyword(s):
1997 ◽
Vol 36
(04/05)
◽
pp. 315-318
◽