Generalized nondeterministic finite automaton: Difference between revisions

Revision as of 20:09, 14 July 2023

Revision as of 21:36, 14 July 2023

Line 7:

* a [[finite set]] of states (''S'');

* a finite set called the alphabet (Σ);

* a transition [[function (mathematics)|function]] (''T'' : (''S'' \∖ {''a''}) × (''S'' \∖ {''s''}) → ''R'');

* a start state (''s'' ∈ ''S'');

* an accept state (''a'' ∈ ''S'');