information about Nondeterministic finite automaton field