Content deleted Content added
convert special characters found by Wikipedia:Typo Team/moss (via WP:JWB) Tag: Reverted |
m Moving Category:Finite automata to Category:Finite-state machines per Wikipedia:Categories for discussion/Speedy |
||
(3 intermediate revisions by 3 users not shown) | |||
Line 3:
==Formal definition==
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'');
Line 21 ⟶ 20:
* A graphical description of GNFAs and the process of converting an NFA to a regular expression using GNFAs, can be found at [http://www.cs.sunysb.edu/~cse350/slides/rgExp2.pdf]
[[Category:Finite-state
|