An introduction to formal languages and machine computation - Yan, Song Y. 1954- (World Scientific, 1998)