change name of map paramter in DFA.