**************************************************************************************************************************

LALBLC: a program testing the equivalence of dpda's.