From the book <Compiler Construction>