Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
If r=, then
If r, then
*
Theorem 1
G(r) has a property that a string x belongs
to r if and only if x is the label of a path
from the initial vertex to the final vertex.
tape
head
Finite Control
a l p h a b e t
q p
a
E={q p | (q, a) = p}.
0 1
s p s
p q s
q q q
1 0, 1
0 0
s p q
1
L(M) = (0+1)*00(0+1)*.
The transition diagram of the DFA M has the
following properties:
For every vertex q and every symbol a,
there exists an edge with label a from q.
For each string x, there exists exactly one
path starting from the initial state s
associated with x.
A string x is accepted by M if and only if
this path ends at a final state.