This is pdfTeX, Version 3.14159-1.10b (Web2C 7.4.5) (format=pdflatex 2004.9.30)  14 APR 2005 08:16
**AutMan2
(./AutMan2.tex{/usr/share/texmf/pdftex/config/pdftex.cfg}
LaTeX2e <2001/06/01>
Babel <v3.7h> and hyphenation patterns for american, french, german, ngerman, n
ohyphenation, loaded.
(/usr/share/texmf/tex/latex/base/report.cls
Document Class: report 2001/04/21 v1.4e Standard LaTeX document class
(/usr/share/texmf/tex/latex/base/size11.clo
File: size11.clo 2001/04/21 v1.4e 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/a4wide.sty
Package: a4wide 1994/08/30

(/usr/share/texmf/tex/latex/ntgclass/a4.sty
Package: a4 1999/03/03 v1.2f A4 based page layout
))
(/usr/share/texmf/tex/latex/amsfonts/amssymb.sty
Package: amssymb 2002/01/22 v2.2d

(/usr/share/texmf/tex/latex/amsfonts/amsfonts.sty
Package: amsfonts 2001/10/25 v2.2f
\@emptytoks=\toks14
\symAMSa=\mathgroup4
\symAMSb=\mathgroup5
LaTeX Font Info:    Overwriting math alphabet `\mathfrak' in version `bold'
(Font)                  U/euf/m/n --> U/euf/b/n on input line 132.
))
(/usr/share/texmf/tex/latex/base/inputenc.sty
Package: inputenc 2001/07/10 v0.99a Input encoding file 

(/usr/share/texmf/tex/latex/base/latin1.def
File: latin1.def 2001/07/10 v0.99a Input encoding file 
))
(/usr/share/texmf/tex/latex/base/makeidx.sty
Package: makeidx 2000/03/29 v1.0m Standard LaTeX package
)
\@indexfile=\write3
\openout3 = `AutMan2.idx'.


Writing index file AutMan2.idx
(/usr/share/texmf/tex/latex/graphics/color.sty
Package: color 1999/02/16 v1.0i Standard LaTeX Color (DPC)

(/usr/share/texmf/tex/latex/config/color.cfg
File: color.cfg 2001/08/31 v1.1 color configuration of teTeX/TeXLive
)
Package color Info: Driver file: pdftex.def on input line 125.

(/usr/share/texmf/tex/latex/graphics/pdftex.def
File: pdftex.def 2002/06/19 v0.03k graphics/color for pdftex
\Gread@gobject=\count88
))
(/usr/share/texmf/tex/latex/fancyvrb/fancyvrb.sty
Package: fancyvrb 2000/03/21

Style option: `fancyvrb' v2.7, with DG/SPQR fixes <2000/03/21> (tvz)
(/usr/share/texmf/tex/latex/graphics/keyval.sty
Package: keyval 1999/03/16 v1.13 key=value parser (DPC)
\KV@toks@=\toks15
)
\FV@CodeLineNo=\count89
\FV@InFile=\read1
\FV@TabBox=\box26
\c@FancyVerbLine=\count90
\FV@StepNumber=\count91
\FV@OutFile=\write4
)
(/usr/share/texmf/tex/latex/graphics/graphics.sty
Package: graphics 2001/07/07 v1.0n 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
File: graphics.cfg 2001/08/31 v1.1 graphics configuration of teTeX/TeXLive
)
Package graphics Info: Driver file: pdftex.def on input line 80.
)
(/usr/share/texmf/tex/latex/hyperref/hyperref.sty
Package: hyperref 2003/01/22 v6.73n Hypertext links for LaTeX
\@linkdim=\dimen103
\Hy@linkcounter=\count92
\Hy@pagecounter=\count93

(/usr/share/texmf/tex/latex/hyperref/pd1enc.def
File: pd1enc.def 2003/01/22 v6.73n Hyperref: PDFDocEncoding definition (HO)
)
(/usr/share/texmf/tex/latex/config/hyperref.cfg
File: hyperref.cfg 2002/06/06 v1.2 hyperref configuration of TeXLive and teTeX
)
Package hyperref Info: Option `bookmarks' set `false' on input line 1744.
Package hyperref Info: Option `colorlinks' set `true' on input line 1744.
Package hyperref Info: Option `breaklinks' set `true' on input line 1744.
Package hyperref Info: Hyper figures OFF on input line 1792.
Package hyperref Info: Link nesting OFF on input line 1797.
Package hyperref Info: Hyper index ON on input line 1800.
Package hyperref Info: Plain pages ON on input line 1805.
Package hyperref Info: Backreferencing ON on input line 1810.

Implicit mode ON; LaTeX internals redefined
Package hyperref Info: Bookmarks OFF on input line 1922.
(/usr/share/texmf/tex/latex/hyperref/backref.sty
Package: backref 2002/06/09 v1.20 Bibliographical back referencing
)
(/usr/share/texmf/tex/latex/html/url.sty
Package: url 1999/03/02  ver 1.4  Verb mode for urls, email addresses, and file
 names
)
LaTeX Info: Redefining \url on input line 2055.
\Fld@menulength=\count94
\Field@Width=\dimen104
\Fld@charsize=\dimen105
\Choice@toks=\toks16
\Field@toks=\toks17
Package hyperref Info: Hyper figures OFF on input line 2513.
Package hyperref Info: Link nesting OFF on input line 2518.
Package hyperref Info: Hyper index ON on input line 2521.
Package hyperref Info: backreferencing ON on input line 2526.
Package hyperref Info: Link coloring ON on input line 2531.
\c@Item=\count95
\c@Hfootnote=\count96
)
*hyperref using default driver hpdftex*
(/usr/share/texmf/tex/latex/hyperref/hpdftex.def
File: hpdftex.def 2003/01/22 v6.73n Hyperref driver for pdfTeX

(/usr/share/texmf/tex/latex/psnfss/pifont.sty
Package: pifont 2002/09/08 PSNFSS-v9.0a Pi font support (SPQR) 
LaTeX Font Info:    Try loading font information for U+pzd on input line 62.

(/usr/share/texmf/tex/latex/psnfss/upzd.fd
File: upzd.fd 2001/06/04 font definitions for U/pzd.
)
LaTeX Font Info:    Try loading font information for U+psy on input line 63.

(/usr/share/texmf/tex/latex/psnfss/upsy.fd
File: upsy.fd 2001/06/04 font definitions for U/psy.
))
\Fld@listcount=\count97
\@outlinefile=\write5
)
\pagenrlog=\write6
\openout6 = `AutMan2.pnr'.

\backslashbox=\box27
 (./AutMan2.aux)
\openout1 = `AutMan2.aux'.

LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 52.
LaTeX Font Info:    ... okay on input line 52.
LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 52.
LaTeX Font Info:    ... okay on input line 52.
LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 52.
LaTeX Font Info:    ... okay on input line 52.
LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 52.
LaTeX Font Info:    ... okay on input line 52.
LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 52.
LaTeX Font Info:    ... okay on input line 52.
LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 52.
LaTeX Font Info:    ... okay on input line 52.
LaTeX Font Info:    Checking defaults for PD1/pdf/m/n on input line 52.
LaTeX Font Info:    ... okay on input line 52.

(/usr/share/texmf/tex/context/base/supp-pdf.tex
(/usr/share/texmf/tex/context/base/supp-mis.tex
loading : Context Support Macros / Missing
\protectiondepth=\count98
\scratchcounter=\count99
\scratchtoks=\toks18
\scratchdimen=\dimen106
\scratchskip=\skip43
\scratchmuskip=\muskip10
\scratchbox=\box28
\scratchread=\read2
\scratchwrite=\write7
\zeropoint=\dimen107
\minusone=\count100
\thousandpoint=\dimen108
\emptytoks=\toks19
\nextbox=\box29
\nextdepth=\dimen109
\everyline=\toks20
\!!counta=\count101
\!!countb=\count102
\recursecounter=\count103
)
loading : Context Support Macros / PDF
\nofMPsegments=\count104
\nofMParguments=\count105
\everyMPtoPDFconversion=\toks21
)
Package hyperref Info: Link coloring ON on input line 52.
 (/usr/share/texmf/tex/latex/hyperref/nameref.sty
Package: nameref 2001/01/27 v2.19 Cross-referencing by name of section
\c@section@level=\count106
)
LaTeX Info: Redefining \ref on input line 52.
LaTeX Info: Redefining \pageref on input line 52.

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

 []

