Automata - State
Table of Contents
1 - About
2 - Articles Related
3 - Syntax
3.1 - Set
Q is the symbol for the set of states
3.2 - Start
q is the symbol for the start state.
3.3 - State after a serie of transitions
The state that the automaton <math>A</math> is in after processing input <math>w</math> is expressed by the below expression: <MATH>\delta(A,w)</MATH>
where: <math>\delta</math> is a symbol for a transition function
4 - Property
in one of this state, the automaton will operate:
- final
- accepting
Entering one of these states after a sequence of inputs indicates that the input sequence is good in some way
It is conventional to designate accepting states by a double circle