Mathematical Foundation of Computer Science

(Chris Devlin) #1
DHARM

REGULAR EXPRESSIONS 251


(^11)
()j
0
0
1
(^100)
1
0
1 0
1
0, 1
0
()k
Fig. 9.46
9.8 Comment on the property of the given Melay machine shown in Fig. 9.47 (a) & (b)
q 1
b/0 q
2
q 0 b/0 a/0
a/1
b/1
(M )e
a/0
()a ()b
00
01 11
10
0/1 1/1 1/0
0/1
0/0
0/0
Fig. 9.47
9.9 Design a Melay Machine to perform the addition of 2 binary numbers.

Free download pdf