Content deleted Content added
Fixed function definition to represent epsilon inputs, as epsilon is not implied to be an element of Sigma |
→Automaton: indicate priority |
||
Line 30:
* a finite [[Set (mathematics)|set]] of states <math>Q</math>,
* a finite set of [[input symbol]]s <math>\Sigma</math>,
* a transition function <math>\delta</math> : <math>Q\times (\Sigma \cup \{\varepsilon\}) \rightarrow \mathcal{P}(Q)</math>,
* an ''initial'' (or ''start'') state <math>q_0 \in Q</math>, and
* a set of states <math>F</math> distinguished as ''accepting'' (or ''final'') ''states'' <math>F \subseteq Q</math>.
| |||