On 9/21/2010 12:05 AM, Alex Shkotin wrote:
Hi Pavithra,
it seems we should consider separately:
- First order language - simple
context free language
First-order languages are not necessarily context free. For
instance, some first-order languages don't allow vacuous
quantification; checking for this requires a lookahead that makes
the language context sensitive.
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (01)
|