This is pdfTeXk, Version 3.141592-1.40.3 (Web2C 7.5.6) (format=latex 2012.1.9)  9 JAN 2012 10:51
entering extended mode
 Source specials enabled.
 %&-line parsing enabled.
**doc.tex
(./doc.tex
LaTeX2e <2005/12/01>
Babel <v3.8h> and hyphenation patterns for english, usenglishmax, dumylang, noh
yphenation, bulgarian, coptic, welsh, czech, slovak, german, ngerman, esperanto
, estonian, interlingua, indonesian, icelandic, latin, pinyin, romanian, russia
n, slovenian, uppersorbian, serbian, turkish, ukenglish, ukrainian, loaded.
(c:/TeXLive2007/texmf-dist/tex/latex/base/article.cls
Document Class: article 2005/09/16 v1.4f Standard LaTeX document class
(c:/TeXLive2007/texmf-dist/tex/latex/base/size12.clo
File: size12.clo 2005/09/16 v1.4f Standard LaTeX file (size option)
)
\c@part=\count79
\c@section=\count80
\c@subsection=\count81
\c@subsubsection=\count82
\c@paragraph=\count83
\c@subparagraph=\count84
\c@figure=\count85
\c@table=\count86
\abovecaptionskip=\skip41
\belowcaptionskip=\skip42
\bibindent=\dimen102
)
(c:/TeXLive2007/texmf-dist/tex/csplain/base/czech.sty
(c:/TeXLive2007/texmf-dist/tex/generic/babel/czech.ldf
Language: czech 2005/03/29 v1.3k Czech support from the babel system

(c:/TeXLive2007/texmf-dist/tex/generic/babel/babel.def
File: babel.def 2005/11/23 v3.8h Babel common definitions
\babel@savecnt=\count87
\U@D=\dimen103
)))
(c:/TeXLive2007/texmf-dist/tex/latex/base/inputenc.sty
Package: inputenc 2006/05/05 v1.1b Input encoding file
\inpenc@prehook=\toks14
\inpenc@posthook=\toks15

(c:/TeXLive2007/texmf-dist/tex/latex/base/cp1250.def
File: cp1250.def 2006/05/05 v1.1b Input encoding file
))
(c:/TeXLive2007/texmf-dist/tex/latex/tools/enumerate.sty
Package: enumerate 1999/03/05 v3.00 enumerate extensions (DPC)
\@enLab=\toks16
) (./updiplom.sty
Package: updiplom 2001/06/22 UP Diploma Style

(c:/TeXLive2007/texmf-dist/tex/latex/amsmath/amsmath.sty
Package: amsmath 2000/07/18 v2.13 AMS math features
\@mathmargin=\skip43

For additional information on amsmath, use the `?' option.
(c:/TeXLive2007/texmf-dist/tex/latex/amsmath/amstext.sty
Package: amstext 2000/06/29 v2.01

(c:/TeXLive2007/texmf-dist/tex/latex/amsmath/amsgen.sty
File: amsgen.sty 1999/11/30 v2.0
\@emptytoks=\toks17
\ex@=\dimen104
))
(c:/TeXLive2007/texmf-dist/tex/latex/amsmath/amsbsy.sty
Package: amsbsy 1999/11/29 v1.2d
\pmbraise@=\dimen105
)
(c:/TeXLive2007/texmf-dist/tex/latex/amsmath/amsopn.sty
Package: amsopn 1999/12/14 v2.01 operator names
)
\inf@bad=\count88
LaTeX Info: Redefining \frac on input line 211.
\uproot@=\count89
\leftroot@=\count90
LaTeX Info: Redefining \overline on input line 307.
\classnum@=\count91
\DOTSCASE@=\count92
LaTeX Info: Redefining \ldots on input line 379.
LaTeX Info: Redefining \dots on input line 382.
LaTeX Info: Redefining \cdots on input line 467.
\Mathstrutbox@=\box26
\strutbox@=\box27
\big@size=\dimen106
LaTeX Font Info:    Redeclaring font encoding OML on input line 567.
LaTeX Font Info:    Redeclaring font encoding OMS on input line 568.
\macc@depth=\count93
\c@MaxMatrixCols=\count94
\dotsspace@=\muskip10
\c@parentequation=\count95
\dspbrk@lvl=\count96
\tag@help=\toks18
\row@=\count97
\column@=\count98
\maxfields@=\count99
\andhelp@=\toks19
\eqnshift@=\dimen107
\alignsep@=\dimen108
\tagshift@=\dimen109
\tagwidth@=\dimen110
\totwidth@=\dimen111
\lineht@=\dimen112
\@envbody=\toks20
\multlinegap=\skip44
\multlinetaggap=\skip45
\mathdisplay@stack=\toks21
LaTeX Info: Redefining \[ on input line 2666.
LaTeX Info: Redefining \] on input line 2667.
)
(c:/TeXLive2007/texmf-dist/tex/latex/amsfonts/amssymb.sty
Package: amssymb 2002/01/22 v2.2d

(c:/TeXLive2007/texmf-dist/tex/latex/amsfonts/amsfonts.sty
Package: amsfonts 2001/10/25 v2.2f
\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.
))
(c:/TeXLive2007/texmf-dist/tex/latex/amscls/amsthm.sty
Package: amsthm 2004/08/06 v2.20
\thm@style=\toks22
\thm@bodyfont=\toks23
\thm@headfont=\toks24
\thm@notefont=\toks25
\thm@headpunct=\toks26
\thm@preskip=\skip46
\thm@postskip=\skip47
\thm@headsep=\skip48
\dth@everypar=\toks27
)
(c:/TeXLive2007/texmf-dist/tex/latex/amsfonts/euscript.sty
Package: euscript 2001/10/01 v2.2d Euler Script fonts
LaTeX Font Info:    Overwriting math alphabet `\EuScript' in version `bold'
(Font)                  U/eus/m/n --> U/eus/b/n on input line 55.
)
(c:/TeXLive2007/texmf-dist/tex/latex/ntgclass/a4.sty
Package: a4 2004/04/15 v1.2g A4 based page layout
)
(c:/TeXLive2007/texmf-dist/tex/latex/booktabs/booktabs.sty
Package: booktabs 2005/03/16 v1.6180 publication quality tables
\heavyrulewidth=\dimen113
\lightrulewidth=\dimen114
\cmidrulewidth=\dimen115
\belowrulesep=\dimen116
\belowbottomsep=\dimen117
\aboverulesep=\dimen118
\abovetopsep=\dimen119
\cmidrulesep=\dimen120
\cmidrulekern=\dimen121
\defaultaddspace=\dimen122
\@cmidla=\count100
\@cmidlb=\count101
\@aboverulesep=\dimen123
\@belowrulesep=\dimen124
\@thisruleclass=\count102
\@lastruleclass=\count103
\@thisrulewidth=\dimen125
)
(c:/TeXLive2007/texmf-dist/tex/latex/base/makeidx.sty
Package: makeidx 2000/03/29 v1.0m Standard LaTeX package
)
(c:/TeXLive2007/texmf-dist/tex/latex/tools/multicol.sty
Package: multicol 2006/05/18 v1.6g multicolumn formatting (FMi)
\c@tracingmulticols=\count104
\mult@box=\box28
\multicol@leftmargin=\dimen126
\c@unbalance=\count105
\c@collectmore=\count106
\doublecol@number=\count107
\multicoltolerance=\count108
\multicolpretolerance=\count109
\full@width=\dimen127
\page@free=\dimen128
\premulticols=\dimen129
\postmulticols=\dimen130
\multicolsep=\skip49
\multicolbaselineskip=\skip50
\partial@page=\box29
\last@line=\box30
\mult@rightbox=\box31
\mult@grightbox=\box32
\mult@gfirstbox=\box33
\mult@firstbox=\box34
\@tempa=\box35
\@tempa=\box36
\@tempa=\box37
\@tempa=\box38
\@tempa=\box39
\@tempa=\box40
\@tempa=\box41
\@tempa=\box42
\@tempa=\box43
\@tempa=\box44
\@tempa=\box45
\@tempa=\box46
\@tempa=\box47
\@tempa=\box48
\@tempa=\box49
\@tempa=\box50
\@tempa=\box51
\c@columnbadness=\count110
\c@finalcolumnbadness=\count111
\last@try=\dimen131
\multicolovershoot=\dimen132
\multicolundershoot=\dimen133
\mult@nat@firstbox=\box52
\colbreak@box=\box53
)
(c:/TeXLive2007/texmf-dist/tex/latex/graphics/epsfig.sty
Package: epsfig 1999/02/16 v1.7a (e)psfig emulation (SPQR)

(c:/TeXLive2007/texmf-dist/tex/latex/graphics/graphicx.sty
Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR)

(c:/TeXLive2007/texmf-dist/tex/latex/graphics/keyval.sty
Package: keyval 1999/03/16 v1.13 key=value parser (DPC)
\KV@toks@=\toks28
)
(c:/TeXLive2007/texmf-dist/tex/latex/graphics/graphics.sty
Package: graphics 2006/02/20 v1.0o Standard LaTeX Graphics (DPC,SPQR)

(c:/TeXLive2007/texmf-dist/tex/latex/graphics/trig.sty
Package: trig 1999/03/16 v1.09 sin cos tan (DPC)
)
(c:/TeXLive2007/texmf/tex/latex/config/graphics.cfg
File: graphics.cfg 2007/01/18 v1.5 graphics configuration of teTeX/TeXLive
)
Package graphics Info: Driver file: dvips.def on input line 90.

(c:/TeXLive2007/texmf-dist/tex/latex/graphics/dvips.def
File: dvips.def 1999/02/16 v3.0i Driver-dependant file (DPC,SPQR)
))
\Gin@req@height=\dimen134
\Gin@req@width=\dimen135
)
\epsfxsize=\dimen136
\epsfysize=\dimen137
)
(c:/TeXLive2007/texmf-dist/tex/latex/mflogo/mflogo.sty
Package: mflogo 1999/03/10 v2.0 LaTeX package for Metafont and MetaPost logos
)) (./doc.aux)
\openout1 = `doc.aux'.

LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 49.
LaTeX Font Info:    ... okay on input line 49.
LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 49.
LaTeX Font Info:    ... okay on input line 49.
LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 49.
LaTeX Font Info:    ... okay on input line 49.
LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 49.
LaTeX Font Info:    ... okay on input line 49.
LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 49.
LaTeX Font Info:    ... okay on input line 49.
LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 49.
LaTeX Font Info:    ... okay on input line 49.
File: uplogo.eps Graphic file (type eps)

<uplogo.eps> [1

] [2] [3] (./doc.toc
LaTeX Font Info:    Try loading font information for U+msa on input line 3.

(c:/TeXLive2007/texmf-dist/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.

(c:/TeXLive2007/texmf-dist/tex/latex/amsfonts/umsb.fd
File: umsb.fd 2002/01/19 v2.2g AMS font definitions
) [4])
\tf@toc=\write3
\openout3 = `doc.toc'.

 [5] (./doc.lof)
