This is TeX, Version 3.14159 (Web2C 7.3.1) (format=latex 2000.7.19) 29 OCT 2002 18:12 **td (td.tex LaTeX2e <1999/12/01> patch level 1 Babel and hyphenation patterns for american, french, german, ngerman, i talian, nohyphenation, loaded. (/usr/share/texmf/tex/latex/base/book.cls Document Class: book 1999/09/10 v1.4a Standard LaTeX document class (/usr/share/texmf/tex/latex/base/bk12.clo File: bk12.clo 1999/09/10 v1.4a Standard LaTeX file (size option) ) \c@part=\count79 \c@chapter=\count80 \c@section=\count81 \c@subsection=\count82 \c@subsubsection=\count83 \c@paragraph=\count84 \c@subparagraph=\count85 \c@figure=\count86 \c@table=\count87 \abovecaptionskip=\skip41 \belowcaptionskip=\skip42 \bibindent=\dimen102 ) (/usr/share/texmf/tex/latex/misc/fullpage.sty Style Option FULLPAGE Version 2 as of 15 Dec 1988 ) (/usr/share/texmf/tex/latex/misc/isolatin1.sty ISO-latin-1 input coding, version 0.9 of 1-Jun-1992.) (/usr/share/texmf/tex/latex/base/makeidx.sty Package: makeidx 1999/09/17 v1.0l Standard LaTeX package ) (/usr/share/texmf/tex/latex/amsmath/amsmath.sty Package: amsmath 2000/01/15 v2.05 AMS math features \@mathmargin=\skip43 For additional information on amsmath, use the `?' option. (/usr/share/texmf/tex/latex/amsmath/amstext.sty Package: amstext 1999/11/15 v2.0 (/usr/share/texmf/tex/latex/amsmath/amsgen.sty File: amsgen.sty 1999/11/30 v2.0 \@emptytoks=\toks14 \ex@=\dimen103 )) (/usr/share/texmf/tex/latex/amsmath/amsbsy.sty Package: amsbsy 1999/11/29 v1.2d \pmbraise@=\dimen104 ) (/usr/share/texmf/tex/latex/amsmath/amsopn.sty Package: amsopn 1999/12/14 v2.01 operator names ) \inf@bad=\count88 LaTeX Info: Redefining \frac on input line 198. \uproot@=\count89 \leftroot@=\count90 LaTeX Info: Redefining \overline on input line 302. \classnum@=\count91 \DOTSCASE@=\count92 LaTeX Info: Redefining \ldots on input line 376. LaTeX Info: Redefining \dots on input line 379. LaTeX Info: Redefining \cdots on input line 464. \Mathstrutbox@=\box26 \strutbox@=\box27 \big@size=\dimen105 LaTeX Font Info: Redeclaring font encoding OML on input line 563. LaTeX Font Info: Redeclaring font encoding OMS on input line 564. \macc@skew=\dimen106 \c@MaxMatrixCols=\count93 \dotsspace@=\muskip10 \c@parentequation=\count94 \dspbrk@lvl=\count95 \tag@help=\toks15 \row@=\count96 \column@=\count97 \maxfields@=\count98 \andhelp@=\toks16 \eqnshift@=\dimen107 \alignsep@=\dimen108 \tagshift@=\dimen109 \tagwidth@=\dimen110 \totwidth@=\dimen111 \lineht@=\dimen112 \@envbody=\toks17 \multlinegap=\skip44 \multlinetaggap=\skip45 LaTeX Info: Redefining \[ on input line 2594. LaTeX Info: Redefining \] on input line 2595. ) (/usr/share/texmf/tex/plain/dvips/colordvi.tex) (/usr/share/texmf/tex/latex/html/html.sty Package: html 1999/07/19 v1.38 hypertext commands for latex2html (nd, hws, rrm) \c@lpart=\count99 \c@lchapter=\count100 \c@lsection=\count101 \c@lsubsection=\count102 \c@lsubsubsection=\count103 \c@lparagraph=\count104 \c@lsubparagraph=\count105 \c@lsubsubparagraph=\count106 \ptrfile=\write3 ) (/usr/share/texmf/tex/latex/graphics/epsfig.sty Package: epsfig 1999/02/16 v1.7a (e)psfig emulation (SPQR) (/usr/share/texmf/tex/latex/graphics/graphicx.sty Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR) (/usr/share/texmf/tex/latex/graphics/keyval.sty Package: keyval 1999/03/16 v1.13 key=value parser (DPC) \KV@toks@=\toks18 ) (/usr/share/texmf/tex/latex/graphics/graphics.sty Package: graphics 1999/02/16 v1.0l Standard LaTeX Graphics (DPC,SPQR) (/usr/share/texmf/tex/latex/graphics/trig.sty Package: trig 1999/03/16 v1.09 sin cos tan (DPC) ) (/usr/share/texmf/tex/latex/config/graphics.cfg) Package graphics Info: Driver file: dvips.def on input line 80. (/usr/share/texmf/tex/latex/graphics/dvips.def File: dvips.def 1999/02/16 v3.0i Driver-dependant file (DPC,SPQR) )) \Gin@req@height=\dimen113 \Gin@req@width=\dimen114 ) \epsfxsize=\dimen115 \epsfysize=\dimen116 ) (/usr/share/texmf/tex/latex/misc/here.sty) (/usr/share/texmf/tex/latex/tools/verbatim.sty Package: verbatim 2000/01/07 v1.5m LaTeX2e package for verbatim enhancements \every@verbatim=\toks19 \verbatim@line=\toks20 \verbatim@in@stream=\read1 ) (/home/alain/lib/automata.sty Automata Style File for LaTeX/AmSLaTeX, version 6.0 by Alain Griffault - May 1999 \c@valeuraux=\count107 \c@q=\count108 \c@sautligne=\count109 \c@delta=\count110 \c@flotant=\count111 \c@demilargeuretat=\count112 \c@demihauteuretat=\count113 \c@demilargeurpoint=\count114 \c@demihauteurpoint=\count115 \c@largeurpoint=\count116 \c@hauteurpoint=\count117 \c@demilargeurpointcontexte=\count118 ) \c@Exo=\count119 \c@Cor=\count120 LaTeX Warning: Unused global option(s): [frenchb]. No file td.aux. \openout1 = `td.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 19. LaTeX Font Info: ... okay on input line 19. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 19. LaTeX Font Info: ... okay on input line 19. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 19. LaTeX Font Info: ... okay on input line 19. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 19. LaTeX Font Info: ... okay on input line 19. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 19. LaTeX Font Info: ... okay on input line 19. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 19. LaTeX Font Info: ... okay on input line 19. LaTeX Font Info: Try loading font information for OMS+cmr on input line 23. (/usr/share/texmf/tex/latex/base/omscmr.fd File: omscmr.fd 1999/05/25 v2.5h Standard LaTeX font definitions ) LaTeX Font Info: Font shape `OMS/cmr/m/n' in size <12> not available (Font) Font shape `OMS/cmsy/m/n' tried instead on input line 23. (exo1.tex Underfull \hbox (badness 10000) in paragraph at lines 4--5 [] File: exo1.lex (verbatim) ) (exo2.tex Underfull \hbox (badness 10000) in paragraph at lines 4--5 [] File: exo2.lex (verbatim) [1 ] File: exo2V2.lex (verbatim) ) (exo3.tex Underfull \hbox (badness 10000) in paragraph at lines 4--5 [] File: exo3.lex (verbatim) [2]) (exo4.tex Underfull \hbox (badness 10000) in paragraph at lines 4--5 [] File: exo4.lex (verbatim) Overfull \hbox (1433.06065pt too wide) in paragraph at lines 7--7 []\OT1/cmtt/m/n/10.95 KEYWORDS abstract|boolean|break|byte|case|catch|char|clas s|continue|default|do|double|else|extends|false|final|finally|float|for|if|impl ements|import|instanceof|int|interface|long|native|new|null|package|private|pro tected|public|return|short|static|super|switch|synchronized|this|throw|throws|t ransient|true|try|void|volatile|while[] [] [3]) (exo5.tex Underfull \hbox (badness 10000) in paragraph at lines 4--5 [] File: exo5.lex (verbatim) ) (exo6.tex Underfull \hbox (badness 10000) in paragraph at lines 4--5 [] File: exo6.lex (verbatim) Overfull \hbox (1433.06065pt too wide) in paragraph at lines 7--7 []\OT1/cmtt/m/n/10.95 KEYWORDS abstract|boolean|break|byte|case|catch|char|clas s|continue|default|do|double|else|extends|false|final|finally|float|for|if|impl ements|import|instanceof|int|interface|long|native|new|null|package|private|pro tected|public|return|short|static|super|switch|synchronized|this|throw|throws|t ransient|true|try|void|volatile|while[] [] [4] Underfull \vbox (badness 10000) has occurred while \output is active [] [5]) [6] (td.aux) ) Here is how much of TeX's memory you used: 1891 strings out of 20898 20918 string characters out of 196686 94373 words of memory out of 350001 4826 multiletter control sequences out of 10000+15000 6184 words of font info for 23 fonts, out of 400000 for 1000 14 hyphenation exceptions out of 1000 32i,4n,21p,378b,462s stack positions out of 1500i,100n,500p,50000b,4000s Output written on td.dvi (6 pages, 6400 bytes).