home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #3 / NN_1993_3.iso / spool / sci / lang / 9001 < prev    next >
Encoding:
Internet Message Format  |  1993-01-27  |  1.7 KB
  1. Path: sparky!uunet!ogicse!das-news.harvard.edu!husc-news.harvard.edu!husc-news!oneil
  2. From: oneil@husc10.harvard.edu (John O'Neil)
  3. Newsgroups: sci.lang
  4. Subject: Re: yacc like grammar of natural languages?
  5. Message-ID: <ONEIL.93Jan26111116@husc10.harvard.edu>
  6. Date: 26 Jan 93 19:11:16 GMT
  7. Article-I.D.: husc10.ONEIL.93Jan26111116
  8. References: <hansg.728031611@risken>
  9. Organization: Harvard Arts and Sciences Computer Services, Cambridge, MA
  10. Lines: 27
  11. Nntp-Posting-Host: husc10.harvard.edu
  12. In-reply-to: hansg@risken.vd.volvo.se's message of Tue, 26 Jan 1993 07:00:11 GMT
  13.  
  14. In article <hansg.728031611@risken> hansg@risken.vd.volvo.se (Hans Granqvist) writes:
  15. >This may be a strange question, but having read in the latest issue of
  16. >BYTE about Machine Translation, I thought, why not express the source
  17. >language in yacc to resolve all ambiguities like "the can can be filled"
  18. >where "can" is noun or verb?
  19.  
  20. There are two immediate problems with such a scheme, which have noting
  21. to do with lexical ambiguity:
  22.  
  23. (1) There are phenomena in natural language (including Swedish, I
  24. believe) which are provably not context free.  Since the syntax used
  25. in YACC is less than context-free (LALR(1), I believe), one of the
  26. difficulties would be to change the syntax people used with the
  27. translator.
  28.  
  29. (2) In a computer language grammar given to a compiler compiler like
  30. YACC, the syntax and the semantics of each token is defined before
  31. hand to be simple and unambiguous.  Although our knowledge of natural
  32. language semantics is incomplete, we *do* know that it's doesn't have
  33. those properties.
  34.  
  35. Good Luck.
  36. --
  37. John O'Neil
  38. "Occasionally I believed I had thoughts of my own --  who does not now
  39.  and then become the victim of such delusions?"
  40.                         -- Paul Feyerabend
  41.