Теория алгоритмов, формальных языков, грамматик и автоматов. Бильгаева Н.Ц.