[unix-history] / usr / src / share / doc / usd / 26.eqn / e7

.\"	@(#)e7	6.1 (Berkeley) 5/22/86
.\"
.NH
Conclusions
.PP
We think we have shown that it is possible
to do acceptably good typesetting of mathematics
on a phototypesetter,
with an input language that is easy to learn and use and
that satisfies many users' demands.
Such a package can be implemented in
short order,
given a compiler-compiler and
a decent typesetting program underneath.
.PP
Defining a language, and building a compiler for it
with a compiler-compiler
seems like the only sensible way to do business.
Our experience with the use of
a grammar and a compiler-compiler has been
uniformly favorable.
If we had written everything into code directly,
we would have been locked into
our original design.
Furthermore, we would have never been sure
where the exceptions and special cases were.
But because we have a grammar, we can change our minds readily and still be reasonably
sure that if a construction works in one place
it will work everywhere.
.SH
Acknowledgements
.PP
We are deeply indebted to
J. F. Ossanna,
the author of
.UC TROFF ,
for his willingness to modify
.UC TROFF
to make our task easier
and for his continuous assistance
during the development of our program.
We are also grateful to
A. V. Aho for help with language theory,
to S. C. Johnson for aid with the compiler-compiler,
and to our early users
A. V. Aho, S. I. Feldman, S. C. Johnson,
R. W. Hamming,
and M. D. McIlroy
for their constructive criticisms.
.SH
References
.IP [1]
.ul
A Manual of Style,
12th Edition.
University of Chicago Press, 1969. p 295.
.IP [2]
.ul
Model C/A/T Phototypesetter.
Graphic Systems, Inc.,
Hudson, N. H.
.IP [3]
Ritchie, D. M., and Thompson, K. L.,
``The UNIX time-sharing system.''
\fIComm. ACM 17,\fR 7 (July 1974), 365-375.
.IP [4]
Ossanna, J. F.,
TROFF User's Manual.
Bell Laboratories Computing Science Technical Report 54, 1977.
.IP [5]
Aho, A. V., and Johnson, S. C.,
``LR Parsing.''
\fIComp. Surv. 6,\fR 2 (June 1974), 99-124.
.br
.IP [6]
B. W. Kernighan and D. M. Ritchie,
.ul
The C Programming Language.
Prentice-Hall, Inc., 1978.
Commit	Line	Data
95f51977	1	.\" @(#)e7 6.1 (Berkeley) 5/22/86
746cb5f3 KD	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.