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