added a DFS based test of emptiness of regular language.