home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #27 / NN_1992_27.iso / spool / comp / lang / ada / 3345 < prev    next >
Encoding:
Internet Message Format  |  1992-11-24  |  2.1 KB
  1. Path: sparky!uunet!munnari.oz.au!yoyo.aarnet.edu.au!news.adelaide.edu.au!cs.adelaide.edu.au!andrewd
  2. From: andrewd@cs.adelaide.edu.au (Andrew Dunstan)
  3. Newsgroups: comp.lang.ada
  4. Subject: Re: GNU-NYU Ada project
  5. Date: 24 Nov 1992 04:30:58 GMT
  6. Organization: The University of Adelaide
  7. Lines: 27
  8. Distribution: world
  9. Message-ID: <1esb62INNl0j@huon.itd.adelaide.edu.au>
  10. References: <1992Nov19.184504.22639@coe.montana.edu> <62223@mimsy.umd.edu> <1ep7l5INN3kb@huon.itd.adelaide.edu.au> <1992Nov23.010531.16148@u.washington.edu>
  11. NNTP-Posting-Host: achilles.cs.adelaide.edu.au
  12.  
  13. In article <1992Nov23.010531.16148@u.washington.edu>, nobby@byron.u.washington.edu (Vitaly Shmatikov) writes:
  14. |> In article <1ep7l5INN3kb@huon.itd.adelaide.edu.au> andrewd@cs.adelaide.edu.au (Andrew Dunstan) writes:
  15. |> [... stuff deleted ...]
  16. |> 
  17. |> >This is not quite correct. (This discussion really belongs in comp.compilers.)
  18. |> >The class LL(1) is smaller than the class LALR(1). In fact, the class LL(k) is 
  19. |> >smaller than the class LALR(1) for any k. However. the class LALR(1) = LR(1). This
  20. |> 
  21. |> I believe this is wrong. Lookahead components in LALR(1) states are more
  22. |> general than those of LR(1). There might be situations where reduction of LR(1)
  23. |> to LALR(1) introduces a conflict although I don't have an example handy. 
  24. |> The correct relation is LALR(1) ( LR(1).
  25.  
  26. I did not say that every LR(1) grammar is LALR(1). This is clearly not true.
  27. What I said was that every language describable by an LR(1) grammar can also
  28. be described by an LALR(1) grammar. This is true. See Fischer & LeBlanc's 
  29. "Crafting A Compiler", or Sippu & Soisalon-Soininen's encyclopaedic 
  30. "Parsing Theory".
  31.  
  32. -- 
  33. #######################################################################
  34. #  Andrew Dunstan                   #   There's nothing good or bad   #
  35. #  Department of Computer Science   #   but thinking makes it so.     #
  36. #  University of Adelaide           #                                 #
  37. #  South Australia                  #          - Shakespeare          #
  38. #  net: andrewd@cs.adelaide.edu.au  #                                 #
  39. #######################################################################
  40.