Теория автоматов и формальных языков. Учебник