A Fast Algorithm to Decide on the Equivalence of Stateless DPDA

Didier Caucal. A Fast Algorithm to Decide on the Equivalence of Stateless DPDA. ITA, 27(1):23-48, 1993.

Authors

Didier Caucal

This author has not been identified. Look up 'Didier Caucal' in Google