"Fundamentals of Computation Theory, 13 conf., FCT 2001" - читать интересную книгу автора (Rusins Freivalds)