removed nfa_makeState(). use nfa_addState()
began to refactor pda headers