Yair Itzhaik

  • Citations Per Year
Learn More
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 l-turn. This algorithm may be contrasted with the more general(More)
  • 1