This is TeX, C Version 3.1 (format=lplain 91.10.28)  18 MAY 1993 17:48
**istcs
(istcs.tex
LaTeX Version 2.09 <14 January 1991>
(/usr/local/lib/tex/inputs/article.sty
Document Style `article' <16 Mar 88>.
(/usr/local/lib/tex/inputs/art10.sty)
\c@part=\count79
\c@section=\count80
\c@subsection=\count81
\c@subsubsection=\count82
\c@paragraph=\count83
\c@subparagraph=\count84
\c@figure=\count85
\c@table=\count86
)
(/usr/local/lib/tex/inputs/twocolumn.sty)
(/usr/local/lib/tex/inputs/amssymbols.sty
\msxfam=\fam11
\msyfam=\fam12
)
(/usr/local/lib/tex/inputs/amssym.def
\msafam=\fam13
\msbfam=\fam14
\eufmfam=\fam15
) (/usr/local/lib/tex/inputs/amssym.tex)
(istcs.aux)
\c@thm=\count87
\c@lem=\count88
\c@cor=\count89
\c@ex=\count90
\c@rem=\count91
\c@prop=\count92
\c@alg=\count93
\c@deff=\count94

Underfull \hbox (badness 10000) in paragraph at lines 65--77


\hbox(0.0+0.0)x233.71811
.\penalty -10000
.\glue(\rightskip) 0.0


Underfull \hbox (badness 10000) in paragraph at lines 65--77


\hbox(0.0+0.0)x233.71811
.\glue(\rightskip) 0.0


Underfull \vbox (badness 10000) has occurred while \output is active
\vbox(476.16237+0.0)x233.71811, glue set 10.16237
.\glue(\topskip) 3.05556
.\hbox(6.94444+1.94444)x233.71811, glue set 1.00299
..\tenrm g
..\tenrm r
..\tenrm a
..\tenrm m
..\tenrm .
..etc.
.\penalty 100
.\glue(\baselineskip) 3.11111
.\hbox(6.94444+1.94444)x233.71811, glue set 0.78717
..\tenrm a
..\discretionary
...\tenrm -
..\tenrm l
..\tenrm e
..\tenrm n
..etc.
.etc.

 [1



]
[2]
Underfull \hbox (badness 10000) in paragraph at lines 300--304


\hbox(0.0+0.0)x233.71811
.\glue(\rightskip) 0.0


Underfull \hbox (badness 1127) in paragraph at lines 334--338
\tenrm terms $\tenmi s[]; [] ; s[]$ \tenrm be free and es-sen-tial in $\tenmi s
$\tenrm , and

\hbox(6.94444+1.94444)x233.71811, glue set 2.2444
.\tenrm t
.\tenrm e
.\tenrm r
.\tenrm m
.\tenrm s
.etc.


Underfull \hbox (badness 1881) in paragraph at lines 365--369
\tenmi s[]; [] ; s[]$ \tenrm are es-sen-tial and free in $\tenmi s$\tenrm , sub
-terms

\hbox(6.94444+1.94444)x233.71811, glue set 2.66203
.\tenmi s
.\hbox(4.51111+0.0)x4.48613, shifted 1.49998
..\sevrm 1
.\tenmi ;
.\glue(\thinmuskip) 1.66663
.\hbox(1.05554+0.0)x11.66661
..\tenmi :
..\glue(\thinmuskip) 1.66663
..\tenmi :
..\glue(\thinmuskip) 1.66663
..\tenmi :
.etc.

[3]
Underfull \hbox (badness 5741) in paragraph at lines 525--528
[] []\tenrm ([[]]) A re-duc-tion $\tenmi P$ \tenrm is called

\hbox(7.5+2.5)x233.71811, glue set 3.85907
.\hbox(0.0+0.0)x12.0
.\glue -12.0
.\hbox(6.94444+0.0)x73.39548
..\glue 0.0
..\glue 0.0
..\glue -5.0
..\hbox(6.94444+0.0)x73.39548
...\glue 5.0
...\tenbf D
...\tenbf e
...\tenbf ^^L (ligature fi)
...\tenbf n
...etc.
..\glue 5.0
.\penalty 0
.\tenrm (
.etc.

[4] (fig/fig2.latex) [5]
Underfull \hbox (badness 1460) in paragraph at lines 746--758
\tenrm re-dexes in $\tenmi s$ \tenrm are ex-actly the oc-cur-rences of

\hbox(6.94444+1.94444)x213.71808, glue set 2.44547
.\tenrm r
.\tenrm e
.\discretionary
..\tenrm -
.\tenrm d
.\tenrm e
.etc.

(fig/fig4.latex) (fig/fig8.latex) (fig/fig9.latex) [6] [7]
Underfull \hbox (badness 10000) in paragraph at lines 1058--1058
[]\twlbf Other de-cid-able prop-er-ties of

\hbox(8.33331+2.33331)x233.71811, glue set 5.90392
.\hbox(7.73332+0.0)x20.25
..\glue 0.0
..\twlbf 5
..\glue 13.5
.\twlbf O
.\twlbf t
.\twlbf h
.\twlbf e
.etc.

[8] [9]
Underfull \hbox (badness 10000) in paragraph at lines 1316--1321
[]\tenrm I en-joyed dis-cus-sions with H. Baren-dregt,

\hbox(6.94444+1.94444)x233.71811, glue set 4.79047
.\hbox(0.0+0.0)x12.0
.\tenrm I
.\glue 3.33333 plus 1.66498 minus 1.11221
.\tenrm e
.\tenrm n
.etc.


Underfull \hbox (badness 2617) in paragraph at lines 1340--1342
[] []\tenrm Courcelle B. Re-cur-sive Ap-plica-tive Pro-gram

\hbox(7.5+2.5)x213.1625, glue set 2.97018
.\hbox(0.0+0.0)x0.0
.\glue 0.0
.\hbox(7.5+2.5)x0.0
..\glue 0.0
..\glue -15.5556
..\glue -5.0
..\hbox(7.5+2.5)x15.5556, glue set 5.00002fil
...\glue 0.0 plus 1.0fil
...\tenrm [
...\tenrm 4
...\tenrm ]
..\glue 5.0
.\penalty 0
.\tenrm C
.etc.


Underfull \hbox (badness 10000) in paragraph at lines 1367--1369
[] []\tenrm Klop J.W. Term Rewrit-ing Sys-tems. In:

\hbox(7.5+2.5)x213.1625, glue set 4.59282
.\hbox(0.0+0.0)x0.0
.\glue 0.0
.\hbox(7.5+2.5)x0.0
..\glue 0.0
..\glue -15.5556
..\glue -5.0
..\hbox(7.5+2.5)x15.5556
...\glue 0.0 plus 1.0fil
...\tenrm [
...\tenrm 1
...\tenrm 0
...\tenrm ]
..\glue 5.0
.\penalty 0
.\tenrm K
.etc.

[10] (istcs.aux) ) 
Here is how much of TeX's memory you used:
 600 strings out of 4376
 5266 string characters out of 62296
 57502 words of memory out of 262141
 2567 multiletter control sequences out of 9500
 22105 words of font info for 87 fonts, out of 72000 for 255
 31 hyphenation exceptions out of 607
 14i,9n,18p,207b,351s stack positions out of 300i,40n,60p,3000b,4000s

Output written on istcs.dvi (10 pages, 79932 bytes).