Automata
Automata
Automata
----------------------------------------------------------------------------------------------------
Instructions:
Review the notes. Provide an illustration with an explanation of the following:
1. Deterministic Finite Automata (DFA)
2. Non-deterministic Finite Automata (NFA)
----------------------------------------------------------------------------------------------------
The term “Automata” is derived from the Greek word “αὐτόματα” which means
“self-acting”. An automation (Automata in plural) is an abstract self-propelled
computing device which follows a predetermined sequence of operations
automatically.
An automation with a finite number of states is called a Finite Automata (FA) or
Finite State Machine (FSM).
A finite automata can be represented by a 5-tuple (Q, Σ , δ , q0, F), where:
- Q is a finite set of states.
- Σ is a finite set of symbols, called the alphabet of the automaton.
- δ is the transition function.
- q0 is the initial state from where any input is processed (q0 ∈ Q).
- F is a set of final state/states of Q (F ⊆ Q).
Example:
Let a deterministic finite automaton be
- Q = {a, b, c},
- Σ = {0, 1},
- q0 = {a},
- F = {c}, and
- Transition function δ as shown by the following table:
Present State Next State for Input 0 Next State for Input 1
a a b
b c a
c b c
An NFA, similar to the DFA, is also represented by digraphs called state diagram.
- The vertices/circles represent the states.
- The arcs labeled with an input alphabet show the transitions.
- The initial state is denoted by an empty single incoming arc.
- The final state is indicated by double circles.
Example:
Let a non-deterministic finite automaton be
- Q = {a, b, c},
- Σ = {0, 1},
- q0 = {a},
- F = {c}, and
- Transition function δ as shown by the following table:
Present State Next State for Input 0 Next State for Input 1
a a, b b
b c a, c
c b, c c