Changed function name alloc to allocate in DFA.