add DFA Rulebook
add DFA
add NFA Rulebook and NFA