"Models of Computation and Formal Languages" - читать интересную книгу автора (R. Gregory Taylor)