Ресурс:
Введение в теорию автоматов, языков и вычислений