Theory of computation with formal languages - Patel R B (Khanna book publishing co, 2010)