Knuth Art of Programming Volume 6. The Theory of Context-free Languages