finite

Indicates if the automaton accepts a finite set of strings. Only valid for .