Ресурс:
Теория алгоритмов, формальных языков, грамматик и автоматов.