Platon Technologies
not logged in Login Registration
EnglishSlovak
open source software development celebrating 10 years of open source development! Friday, October 16, 2026
[BACK] [TXT][DIR] Up to [Platon] / doc / ztp-zbierka

Diff for doc/ztp-zbierka/02-programove-schemy.tex between version 1.2 and 1.3

version 1.2, 2003/11/07 17:33:19 version 1.3, 2004/03/15 10:24:47
Line 10 
Line 10 
 % 26/02/2003 - created  % 26/02/2003 - created
 %  %
   
 % $Platon: doc/ztp-zbierka/02-programove-schemy.tex,v 1.1 2003/07/18 17:07:11 nepto Exp $  % $Platon: doc/ztp-zbierka/02-programove-schemy.tex,v 1.2 2003/11/07 17:33:19 nepto Exp $
   
 \chapter{Programové schémy}  \chapter{Programové schémy}
   
Line 1099  trieda~$\sqsubseteq$ a efektívne preloži
Line 1099  trieda~$\sqsubseteq$ a efektívne preloži
 ~--~ porovnanie tried štandardných a dosiahnuteľných schém}  ~--~ porovnanie tried štandardných a dosiahnuteľných schém}
   
 \begin{itemize} % /*  \begin{itemize} % /*
         \item[$\mathcal{S} \notsubseteq \mathcal{D}$] Existuje štandartná schém,          \item[$\mathcal{S} \notsubseteq \mathcal{D}$] Existuje štandardná schém,
                 ktorá nie je dosiahnuteľná. Kontrapríkladom je schéma obsahujúca jeden                  ktorá nie je dosiahnuteľná. Kontrapríkladom je schéma obsahujúca jeden
                 alebo viac komponetov nesúvislosti (tzv. ostrovčeky).                  alebo viac komponetov nesúvislosti (tzv. ostrovčeky).
         \item[$\mathcal{S} \sqsubseteq \mathcal{D}$] Odstránením komponentov          \item[$\mathcal{S} \sqsubseteq \mathcal{D}$] Odstránením komponentov
                 nesúvislosti zo~štandartnej schémy sa stane schéma dosiahnuteľnou.                  nesúvislosti zo~štandardnej schémy sa stane schéma dosiahnuteľnou.
         \item[$\mathcal{S} \notefsubseteq \mathcal{D}$] Odstraňovanie komponetov          \item[$\mathcal{S} \notefsubseteq \mathcal{D}$] Odstraňovanie komponetov
                 nesúvislosti však nemôže ísť spraviť efektívne. Ak by to išlo, vedeli                  nesúvislosti však nemôže ísť spraviť efektívne. Ak by to išlo, vedeli
                 by sme rozhodovať divergenciu štandartných schém. Každú schému                  by sme rozhodovať divergenciu štandardných schém. Každú schému
                 z~triedy~$\mathcal{S}$ by sme previedli na ekvivalentnú schému                  z~triedy~$\mathcal{S}$ by sme previedli na ekvivalentnú schému
                 z~triedy~$\mathcal{D}$ a spýtali sa na dosiahnuteľnosť návestia $\cmd{end}$.                  z~triedy~$\mathcal{D}$ a spýtali sa na dosiahnuteľnosť návestia $\cmd{end}$.
 \end{itemize} % */  \end{itemize} % */
Legend:
Removed from v.1.2  
changed lines
  Added in v.1.3
Platon Group <platon@platon.org> http://platon.org/
Copyright © 2002-2006 Platon Group
Site powered by Metafox CMS 		Go to Top