"Fundamentals of Computation Theory, FCT '85" - читать интересную книгу автора (Lothar Budach)