\tf@lof=\write4
\openout4 = `doc.lof'.


[6] [7]
Underfull \hbox (badness 10000) in paragraph at lines 61--86

 []


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

 []


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

 []


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

 []


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

 []


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

 []

LaTeX Font Info:    Try loading font information for OMS+cmr on input line 93.
(c:/TeXLive2007/texmf-dist/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 93.
 [8] [9]
Underfull \hbox (badness 10000) in paragraph at lines 133--136
[]\OT1/cmr/bx/n/12 Definice 2.6 \OT1/cmr/m/n/12 Kone^^Tcn^^Sy au-to-mat de-fi-n
u-jeme jako uspo^^Tr^^Sadanou p^^Tetici
 []

[10]
Underfull \hbox (badness 2512) in paragraph at lines 174--175
[][]\OT1/cmr/m/n/12 Jazyk roz-po-zna-teln^^Sy kone^^Tcn^^Sym au-to-ma-tem je ja
-zy-kem typu 3 viz
 []

[11]
File: ./obr/form7.eps Graphic file (type eps)
 <./obr/form7.eps> [12] [13]
Underfull \hbox (badness 1194) in paragraph at lines 233--235
[][]\OT1/cmr/m/n/12 Pro odin-sta-lov^^San^^S^^P pro-gramu z po^^Tc^^S^^Pta^^Tce
 po-stu-pu-jeme op^^Tet stan-dardn^^S^^Pm
 []


Underfull \hbox (badness 10000) in paragraph at lines 233--235
\OT1/cmr/m/n/12 zp^^Wusobem. Vol-bou \OT1/cmtt/m/n/12 Start->Ovl^^Sadac^^S^^P p
anely->P^^Tridat nebo odebrat
 []

File: ./obr/form1.eps Graphic file (type eps)
<./obr/form1.eps> [14] [15]
File: ./obr/form4.eps Graphic file (type eps)
 <./obr/form4.eps>
File: ./obr/form3.eps Graphic file (type eps)
 <./obr/form3.eps>
File: ./obr/form2.eps Graphic file (type eps)

<./obr/form2.eps>
Underfull \hbox (badness 1755) in paragraph at lines 269--292
[][]\OT1/cmr/m/n/12 Kone^^Tcn^^Sy au-to-mat je zn^^Sazorn^^Ten po-moc^^S^^P sta
-vov^^Seho di-a-gramu, kter^^Sy je
 []

[16] [17]
File: ./obr/form6.eps Graphic file (type eps)
 <./obr/form6.eps>
Underfull \hbox (badness 1147) in paragraph at lines 302--303
\OT1/cmr/m/n/12 pra-vi-dlu pou^^Tzit^^Semu p^^Tri ^^Tcten^^S^^P aktu^^Saln^^S^^
Pho znaku vstupn^^S^^Pho slova. Sou^^Tcasn^^Te
 []

File: ./obr/form8.eps Graphic file (type eps)
<./obr/form8.eps> [18] [19]
Underfull \hbox (badness 2529) in paragraph at lines 349--351
[][][]\OT1/cmtt/m/n/12 public void AddTransNfa(state from,state to, []input @in
) \OT1/cmr/m/n/12 -
 []

[20]
Underfull \hbox (badness 2608) in paragraph at lines 368--370
[][]\OT1/cmr/m/n/12 P^^Trechod au-to-matu je re-pre-zen-tov^^San struk-tu-rou \
OT1/cmtt/m/n/12 Hrany \OT1/cmr/m/n/12 ob-sa-huj^^S^^Pc^^S^^P dva
 []


Underfull \hbox (badness 10000) in paragraph at lines 373--375
[][][]\OT1/cmtt/m/n/12 public Hrany(Stavy startStav, Stavy finalStav,
 []


Underfull \hbox (badness 1360) in paragraph at lines 390--391
[][][]\OT1/cmtt/m/n/12 protected override void OnPaint(PaintEventArgs e) \OT1/c
mr/m/n/12 - Za-jist^^S^^P
 []

[21]
Underfull \hbox (badness 10000) in paragraph at lines 392--393
[][][]\OT1/cmtt/m/n/12 public NFA VytvorDfaAutomat(DFA automat, Tabule tab) \OT
1/cmr/m/n/12 -
 []


Underfull \hbox (badness 10000) in paragraph at lines 400--401
[][][]\OT1/cmtt/m/n/12 private XmlDocument GrammarToXml(Grammar gramatika) \OT1
/cmr/m/n/12 -
 []


Underfull \hbox (badness 10000) in paragraph at lines 401--403
[][][]\OT1/cmtt/m/n/12 public bool SaveGrammar(Grammar gramatika,
 []


Underfull \hbox (badness 10000) in paragraph at lines 403--404
[][][]\OT1/cmtt/m/n/12 public bool SaveAutomat(NFA automat, string fileName) \O
T1/cmr/m/n/12 -
 []


Underfull \hbox (badness 10000) in paragraph at lines 417--419
[][][]\OT1/cmtt/m/n/12 private void btnPridatPravidlo_Click(object sender,
 []


Underfull \hbox (badness 4217) in paragraph at lines 417--419
[]\OT1/cmtt/m/n/12 EventArgs e) \OT1/cmr/m/n/12 - P^^Trid^^San^^S^^P pra-vi-dla
 v^^Tcetn^^Te kon-t-roly zad^^Savan^^Sych
 []

[22]
Underfull \hbox (badness 10000) in paragraph at lines 422--424
[][][]\OT1/cmtt/m/n/12 private List<string> PrintDerivaceSlova(string slovo,
 []


Underfull \hbox (badness 1389) in paragraph at lines 427--428
[][]\OT1/cmr/m/n/12 T^^Tr^^S^^Pda re-pre-zen-tuje v apli-kaci gra-ma-tiku. Prom
^^Tenn^^Se t^^Seto t^^Tr^^S^^Pdy gra-ma-
 []


Overfull \hbox (1.43579pt too wide) in paragraph at lines 431--433
[][][]\OT1/cmtt/m/n/12 public Grammar(List<char> terminal, List<char> netermina
l,
 []


Underfull \hbox (badness 10000) in paragraph at lines 442--444
[][][]\OT1/cmtt/m/n/12 static Set<state> EpsilonPrechod(NFA nfa,
 []


Underfull \hbox (badness 2478) in paragraph at lines 442--444
[]\OT1/cmtt/m/n/12 Set<state> states) \OT1/cmr/m/n/12 - Vy-tvo^^Tr^^S^^P mno^^T
zinu stav^^Wu dosa^^Tziteln^^Sych z
 []

[23] [24] [25] [26] (./doc.aux) ) 
Here is how much of TeX's memory you used:
 2141 strings out of 94421
 25471 string characters out of 1172104
 85569 words of memory out of 1500000
 5329 multiletter control sequences out of 10000+50000
 10934 words of font info for 41 fonts, out of 1200000 for 2000
 454 hyphenation exceptions out of 8191
 39i,8n,26p,1304b,239s stack positions out of 5000i,500n,6000p,200000b,5000s

Output written on doc.dvi (26 pages, 99944 bytes).
