\relax 
\@writefile{toc}{\contentsline {chapter}{\numberline {3}Dekompozice sekven\v cn\IeC {\'\i }ho automatu}{11}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{dekompozice}{{3}{11}}
\@writefile{toc}{\contentsline {section}{\numberline {3.1}Dekompozice logick\'e funkce}{11}}
\@writefile{lof}{\contentsline {figure}{\numberline {3.1}{\ignorespaces Princip dekompozice logick\'e funkce}}{11}}
\newlabel{fDecPic}{{3.1}{11}}
\@writefile{toc}{\contentsline {section}{\numberline {3.2}Dekompozice sekven\v cn\IeC {\'\i }ho obvodu}{12}}
\newlabel{subFSMef}{{3.2.1}{12}}
\newlabel{origFSMDef}{{3.2.2}{12}}
\newlabel{decFSMDef}{{3.2.3}{12}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2.1}Stavov\'a a \'upln\'a dekompozice}{12}}
\citation{pop01}
\@writefile{lof}{\contentsline {figure}{\numberline {3.2}{\ignorespaces \'Upln\'a obecn\'a dekompozice}}{13}}
\newlabel{genDecPic}{{3.2}{13}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2.2}Postupn\'a a sou\v casn\'a dekompozice}{13}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2.3}Symbolick\'a a bitov\'a dekompozice}{13}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2.4}Dekompozice se spole\v cnou a odd\v elenou v\'ystupn\IeC {\'\i } a p\v rechodovou funkc\IeC {\'\i }}{13}}
\@writefile{lof}{\contentsline {figure}{\numberline {3.3}{\ignorespaces Obecn\'a dekompozice s odd\v elenou realizac\IeC {\'\i } p\v rechodov\'e a v\'ystupn\IeC {\'\i } funkce}}{14}}
\newlabel{genSepDecPic}{{3.3}{14}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2.5}Struktura dekomponovan\'eho automatu}{14}}
\@writefile{toc}{\contentsline {paragraph}{Vstupn\IeC {\'\i } blok $\Psi $:}{14}}
\@writefile{toc}{\contentsline {paragraph}{Podautomaty $M_1, \dots  , M_n$:}{14}}
\@writefile{toc}{\contentsline {paragraph}{Propojovac\IeC {\'\i } \v cleny $con_1, \dots  ,con_n$:}{15}}
\@writefile{toc}{\contentsline {paragraph}{V\'ystupn\IeC {\'\i } blok $\Theta $:}{15}}
\@writefile{lof}{\contentsline {figure}{\numberline {3.4}{\ignorespaces Struktura \'upln\'e obecn\'e dekompozice s \emph  {n} podautomaty}}{15}}
\newlabel{strDecPic}{{3.4}{15}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2.6}Uspo\v r\'ad\'an\IeC {\'\i } podautomat\r u}{15}}
\@writefile{lof}{\contentsline {figure}{\numberline {3.5}{\ignorespaces Paraleln\IeC {\'\i } dekompozice}}{16}}
\newlabel{parDecPic}{{3.5}{16}}
\@writefile{lof}{\contentsline {figure}{\numberline {3.6}{\ignorespaces S\'eriov\'a dekompozice}}{16}}
\newlabel{serDecPic}{{3.6}{16}}
\citation{FriedMeno01}
\citation{jozw02}
\citation{jozw03}
\citation{jozw04}
\@writefile{toc}{\contentsline {section}{\numberline {3.3}Dekompozice \'upln\v e zadan\'eho kone\v cn\'eho automatu}{17}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.1}Teorie}{17}}
\newlabel{inPartDef}{{3.3.1}{17}}
\newlabel{statePartDef}{{3.3.2}{17}}
\newlabel{outputPartDef}{{3.3.3}{17}}
\newlabel{primOutPartDef}{{3.3.4}{18}}
\newlabel{BlockTransDef}{{3.3.5}{18}}
\newlabel{BlockOutDef}{{3.3.6}{18}}
\newlabel{blockTransOutEx}{{3.3.1}{18}}
\@writefile{lot}{\contentsline {table}{\numberline {3.1}{\ignorespaces \'Upln\v e zadan\'y FSM}}{18}}
\newlabel{compSpecFSM}{{3.1}{18}}
\newlabel{ssPairDef}{{3.3.7}{18}}
\newlabel{isPairDef}{{3.3.8}{18}}
\newlabel{sisPairDef}{{3.3.9}{19}}
\newlabel{sioPairDef}{{3.3.10}{19}}
\newlabel{partPairsEx}{{3.3.2}{19}}
\newlabel{partTrinDef}{{3.3.11}{19}}
\newlabel{genDecTermsDef}{{3.3.12}{19}}
\newlabel{parDecTermsDef}{{3.3.13}{20}}
\newlabel{serDecTermsDef}{{3.3.14}{20}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.2}P\v r\IeC {\'\i }klad dekompozice \'upln\v e zadan\'eho automatu}{20}}
\@writefile{lot}{\contentsline {table}{\numberline {3.2}{\ignorespaces \'Upln\v e zadan\'y FSM - p\v r\IeC {\'\i }klad dekompozice}}{21}}
\newlabel{compSpecFSMDec}{{3.2}{21}}
\@writefile{lot}{\contentsline {table}{\numberline {3.3}{\ignorespaces logick\'a funkce vstupn\IeC {\'\i }ho bloku}}{22}}
\newlabel{logFuncInpBl}{{3.3}{22}}
\@writefile{lot}{\contentsline {table}{\numberline {3.4}{\ignorespaces tabulka p\v rechod\r u podautomatu $M_1$}}{22}}
\newlabel{subAutM1Tab}{{3.4}{22}}
\@writefile{lot}{\contentsline {table}{\numberline {3.5}{\ignorespaces tabulka p\v rechod\r u podautomatu $M_2$}}{23}}
\newlabel{subAutM2Tab}{{3.5}{23}}
\@writefile{lot}{\contentsline {table}{\numberline {3.6}{\ignorespaces logick\'a funkce propojovac\IeC {\'\i }ho \v clenu $con_2$}}{23}}
\newlabel{logFuncCon}{{3.6}{23}}
\@writefile{toc}{\contentsline {section}{\numberline {3.4}Dekompozice ne\'upln\v e zadan\'eho automatu}{23}}
\citation{JozwSlus01}
\@writefile{lot}{\contentsline {table}{\numberline {3.7}{\ignorespaces logick\'a funkce v\'ystupn\IeC {\'\i }ho bloku}}{24}}
\newlabel{logFuncOutpBl}{{3.7}{24}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.4.1}Teorie}{24}}
\newlabel{UOpDef}{{3.4.1}{24}}
\newlabel{UEx}{{3.4.1}{24}}
\newlabel{AOpDef}{{3.4.2}{24}}
\newlabel{AEx}{{3.4.2}{25}}
\newlabel{SysTrFuncDef}{{3.4.3}{25}}
\@writefile{lot}{\contentsline {table}{\numberline {3.8}{\ignorespaces Ne\'upln\v e zadan\'y FSM}}{25}}
\newlabel{incSpecFSMTab2}{{3.8}{25}}
\newlabel{SysTrFuncEx}{{3.4.3}{25}}
\newlabel{SysPairSSDef}{{3.4.4}{25}}
\newlabel{SysPairSSEx}{{3.4.4}{26}}
\newlabel{SynchSetSSDef}{{3.4.5}{26}}
\newlabel{incBlOutFuncDef}{{3.4.6}{26}}
\newlabel{incSysOutFuncDef}{{3.4.7}{26}}
\newlabel{incSysOutFuncEx}{{3.4.5}{26}}
\newlabel{SysPairSODef}{{3.4.8}{27}}
\newlabel{SysPairSOEx}{{3.4.6}{27}}
\newlabel{SysSpecDef}{{3.4.9}{27}}
\newlabel{MultStateDef}{{3.4.10}{27}}
\newlabel{MultStateEx}{{3.4.7}{27}}
\@writefile{lot}{\contentsline {table}{\numberline {3.9}{\ignorespaces V\IeC {\'\i }cestavov\'a realizace ne\'upln\v e zadan\'eho FSM}}{28}}
\newlabel{multStateFSMTab}{{3.9}{28}}
\newlabel{LabSysTransDef}{{3.4.11}{28}}
\newlabel{LabSysPutDef}{{3.4.12}{28}}
\newlabel{SysPairSISlDef}{{3.4.13}{28}}
\newlabel{SysPairSIlODef}{{3.4.14}{28}}
\newlabel{SysPairSSlDef}{{3.4.15}{28}}
\newlabel{genIncDecTermsDef}{{3.4.16}{28}}
\citation{JozwSlus01}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.4.2}P\v r\IeC {\'\i }klad dekompozice ne\'upln\v e zadan\'eho automatu}{29}}
\newlabel{incDecExSec}{{3.4.2}{29}}
\@writefile{lot}{\contentsline {table}{\numberline {3.10}{\ignorespaces Ne\'upln\v e zadan\'y FSM - p\v r\IeC {\'\i }klad dekompozice}}{29}}
\newlabel{incompSpecFSMDec}{{3.10}{29}}
\@writefile{lot}{\contentsline {table}{\numberline {3.11}{\ignorespaces Mapov\'an\IeC {\'\i } \v r\'adk\r u na symboly}}{30}}
\newlabel{symMapDec}{{3.11}{30}}
\@writefile{lof}{\contentsline {figure}{\numberline {3.7}{\ignorespaces Struktura dekomponovan\'eho FSM s v\IeC {\'\i }cestavovou realizac\IeC {\'\i }}}{31}}
\newlabel{incMulPic}{{3.7}{31}}
\@setckpt{dekompozice}{
\setcounter{page}{32}
\setcounter{equation}{0}
\setcounter{enumi}{5}
\setcounter{enumii}{0}
\setcounter{enumiii}{0}
\setcounter{enumiv}{0}
\setcounter{footnote}{0}
\setcounter{mpfootnote}{0}
\setcounter{part}{0}
\setcounter{chapter}{3}
\setcounter{section}{4}
\setcounter{subsection}{2}
\setcounter{subsubsection}{0}
\setcounter{paragraph}{0}
\setcounter{subparagraph}{0}
\setcounter{enumx}{0}
\setcounter{figure}{7}
\setcounter{table}{11}
\setcounter{lemma}{0}
\setcounter{note}{0}
\setcounter{definition}{16}
\setcounter{example}{7}
\setcounter{corollary}{0}
\setcounter{theorem}{0}
\setcounter{proposition}{0}
}
