"Fundamentals of Computation Theory, 14 conf., FCT 2003" - читать интересную книгу автора (Andrzej Lingas, Bengt J. Nilsson)