Академический Документы
Профессиональный Документы
Культура Документы
Finite Automata
11 1
0
0,1
1
0111 111 1
0 0
0 0
q0 q12
q1 1
0
0,1
1
q0 q2
0 0
The alphabet of a finite automaton is the set
where the symbols come from: 1{0,1}
q3
The language of a finite automaton is the set
of strings that it accepts
q0 0,1
strings of 0s and 1s
L(M) = All
1
q0 q1
1
Σ = {0,1}
: Q Σ → Q transition function *
q0 Q is start state
F = {q1, q2} Q accept states
q1 1
0
0,1 * q0
0
q0
1
q1
1
q0
q1 q2 q2
M q2
q2 q3 q2
0 0
q3 q0 q2
1
q3
Build an automaton that accepts all and only
those strings that contain 001
0,1
1 0
0 0 1
q q0 q00 q001
1
A language is regular if it is
recognized by a deterministic
finite automaton