2007 Q1
Posted by Rey
| Announcements | Last Post | |
|---|---|---|
 |
SoC Curricula | 09/30/2017 01:08PM |
|
Demarcation or scoping of examinations and assessment | 02/13/2017 07:59AM |
|
School of Computing Short Learning Programmes | 11/24/2014 08:37AM |
|
Unisa contact information | 07/28/2011 01:28PM |
|
October 30, 2010 10:01AM |
Question 1 (2007)
a)
Now to translate:
S -> aM | bN
M -> aO | bQ
Q -> aM | bM
O -> aM | bM | /\
N -> aR | bP
R -> aN | bR
P -> aN | bN | /\
Yes/No
b) Convert
S -> Xa | YYa | X
X -> Y | /\
Y -> YaY | a | b
i) Kill /\
S -> Xa | YYa | X
X -> Y | YaY | a | b <-
Y -> YaY | a | b
ii) Kill unit production
S -> Xa | YYa | YaY | a | b <-
X -> YaY | a | b <-
Y -> YaY | a | b
iii) Terminals
S -> XA | YYA | YAY | a | b <-
X -> YAY | a | b <-
Y -> YAY | a | b <-
A -> a
B -> b
iv) CNF
S -> XA | YM | MY | a | b <-
X -> MY | a | b <-
Y -> MY | a | b <-
M -> YA
A -> a
B -> b
Please comment!
a)
Now to translate:
S -> aM | bN
M -> aO | bQ
Q -> aM | bM
O -> aM | bM | /\
N -> aR | bP
R -> aN | bR
P -> aN | bN | /\
Yes/No
b) Convert
S -> Xa | YYa | X
X -> Y | /\
Y -> YaY | a | b
i) Kill /\
S -> Xa | YYa | X
X -> Y | YaY | a | b <-
Y -> YaY | a | b
ii) Kill unit production
S -> Xa | YYa | YaY | a | b <-
X -> YaY | a | b <-
Y -> YaY | a | b
iii) Terminals
S -> XA | YYA | YAY | a | b <-
X -> YAY | a | b <-
Y -> YAY | a | b <-
A -> a
B -> b
iv) CNF
S -> XA | YM | MY | a | b <-
X -> MY | a | b <-
Y -> MY | a | b <-
M -> YA
A -> a
B -> b
Please comment!
Sorry, only registered users may post in this forum.