TY - JOUR
T1 - An intermediate machine technique for deciding equivalence between a DPDA and a linear DPDA
AU - Itzhaik, Yair
AU - Yehudai, Amiram
PY - 1984/7
Y1 - 1984/7
N2 - A simple technique for deciding equivalence of two dpda's from different classes is presented by constructing an intermediate machine and checking it against each of the original machines. Using this technique, a simple algorithm is found for deciding equivalence of two dpda's, one of which is 1-turn. This algorithm may be contrasted with the more general but much more complicated algorithms presented by Greibach and Friedman and by Oyamaguchi, Inagaki, and Honda.
AB - A simple technique for deciding equivalence of two dpda's from different classes is presented by constructing an intermediate machine and checking it against each of the original machines. Using this technique, a simple algorithm is found for deciding equivalence of two dpda's, one of which is 1-turn. This algorithm may be contrasted with the more general but much more complicated algorithms presented by Greibach and Friedman and by Oyamaguchi, Inagaki, and Honda.
UR - http://www.scopus.com/inward/record.url?scp=0021453809&partnerID=8YFLogxK
U2 - 10.1016/S0019-9958(84)80008-X
DO - 10.1016/S0019-9958(84)80008-X
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???
AN - SCOPUS:0021453809
SN - 0019-9958
VL - 62
SP - 26
EP - 35
JO - Information and control
JF - Information and control
IS - 1
ER -