NON-DETERMINISTIC FSA