CSCE 551: Theory of Computation. {=MATH 562}