The exact state to which the machine moves cannot be determined. It is called Non-deterministic Automaton(NFA).
A=(Q, ∑, δ, s, F)
Q is finite states.
∑ is alphabets (symbols).
δ is the transition function. δ: Q × ∑ → Q
s is a start state.
F is final states.
Q={a, b, c, d}
∑={0,1}
s=a
F={c}
We can create a transition matrix by examining the transition diagram.
⊢ : we use this symbol for yield notation.
The yield notation is used to decide whether to accept the string in automata.
q is current state
au is current input
δ(q, a) is new state
The yield notation is applied sequentially to all the string elements. If there is no element in the string and is in the final state, the string is accepted.
Look at the transition diagram or transition matris.
Our starting state is ‘a’.
The given string is “1101”.
Lets start!
(a, 1101) ⊢ (d, 101) ⊢ (a, 01) ⊢ (b, 1) ⊢ (c, ε) Accept
‘c’ is final state and all elements of string visited.
So this string is accepted in this automata.
The given string is “010010”.
(a, 010010) ⊢ (b, 10010)⊢ (c, 0010)⊢ (b, 010)⊢ (b, 10)⊢ (c, 0)⊢ (d, ε) Reject
‘d’ is not final state and all elements of string visited.
So this string is reject in this automata.
If do you want to try some strings in this automata please
This Project is written in Java language. This website, program, examples and images are prepared by Ayşe Sena Feyiz.