Теория автоматов и формальных языков: Основные понятия и применения