[1

{/usr/share/texmf/dvips/config/pdftex.map}]
LaTeX Font Info:    Try loading font information for OMS+cmr on input line 80.

(/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 <10> not available
(Font)              Font shape `OMS/cmsy/m/n' tried instead on input line 80.

Underfull \hbox (badness 10000) in paragraph at lines 82--84

 []


Underfull \hbox (badness 10000) in paragraph at lines 95--98

 []


Underfull \hbox (badness 10000) in paragraph at lines 106--113

 []

[2] (./AutMan2.toc
LaTeX Font Info:    Try loading font information for U+msa on input line 3.
 (/usr/share/texmf/tex/latex/amsfonts/umsa.fd
File: umsa.fd 2002/01/19 v2.2g AMS font definitions
)
LaTeX Font Info:    Try loading font information for U+msb on input line 3.

(/usr/share/texmf/tex/latex/amsfonts/umsb.fd
File: umsb.fd 2002/01/19 v2.2g AMS font definitions
) [3

] [4])
\tf@toc=\write8
\openout8 = `AutMan2.toc'.

 [5]
Chapter 1.
<aut1.pdf, id=278, 86.3225pt x 248.93pt>
File: aut1.pdf Graphic file (type pdf)
 <use aut1.pdf> [6

 <./aut1.pdf>]
[7]
Chapter 2.

Underfull \hbox (badness 10000) in paragraph at lines 194--197
[]$/msam10@10.95pt/^^F$ /cmtt10@10.95pt/Automaton( Type, Size, Alphabet, Transi
tionTable, Initial, Accepting )[] []
 []


Underfull \hbox (badness 10000) in paragraph at lines 194--197

 []

[8

] [9]
Underfull \hbox (badness 10000) in paragraph at lines 279--282

 []


Underfull \hbox (badness 10000) in paragraph at lines 296--299

 []


Underfull \hbox (badness 10000) in paragraph at lines 313--316

 []


Underfull \hbox (badness 10000) in paragraph at lines 330--333

 []

[10]
Underfull \hbox (badness 10000) in paragraph at lines 347--350

 []


Underfull \hbox (badness 10000) in paragraph at lines 373--376

 []


Underfull \hbox (badness 10000) in paragraph at lines 403--406

 []

[11]
Underfull \hbox (badness 10000) in paragraph at lines 420--423

 []


Underfull \hbox (badness 10000) in paragraph at lines 437--440

 []


Underfull \hbox (badness 10000) in paragraph at lines 454--457

 []


Underfull \hbox (badness 10000) in paragraph at lines 471--474

 []

[12]
Underfull \hbox (badness 10000) in paragraph at lines 509--512

 []


Underfull \hbox (badness 10000) in paragraph at lines 514--515
[]/cmr10@10.95pt/Tests whether a de-ter-min-is-tic au-toma-ton /cmtt10@10.95pt/
aut /cmr10@10.95pt/is com-plete. (See also
 []


Underfull \hbox (badness 10000) in paragraph at lines 526--529

 []


Underfull \hbox (badness 10000) in paragraph at lines 547--550

 []

[13]
Underfull \hbox (badness 10000) in paragraph at lines 564--567

 []


Underfull \hbox (badness 10000) in paragraph at lines 584--587

 []


Underfull \hbox (badness 10000) in paragraph at lines 615--618

 []

[14]
Underfull \hbox (badness 10000) in paragraph at lines 638--641

 []


Underfull \hbox (badness 10000) in paragraph at lines 662--665

 []


Underfull \hbox (badness 10000) in paragraph at lines 682--685

 []

[15]
Underfull \hbox (badness 10000) in paragraph at lines 710--713

 []


Underfull \hbox (badness 10000) in paragraph at lines 732--735

 []

[16]
Underfull \hbox (badness 10000) in paragraph at lines 761--764

 []


Underfull \hbox (badness 10000) in paragraph at lines 783--786

 []


Underfull \hbox (badness 10000) in paragraph at lines 812--815

 []

[17]
Underfull \hbox (badness 10000) in paragraph at lines 837--840

 []


Underfull \hbox (badness 10000) in paragraph at lines 881--884

 []

[18]
Underfull \hbox (badness 10000) in paragraph at lines 901--904

 []


Underfull \hbox (badness 10000) in paragraph at lines 920--923

 []

[19]
Chapter 3.

Underfull \hbox (badness 10000) in paragraph at lines 950--953

 []


Underfull \hbox (badness 10000) in paragraph at lines 974--977

 []

[20

]
Underfull \hbox (badness 10000) in paragraph at lines 1002--1005

 []


Underfull \hbox (badness 10000) in paragraph at lines 1025--1028

 []


Underfull \hbox (badness 10000) in paragraph at lines 1044--1047

 []

[21]
Underfull \hbox (badness 10000) in paragraph at lines 1083--1087

 []


Underfull \hbox (badness 10000) in paragraph at lines 1092--1096

 []


Underfull \hbox (badness 10000) in paragraph at lines 1101--1104

 []

[22] [23]
Chapter 4.

Underfull \hbox (badness 10000) in paragraph at lines 1140--1149

 []


Underfull \hbox (badness 10000) in paragraph at lines 1169--1172

 []

[24

]
Underfull \hbox (badness 10000) in paragraph at lines 1192--1198

 []


Underfull \hbox (badness 10000) in paragraph at lines 1224--1227

 []


Underfull \hbox (badness 10000) in paragraph at lines 1247--1250

 []

[25]
Underfull \hbox (badness 10000) in paragraph at lines 1270--1276

 []


Underfull \hbox (badness 10000) in paragraph at lines 1303--1306

 []

[26]
Underfull \hbox (badness 10000) in paragraph at lines 1327--1330

 []

[27]
Chapter 5.

Underfull \hbox (badness 10000) in paragraph at lines 1360--1363

 []


Underfull \hbox (badness 10000) in paragraph at lines 1389--1392

 []

[28

]
Underfull \hbox (badness 10000) in paragraph at lines 1402--1405

 []


Underfull \hbox (badness 10000) in paragraph at lines 1433--1436

 []


Underfull \hbox (badness 10000) in paragraph at lines 1463--1466

 []

[29]
Underfull \hbox (badness 10000) in paragraph at lines 1493--1496

 []

[30]
Underfull \hbox (badness 10000) in paragraph at lines 1528--1531

 []


Underfull \hbox (badness 10000) in paragraph at lines 1556--1559

 []


Underfull \hbox (badness 10000) in paragraph at lines 1584--1587

 []

[31]
Underfull \hbox (badness 10000) in paragraph at lines 1613--1616

 []


Underfull \hbox (badness 10000) in paragraph at lines 1636--1639

 []

[32]
Underfull \hbox (badness 10000) in paragraph at lines 1668--1674

 []

[33]
Appendix A.
<graph.pdf, id=433, 99.37125pt x 254.9525pt>
File: graph.pdf Graphic file (type pdf)
 <use graph.pdf>
Underfull \hbox (badness 10000) in paragraph at lines 1730--1733

 []

[34

 <./graph.pdf>]
Underfull \hbox (badness 10000) in paragraph at lines 1746--1749

 []


Underfull \hbox (badness 10000) in paragraph at lines 1764--1767

 []


Underfull \hbox (badness 10000) in paragraph at lines 1782--1785

 []


Underfull \hbox (badness 10000) in paragraph at lines 1800--1803

 []

[35]
Underfull \hbox (badness 10000) in paragraph at lines 1822--1825

 []


Underfull \hbox (badness 10000) in paragraph at lines 1843--1846

 []


Underfull \hbox (badness 10000) in paragraph at lines 1861--1864

 []


Underfull \hbox (badness 10000) in paragraph at lines 1884--1887

 []

[36]
Underfull \hbox (badness 10000) in paragraph at lines 1907--1910

 []


Underfull \hbox (badness 10000) in paragraph at lines 1926--1929

 []

[37] [38]
Appendix B.

Underfull \hbox (badness 10000) in paragraph at lines 1976--1979

 []

<aut2.pdf, id=462, 69.25874pt x 272.01625pt>
File: aut2.pdf Graphic file (type pdf)
 <use aut2.pdf>
Underfull \hbox (badness 10000) in paragraph at lines 1998--2001

 []


Underfull \hbox (badness 10000) in paragraph at lines 2010--2013

 []


Underfull \hbox (badness 10000) in paragraph at lines 2021--2024

 []

[39

] [40 <./aut2.pdf>]
Appendix C.

Underfull \hbox (badness 10000) in paragraph at lines 2056--2059

 []


Underfull \hbox (badness 10000) in paragraph at lines 2073--2076

 []

[41

]
Underfull \hbox (badness 10000) in paragraph at lines 2090--2093

 []


Underfull \hbox (badness 10000) in paragraph at lines 2113--2116

 []


Underfull \hbox (badness 10000) in paragraph at lines 2138--2141

 []

[42]
Underfull \hbox (badness 10000) in paragraph at lines 2168--2171

 []


Underfull \hbox (badness 10000) in paragraph at lines 2191--2194

 []

(./AutMan2.bbl (./AutMan2.brf)
\tf@brf=\write9
\openout9 = `AutMan2.brf'.

 [43]) (./AutMan2.ind [44

]
Underfull \hbox (badness 10000) in paragraph at lines 10--11
[]/cmtt10@10.95pt/AddInverseEdgesToInverseAutomaton/cmr10@10.95pt/,
 []

[45

] [46

]) (./AutMan2.aux) ) 
Here is how much of TeX's memory you used:
 3574 strings out of 95437
 48312 string characters out of 1188125
 105087 words of memory out of 1000001
 6350 multiletter control sequences out of 10000+50000
 14740 words of font info for 53 fonts, out of 500000 for 1000
 14 hyphenation exceptions out of 1000
 27i,7n,27p,573b,513s stack positions out of 1500i,500n,5000p,200000b,5000s
 609 PDF objects out of 300000
 165 named destinations out of 131072
 31 words of extra memory for PDF output out of 65536
{/usr/share/texmf/dvips/tetex/bbad153f.enc}</usr/share/texm
f/fonts/type1/bluesky/cm/cmsy8.pfb>{/usr/share/texmf/dvips/tetex/aae443f0.enc}<
/usr/share/texmf/fonts/type1/bluesky/cm/cmmi8.pfb></usr/share/texmf/fonts/type1
/bluesky/symbols/msam10.pfb>{/usr/share/texmf/dvips/tetex/f7b6d320.enc}</usr/sh
are/texmf/fonts/type1/bluesky/cm/cmr8.pfb>{/usr/share/texmf/dvips/tetex/74afc74
c.enc}</usr/share/texmf/fonts/type1/bluesky/cm/cmti10.pfb></usr/share/texmf/fon
ts/type1/bluesky/cm/cmmi10.pfb></usr/share/texmf/fonts/type1/bluesky/cm/cmbxti1
0.pfb></usr/share/texmf/fonts/type1/bluesky/cm/cmss10.pfb></usr/share/texmf/fon
ts/type1/bluesky/cm/cmsy10.pfb></usr/share/texmf/fonts/type1/bluesky/cm/cmsl8.p
fb>{/usr/share/texmf/dvips/tetex/09fbbfac.enc}</usr/share/texmf/fonts/type1/blu
esky/cm/cmtt10.pfb></usr/share/texmf/fonts/type1/bluesky/cm/cmbx10.pfb></usr/sh
are/texmf/fonts/type1/bluesky/cm/cmr10.pfb></usr/share/texmf/fonts/type1/bluesk
y/cm/cmbx12.pfb>
Output written on AutMan2.pdf (46 pages, 282024 bytes).
