completed construction of transition table
pretty printed output, logical errors still there