"Fundamentals of Computation Theory, FCT'83" - читать интересную книгу автора (M. Karpinski)