|
|
1.1 root 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.
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.