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