• فهرس المقالات nondeterministic automaton