Examples for testing Nfa.