This is pdfeTeX, Version 3.141592-1.21a-2.2 (Web2C 7.5.4) (format=latex 2009.4.25)  8 JUN 2011 09:44
entering extended mode
**all
(./all.tex
LaTeX2e <2003/12/01>
Babel <v3.8d> and hyphenation patterns for american, french, german, ngerman, b
ahasa, basque, bulgarian, catalan, croatian, czech, danish, dutch, esperanto, e
stonian, finnish, greek, icelandic, irish, italian, latin, magyar, norsk, polis
h, portuges, romanian, russian, serbian, slovak, slovene, spanish, swedish, tur
kish, ukrainian, nohyphenation, loaded.
(/sw/share/texmf-dist/tex/latex/base/latex209.def
File: latex209.def 1998/05/13 v0.52 Standard LaTeX file


          Entering LaTeX 2.09 COMPATIBILITY MODE
 *************************************************************
    !!WARNING!!    !!WARNING!!    !!WARNING!!    !!WARNING!!   
 
 This mode attempts to provide an emulation of the LaTeX 2.09
 author environment so that OLD documents can be successfully
 processed. It should NOT be used for NEW documents!
 
 New documents should use Standard LaTeX conventions and start
 with the \documentclass command.
 
 Compatibility mode is UNLIKELY TO WORK with LaTeX 2.09 style
 files that change any internal macros, especially not with
 those that change the FONT SELECTION or OUTPUT ROUTINES.
 
 Therefore such style files MUST BE UPDATED to use
          Current Standard LaTeX: LaTeX2e.
 If you suspect that you may be using such a style file, which
 is probably very, very old by now, then you should attempt to
 get it updated by sending a copy of this error message to the
 author of that file.
 *************************************************************

\footheight=\dimen102
\@maxsep=\dimen103
\@dblmaxsep=\dimen104
\@cla=\count79
\@clb=\count80
\mscount=\count81
(/sw/share/texmf-dist/tex/latex/base/tracefnt.sty
Package: tracefnt 1997/05/29 v3.0j Standard LaTeX package (font tracing)
\tracingfonts=\count82
LaTeX Info: Redefining \selectfont on input line 101.
)
\symbold=\mathgroup4
\symsans=\mathgroup5
\symtypewriter=\mathgroup6
\symitalic=\mathgroup7
\symsmallcaps=\mathgroup8
\symslanted=\mathgroup9
LaTeX Font Info:    Redeclaring math alphabet \mathbf on input line 293.
LaTeX Font Info:    Redeclaring math alphabet \mathsf on input line 294.
LaTeX Font Info:    Redeclaring math alphabet \mathtt on input line 295.
LaTeX Font Info:    Redeclaring math alphabet \mathit on input line 301.
LaTeX Info: Redefining \em on input line 311.

(/Users/cp/svn/hilbertbernays/trunk/latexsym.sty
Package: latexsym 1998/08/17 v2.2e Standard LaTeX package (lasy symbols)
\symlasy=\mathgroup10
LaTeX Font Info:    Overwriting symbol font `lasy' in version `bold'
(Font)                  U/lasy/m/n --> U/lasy/b/n on input line 47.
)
LaTeX Font Info:    Redeclaring math delimiter \lgroup on input line 375.
LaTeX Font Info:    Redeclaring math delimiter \rgroup on input line 377.
LaTeX Font Info:    Redeclaring math delimiter \bracevert on input line 379.

(/sw/share/texmf-dist/tex/latex/base/latex209.cfg
File: latex209.cfg 2001/06/05 v1.0 teTeX customized LaTeX 2.09 compatibility mo
de setup
)
(/sw/share/texmf-dist/tex/latex/tools/rawfonts.sty
Package: rawfonts 1994/05/08 Low-level LaTeX 2.09 font compatibility

(/sw/share/texmf-dist/tex/latex/tools/somedefs.sty
Package: somedefs 1994/06/01 v0.03 Toolkit for optional definitions
)
LaTeX Font Info:    Try loading font information for U+lasy on input line 44.

(/Users/cp/svn/hilbertbernays/trunk/ulasy.fd
File: ulasy.fd 1998/08/17 v2.2e LaTeX symbol font definitions
)))
(/Users/cp/svn/hilbertbernays/trunk/article.cls
Document Class: article 1999/01/07 v1.4a Standard LaTeX document class
(/Users/cp/svn/hilbertbernays/trunk/size12.clo
File: size12.clo 2000/05/19 v1.4b Standard LaTeX file (size option)
)
\c@part=\count83
\c@section=\count84
\c@subsection=\count85
\c@subsubsection=\count86
\c@paragraph=\count87
\c@subparagraph=\count88
\c@figure=\count89
\c@table=\count90
\abovecaptionskip=\skip41
\belowcaptionskip=\skip42
Compatibility mode: definition of \rm ignored.
Compatibility mode: definition of \sf ignored.
Compatibility mode: definition of \tt ignored.
Compatibility mode: definition of \bf ignored.
Compatibility mode: definition of \it ignored.
Compatibility mode: definition of \sl ignored.
Compatibility mode: definition of \sc ignored.
LaTeX Info: Redefining \cal on input line 497.
LaTeX Info: Redefining \mit on input line 498.
\bibindent=\dimen105
)
(/Users/cp/Library/TeX/texmf/tex/latex/latexlib/dina4.sty)
(/Users/cp/svn/hilbertbernays/trunk/epic.sty
Enhancements to Picture Environment. Version 1.2 - Released June 1, 1986
\@@multicnt=\count91
\d@lta=\count92
\@delta=\dimen106
\@@delta=\dimen107
\@gridcnt=\count93
\@joinkind=\count94
\@dotgap=\dimen108
\@ddotgap=\dimen109
\@x@diff=\count95
\@y@diff=\count96
\x@diff=\dimen110
\y@diff=\dimen111
\@dotbox=\box26
\num@segments=\count97
\num@segmentsi=\count98
\@datafile=\read1
) (/Users/cp/Library/TeX/texmf/tex/latex/latexlib/german.sty v2.5e 1998-07-08
Package: german 1998/07/08 v2.5e Support for writing german texts (br)
\grmnU@D=\dimen112
)
(./body.tex
\zurueck=\box27
 (./all.aux)
\openout1 = `all.aux'.

LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 278.
LaTeX Font Info:    ... okay on input line 278.
LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 278.
LaTeX Font Info:    ... okay on input line 278.
LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 278.
LaTeX Font Info:    ... okay on input line 278.
LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 278.
LaTeX Font Info:    ... okay on input line 278.
LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 278.
LaTeX Font Info:    ... okay on input line 278.
LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 278.
LaTeX Font Info:    ... okay on input line 278.
\disp=\skip43
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <20.74> on input line 293.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <14.4> on input line 293.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <12> on input line 293.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <8> on input line 326.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <6> on input line 326.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <7> on input line 340.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <5> on input line 340.
 [1

]
Underfull \hbox (badness 10000) in paragraph at lines 396--398

 []

[2] (./all.toc)
\tf@toc=\write3
\openout3 = `all.toc'.

 [3

] [4

]
(/Users/cp/Library/TeX/texmf/tex/latex/latexlib/headerpagenumber.tex)
LaTeX Font Info:    Try loading font information for OMS+cmr on input line 485.


(/Users/cp/svn/hilbertbernays/trunk/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 485.
 [1] [2]
Overfull \hbox (32.35933pt too wide) in paragraph at lines 587--601
\OT1/cmr/m/n/12 ba-sier-ter An-satz zu Grun-de liegt (ver-glei-che et-wa [Wirth
&Gramlich93] oder [Wirth&Gramlich94]),
 []


Overfull \hbox (3.25006pt too wide) in paragraph at lines 612--623
[]\OT1/cmr/m/n/12 ASF$[]$ un-terst[]utzt Spe-zi-fi-ka-tio-nen mit po-si-tiv/neg
ativ be-ding-ten Glei-chun-gen. Sie k[]onnen
 []

[3] [4] [5]
Underfull \vbox (badness 10000) has occurred while \output is active []

 [6]
[7]
Underfull \vbox (badness 10000) has occurred while \output is active []

 [8]
[9]
Overfull \hbox (15.70654pt too wide) in paragraph at lines 1018--1031
\OT1/cmr/m/n/12 mensr[]aum-en. Im Bei-spiel f[]uhrt die Um-be-nen-nung von \OT1
/cmtt/m/n/12 INT \OT1/cmr/m/n/12 des Na-mens-rau-mes \OT1/cmtt/m/n/12 Naturals[
Int1]
 []

[10] [11] [12] [13]
Underfull \vbox (badness 10000) has occurred while \output is active []

 [14]
Underfull \vbox (badness 10000) has occurred while \output is active []

 [15]
Underfull \vbox (badness 10000) has occurred while \output is active []

 [16]
Underfull \vbox (badness 10000) has occurred while \output is active []

 [17]
Overfull \hbox (21.4613pt too wide) in paragraph at lines 1572--1579
[]\OT1/cmr/m/n/12 Ein mo-di-fi-zier-ter Nor-mal-for-mal-go-rith-mus k[]onn-te f
ol-gen-der-ma-^^Yen aus-se-hen: Sei $\OMS/cmsy/m/n/12 f\OML/cmm/m/it/12 M[] \OM
S/cmsy/m/n/12 j \OT1/cmr/m/n/12 1 \OMS/cmsy/m/n/12 ^^T
 []

[18]
LaTeX Font Info:    Try loading font information for OMS+cmtt on input line 165
5.
LaTeX Font Info:    No file OMScmtt.fd. on input line 1655.
LaTeX Font Warning: Font shape `OMS/cmtt/m/n' undefined
(Font)              using `OMS/cmsy/m/n' instead
(Font)              for symbol `textbraceleft' on input line 1655.

Underfull \vbox (badness 5133) has occurred while \output is active []

 [19]
Underfull \vbox (badness 2469) has occurred while \output is active []

 [20]
Overfull \hbox (3.5988pt too wide) in paragraph at lines 1879--1880
[][] 
 []


Underfull \vbox (badness 10000) has occurred while \output is active []

 [21]
Underfull \vbox (badness 10000) has occurred while \output is active []

 [22]
Underfull \vbox (badness 10000) has occurred while \output is active []

 [23]
Overfull \hbox (1.63062pt too wide) in paragraph at lines 1978--1987
[]\OT1/cmr/m/n/12 Die Glei-chung \OT1/cmtt/m/n/12 e1 \OT1/cmr/m/n/12 nimmt de-s
truk-ti-ven Ein-flu^^Y auf die im-por-tier-te Da-ten-struk-tur. W[]urden
 []

[24] [25] [26] [27]
Overfull \hbox (3.3116pt too wide) in paragraph at lines 2195--2262
[] 
 []


Underfull \vbox (badness 10000) has occurred while \output is active []

 [28]
Overfull \hbox (9.88167pt too wide) in paragraph at lines 2300--2305
[]\OT1/cmr/m/n/12 Modulnamen, -k[]urzel, In-stanz-be-zeich-nun-gen, Marken- und
 Sor-ten-na-men (al-so $\OML/cmm/m/it/12 <$\OT1/cmss/m/n/12 module-
 []

[29] [30] [31]
Overfull \hbox (44.5006pt too wide) in paragraph at lines 2480--2483
[][] \OT1/cmr/m/n/12 enth[]alt al-le Na-mens-raum-be-zeich-nun-gen. Syn-tak-tis
ch kann []
 []

[32]
Overfull \hbox (0.12914pt too wide) in paragraph at lines 2493--2497
[][] 
 []

[33]
Overfull \hbox (6.52036pt too wide) in paragraph at lines 2551--2557
[][] \OT1/cmr/m/n/12 := [] $\OMS/cmtt/m/n/12 ^^B$ [] $^^B$ [] $^^B$ []
 []

[34]
Overfull \hbox (38.61238pt too wide) in paragraph at lines 2653--2664
[][] \OT1/cmr/m/n/12 := [] $\OMS/cmtt/m/n/12 ^^B$ [] $^^B$ f[]\OT1/cmr/m/n/12 ,
 [], [], []\OMS/cmtt/m/n/12 g
 []


Overfull \hbox (15.63321pt too wide) in paragraph at lines 2672--2679
\OT1/cmr/m/n/12 wer-den im Nor-mal-for-mal-go-rith-mus von ASF$[]$ in zwei Stu-
fen durch-gef[]uhrt. Zun[]achst
 []

[35]
Overfull \hbox (11.24898pt too wide) in paragraph at lines 2684--2686
[][]\OT1/cmr/m/n/12 : in-ner-halb des Mo-duls ver-deckt und nat[]urlich auch ni
cht ex-portf[]ahig. 
 []

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

 []

LaTeX Font Info:    Try loading font information for OMS+cmss on input line 276
2.
LaTeX Font Info:    No file OMScmss.fd. on input line 2762.
LaTeX Font Warning: Font shape `OMS/cmss/m/n' undefined
(Font)              using `OMS/cmsy/m/n' instead
(Font)              for symbol `textbraceleft' on input line 2762.

Underfull \vbox (badness 10000) has occurred while \output is active []

 [37]
Overfull \hbox (10.84146pt too wide) in paragraph at lines 2778--2786
[]\OT1/cmr/m/n/12 Manipulationen der Sicht-bar-keits-kom-po-nen-te im Wer-te-be
-reich ei-ner Ori-gin-funk-ti-on f[]uhren
 []


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

 []


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

 []


Underfull \vbox (badness 10000) has occurred while \output is active []

 [38]
Underfull \vbox (badness 10000) has occurred while \output is active []

 [39]
Overfull \hbox (3.37561pt too wide) in paragraph at lines 2937--2949
\OT1/cmr/m/n/12 de-fi-nie-ren: $([][]\OML/cmm/m/it/12 ; [][]\OT1/cmr/m/n/12 )$ 
\OT1/cmr/m/it/12 re-fe-ren-ziert bez[]uglich $[][]$ das-sel-be Ob-jekt wie $\OT
1/cmr/m/n/12 ([][]\OML/cmm/m/it/12 ; [][]\OT1/cmr/m/n/12 )$
 []


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

 []

[40]
Underfull \hbox (badness 10000) in paragraph at lines 3017--3019

 []


Underfull \hbox (badness 10000) in paragraph at lines 3024--3026

 []


Underfull \vbox (badness 4621) has occurred while \output is active []

 [41]
Underfull \hbox (badness 10000) in paragraph at lines 3061--3061

 []


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

 []


Underfull \hbox (badness 10000) in paragraph at lines 3115--3115
[]$[]\OT1/cmr/m/n/12 (([]\OML/cmm/m/it/12 ; []; []\OT1/cmr/m/n/12 )\OML/cmm/m/i
t/12 ; \OT1/cmr/m/n/12 ([][]\OML/cmm/m/it/12 ; [][]; [][]\OT1/cmr/m/n/12 ))$
 []


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

 []

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

 []

[43]
Underfull \hbox (badness 10000) in paragraph at lines 3217--3217

 []

[44]
Underfull \hbox (badness 10000) in paragraph at lines 3272--3272

 []


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

 []

[45]
Underfull \hbox (badness 10000) in paragraph at lines 3344--3344

 []


Underfull \hbox (badness 1048) in paragraph at lines 3357--3360
[]$[][]$ \OT1/cmss/m/n/12 wird aus $[]$ durch syn-tak-ti-sches Er-set-zen al-le
r Si-gna-tur-na-men $[]$ durch
 []

[46]
Underfull \hbox (badness 10000) in paragraph at lines 3403--3403

 []


Underfull \hbox (badness 10000) in paragraph at lines 3406--3412
[]\OT1/cmss/m/n/12 Seien
 []


Overfull \hbox (2.90103pt too wide) in paragraph at lines 3406--3412
[] 
 []


Underfull \hbox (badness 10000) in paragraph at lines 3461--3461
[]$[]\OT1/cmr/m/n/12 (([][]\OML/cmm/m/it/12 ; [][]; [][]\OT1/cmr/m/n/12 )\OML/c
mm/m/it/12 ; []; [][];$
 []


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

 []

[47]
Overfull \hbox (3.03174pt too wide) in paragraph at lines 3475--3486
[]\OMS/cmss/m/n/12 f \OT1/cmr/m/n/12 ([]\OML/cmm/m/it/12 ; []\OT1/cmr/m/n/12 ) 
\OMS/cmss/m/n/12 j []$ 
 []

[48]
Underfull \hbox (badness 10000) in paragraph at lines 3559--3559
[]$[]\OT1/cmr/m/n/12 ([]\OML/cmm/m/it/12 ; [][]; [][]; [][]; []\OT1/cmr/m/n/12 
)$
 []


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

 []


Underfull \hbox (badness 10000) in paragraph at lines 3564--3566
[]\OT1/cmss/m/n/12 Setze
 []


Underfull \hbox (badness 4779) in paragraph at lines 3582--3587
[][] \OT1/cmss/m/n/12 sub-sti-tu-iert Konstruktor-Variablen mit Konstruktor-Var
iablen und Non-
 []


Underfull \vbox (badness 10000) has occurred while \output is active []

 [49]
Underfull \hbox (badness 10000) in paragraph at lines 3615--3615

 []


Underfull \vbox (badness 8094) has occurred while \output is active []

 [50]
Underfull \hbox (badness 10000) in paragraph at lines 3695--3695

 []


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

 []

[51]
Underfull \hbox (badness 10000) in paragraph at lines 3730--3730

 []


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

 []

[52]
Underfull \hbox (badness 10000) in paragraph at lines 3841--3841

 []

[53] [54]
Underfull \vbox (badness 10000) has occurred while \output is active []

 [55]
[56] [57] [58] (./all.aux)
LaTeX Font Warning: Some font shapes were not available, defaults substituted.
 ) ) 
Here is how much of TeX's memory you used:
 1071 strings out of 94501
 12071 string characters out of 1176137
 69193 words of memory out of 1500000
 4233 multiletter control sequences out of 10000+50000
 29269 words of font info for 107 fonts, out of 1200000 for 2000
 582 hyphenation exceptions out of 8191
 25i,16n,23p,278b,425s stack positions out of 5000i,500n,6000p,200000b,5000s

Output written on all.dvi (62 pages, 215912 bytes).