\relax 
\citation{FriedMeno01}
\citation{hrdy01}
\citation{jozw02}
\citation{jozw03}
\citation{jozwchoj01}
\citation{JozwSlus01}
\citation{slus01}
\citation{pop01}
\citation{stud01}
\@writefile{toc}{\contentsline {chapter}{\numberline {2}Teoretick\'a \v c\'ast}{3}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{teorie}{{2}{3}}
\@writefile{toc}{\contentsline {section}{\numberline {2.1}Kone\v cn\'y automat}{3}}
\newlabel{def1}{{2.1.1}{3}}
\newlabel{def2}{{2.1.2}{3}}
\newlabel{def3}{{2.1.3}{3}}
\newlabel{ex1}{{2.1.1}{3}}
\@writefile{lot}{\contentsline {table}{\numberline {2.1}{\ignorespaces FSM typu Moore}}{4}}
\newlabel{tab1}{{2.1}{4}}
\@writefile{lot}{\contentsline {table}{\numberline {2.2}{\ignorespaces FSM typu Mealy}}{4}}
\newlabel{tab2}{{2.2}{4}}
\@writefile{lot}{\contentsline {table}{\numberline {2.3}{\ignorespaces P\v r\IeC {\'\i }klad tabulky p\v rechod\r u}}{4}}
\newlabel{tab3}{{2.3}{4}}
\newlabel{def4}{{2.1.4}{4}}
\newlabel{nonDetFSMDef}{{2.1.5}{4}}
\newlabel{ex2}{{2.1.2}{5}}
\@writefile{lot}{\contentsline {table}{\numberline {2.4}{\ignorespaces Ne\'upln\v e zadan\'y FSM}}{5}}
\newlabel{tab4}{{2.4}{5}}
\@writefile{toc}{\contentsline {section}{\numberline {2.2}Teorie rozklad\r u}{5}}
\newlabel{partDef}{{2.2.1}{5}}
\newlabel{ex3}{{2.2.1}{5}}
\newlabel{def6}{{2.2.2}{5}}
\newlabel{ex4}{{2.2.2}{6}}
\newlabel{def7}{{2.2.3}{6}}
\newlabel{ex5}{{2.2.3}{6}}
\newlabel{def8}{{2.2.4}{6}}
\newlabel{ex6}{{2.2.4}{6}}
\newlabel{def9}{{2.2.5}{6}}
\newlabel{ex7}{{2.2.5}{6}}
\newlabel{zeroPartDef}{{2.2.6}{6}}
\newlabel{zeroPartEx}{{2.2.6}{6}}
\newlabel{onePartDef}{{2.2.7}{6}}
\newlabel{onePartEx}{{2.2.7}{6}}
\newlabel{indPartDef}{{2.2.8}{6}}
\newlabel{indPartEx}{{2.2.8}{7}}
\newlabel{CDef}{{2.2.9}{7}}
\newlabel{CEx}{{2.2.9}{7}}
\newlabel{rightSysDef}{{2.2.10}{7}}
\newlabel{partPairDef}{{2.2.11}{7}}
\newlabel{partPairEx}{{2.2.10}{7}}
\newlabel{substFeatDef}{{2.2.12}{7}}
\newlabel{substFeatEx}{{2.2.11}{7}}
\newlabel{mDef}{{2.2.13}{7}}
\@writefile{lot}{\contentsline {table}{\numberline {2.5}{\ignorespaces FSM k p\v r\IeC {\'\i }kladu rozkladov\'eho p\'aru a substitu\v cn\IeC {\'\i } vlastnosti}}{8}}
\newlabel{PaSVtab}{{2.5}{8}}
\newlabel{SVsearchDef}{{2.2.14}{8}}
\@writefile{toc}{\contentsline {section}{\numberline {2.3}Informa\v cn\IeC {\'\i } apar\'at}{8}}
\newlabel{elemInfDef}{{2.3.1}{8}}
\newlabel{elemInfEx}{{2.3.1}{8}}
\citation{jozw02}
\citation{jozw03}
\newlabel{infSetDef}{{2.3.2}{9}}
\@writefile{lot}{\contentsline {table}{\numberline {2.6}{\ignorespaces FSM k p\v r\IeC {\'\i }kladu informace a informa\v cn\IeC {\'\i } sady}}{9}}
\newlabel{inftab}{{2.6}{9}}
\newlabel{infSetEx}{{2.3.2}{9}}
\citation{jozwchoj01}
\@setckpt{teorie}{
\setcounter{page}{11}
\setcounter{equation}{0}
\setcounter{enumi}{0}
\setcounter{enumii}{0}
\setcounter{enumiii}{0}
\setcounter{enumiv}{0}
\setcounter{footnote}{0}
\setcounter{mpfootnote}{0}
\setcounter{part}{0}
\setcounter{chapter}{2}
\setcounter{section}{3}
\setcounter{subsection}{0}
\setcounter{subsubsection}{0}
\setcounter{paragraph}{0}
\setcounter{subparagraph}{0}
\setcounter{enumx}{0}
\setcounter{figure}{0}
\setcounter{table}{6}
\setcounter{lemma}{0}
\setcounter{note}{0}
\setcounter{definition}{2}
\setcounter{example}{2}
\setcounter{corollary}{0}
\setcounter{theorem}{0}
\setcounter{proposition}{0}
}
