home *** CD-ROM | disk | FTP | other *** search
/ The Datafile PD-CD 4 / DATAFILE_PDCD4.iso / unix / riscbsd / 1_1_contri / usd / 26_eqn / e7 < prev   
Encoding:
Text File  |  1986-05-22  |  2.0 KB  |  80 lines
  1. .\"    @(#)e7    6.1 (Berkeley) 5/22/86
  2. .\"
  3. .NH
  4. Conclusions
  5. .PP
  6. We think we have shown that it is possible
  7. to do acceptably good typesetting of mathematics
  8. on a phototypesetter,
  9. with an input language that is easy to learn and use and
  10. that satisfies many users' demands.
  11. Such a package can be implemented in
  12. short order,
  13. given a compiler-compiler and
  14. a decent typesetting program underneath.
  15. .PP
  16. Defining a language, and building a compiler for it
  17. with a compiler-compiler
  18. seems like the only sensible way to do business.
  19. Our experience with the use of
  20. a grammar and a compiler-compiler has been
  21. uniformly favorable.
  22. If we had written everything into code directly,
  23. we would have been locked into
  24. our original design.
  25. Furthermore, we would have never been sure
  26. where the exceptions and special cases were.
  27. But because we have a grammar, we can change our minds readily and still be reasonably
  28. sure that if a construction works in one place
  29. it will work everywhere.
  30. .SH
  31. Acknowledgements
  32. .PP
  33. We are deeply indebted to
  34. J. F. Ossanna,
  35. the author of
  36. .UC TROFF ,
  37. for his willingness to modify
  38. .UC TROFF
  39. to make our task easier
  40. and for his continuous assistance
  41. during the development of our program.
  42. We are also grateful to
  43. A. V. Aho for help with language theory,
  44. to S. C. Johnson for aid with the compiler-compiler,
  45. and to our early users
  46. A. V. Aho, S. I. Feldman, S. C. Johnson,
  47. R. W. Hamming,
  48. and M. D. McIlroy
  49. for their constructive criticisms.
  50. .SH
  51. References
  52. .IP [1]
  53. .ul
  54. A Manual of Style,
  55. 12th Edition.
  56. University of Chicago Press, 1969. p 295.
  57. .IP [2]
  58. .ul
  59. Model C/A/T Phototypesetter.
  60. Graphic Systems, Inc.,
  61. Hudson, N. H.
  62. .IP [3]
  63. Ritchie, D. M., and Thompson, K. L.,
  64. ``The UNIX time-sharing system.''
  65. \fIComm. ACM 17,\fR 7 (July 1974), 365-375.
  66. .IP [4]
  67. Ossanna, J. F.,
  68. TROFF User's Manual.
  69. Bell Laboratories Computing Science Technical Report 54, 1977.
  70. .IP [5]
  71. Aho, A. V., and Johnson, S. C.,
  72. ``LR Parsing.''
  73. \fIComp. Surv. 6,\fR 2 (June 1974), 99-124.
  74. .br
  75. .IP [6]
  76. B. W. Kernighan and D. M. Ritchie,
  77. .ul
  78. The C Programming Language.
  79. Prentice-Hall, Inc., 1978.
  80.