Theory of computation(with formal languages) - Patel, R. B.