Generalized nondeterministic finite automaton: Difference between revisions

Revision as of 08:46, 11 February 2024

Revision as of 19:07, 1 September 2024

Line 3:

==Formal definition==

{{MOS|section|[[MOS:MATHSPECIAL]] - Use <code><nowiki><math>... \setminus ...</math></nowiki></code> or <code><nowiki><math>... \smallsetminus ...</math></nowiki></code> instead of {{unichar|2216|SET MINUS}} or {{unichar|005C|REVERSE SOLIDUS}} for set substraction|date=February 2024}}

A GNFA can be defined as a [[n-tuple|5-tuple]], (''S'', Σ, ''T'', ''s'', ''a''), consisting of

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

* a finite set called the alphabet (Σ);

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

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

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