ATC RE Theorems
ATC RE Theorems
that there exists a finite automaton to accept the language L(R) corresponding to the
Prove
(06 marks VTUDec-06, Jan-07)
regular expression R
the corresponding machines to
Proof: By definition, ), &and a are regular expressions. So,
shown in figure 4.2 below:
recognize the language for the respective expressions are
qo qo
qo
q2 M2 f
L(R)
Figure 4.4: To accept the language L(RI + R2)
It is clear from Figure 4.4 that the machine can
either accept L(R,) or L(R,). Here, g, is the start
state of the combined machine and qf is the final state of
combined machine M.
Case 2: R= R,. R,. We can construct an NFA which
accepts L(R,) followed by L(R,) which
can be represented as L(R, . R,) as shown in Figure 4.5.
L(R) L(R,)
q1 Mi f q2
M1 fi
L(R)
It is
Figure 4.6: To accept the language L(Rl)'
clear from Figure 4.6 that the machine can either
accept [ or any number of L(R, )s thus
accepting the language L(R,)*. Here, q, is the start state q, is the final state.
Since (x| > n, by the pigeon hole principle it is not possible tohave distinct transitions.
Once of the state can have a loop. Let the string x is divided into three substrings as shown
below:
The first group is the string prefix from a,a,...a, i.e., u = a,a,...a,
The second group is the loop string from a,a,2..a,,aj 1.e., v = auz.
The third group is the string suffix from a,, a,,ga 1.e., w= aa..a
am
4) Cm
164
=d(q. a,a....a)
m
Also, after the string
a,a,.........a
input the string
the machine will be in state q.. Since q, and q. are same, we can
a,.a,g.....
any number of times and the machine will stay in q. only. Finally, if the input string is
.
.am