"Fundamentals of Computation Theory, FCT'87" - читать интересную книгу автора (Lothar Budach, Rais G. Bukharajev, Oleg B. Lupanov)