An Intermediate Machine Technique for Deciding Equivalence between a DPDA and a Linear DPDA

Cite this paper

@article{Itzhaik1984AnIM, title={An Intermediate Machine Technique for Deciding Equivalence between a DPDA and a Linear DPDA}, author={Yair Itzhaik and Amiram Yehudai}, journal={Information and Control}, year={1984}, volume={62}, pages={26-35} }