EEX6335/EEX6363 - CAT 1 - 2020/21 ---> Model Answers

NOTE:
There are alternative solutions
for some of them.

NOTE:
If you find any single string from the derived RE which is not satisfied
the given requirement then your RE is WRONG.
As examples,
-- if you are used * instead of + on each of the answers above (b),
then they are wrong;
-- because it violates the condition: " ... at least the length of 5"; otherwise,
-- you can write another relevant portion in the RE
(e.g., another (p|q) in (i) and (ii) of part (b))
in order to get the length of 5, then you CAN write * instead of +

1
)a) o ccaba ehsose ohat evey
sctisfy e giwa RE
RE:

) a (ba |b)° NFA b

>0-
I2 3
0.
17
A (6
1R
NOTE: unlabeled paths are epsilons.

for the chosen string: ccaba

(vew}y hom NFA

- 17<13
Acceptad 8

2
3
Snsso)-3
e nngsy -3 (9'a)g
a = (s t's'h*'))e m s 3 (w'a))s
w w y - 3 =0),3
2SIT
=
s zwsap-3 (9'ag
e awoP-3
f ('V)e
=
es wnsp-3 (1 *)p
&'s'e't '=y
CP)
 4
S s I A I ? 3 * T 3 (
s ATI
=
=
S((s1'e 91'ben'on)s wmwap-3 (o'n)3
s
H S SI
s3 op-3 (a 9)g
=
= '(s1))8} map-3 (o9)s
snkp-3 O'3
S(o (61er*n'es'no)stup-3 = ( ' ) 8
=
S
H-s/er'ar'y'1'o1} {
soyp-3 (1a)s
Ssrei41'er 'n'onf= (Ci h )e 4p-3 (v'a)g
 5
dnya9) -13)-o
- hw
a
mm
ah o?N
S H
H8tia3ia>v}
moompa-t
mpo-
H a {9aa2v}
mam po -
(