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