Типы автоматов: основы теоретической информатики