Announcements Last Post
Announcement SoC Curricula 09/30/2017 01:08PM
Announcement Demarcation or scoping of examinations and assessment 02/13/2017 07:59AM
Announcement School of Computing Short Learning Programmes 11/24/2014 08:37AM
Announcement Unisa contact information 07/28/2011 01:28PM
CNF
August 24, 2006 09:40AM

Hi. I can do a normal CNF, but when there is an /\ I still get confused.

Take last 2005 exam paper q2.

S -> aXX | /\
X -> SbY | a | XYS
Y -> S | abX

Heres my question, I undestand that S is nullable, and Y is nullable because of S.

The next step explained in the the tuts, is remove the /\ and everywhere there is an S or Y on the right hand side do a substitution. But I cannot see the substition that must happen, for example is below what must happen.

S -> aXX
X -> SbY | a | XYS | Y | S
Y -> S | abX | Y



Sk8tz
Re: CNF
August 24, 2006 10:03AM
Could a lecturer please reply on this....
Sorry, only registered users may post in this forum.

Click here to login