Automata - State

The state page in automata.

Syntax

Set

Q is the symbol for the set of states

Start

q is the symbol for the start state.

State after a serie of transitions

The state that the automaton $A$ is in after processing input $w$ is expressed by the below expression: $$\delta(A,w)$$

where: $\delta$ is a symbol for a transition function

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