https://enciklopedija.cc/index.php?action=history&feed=atom&title=Svojstvo_napuhavanja
Svojstvo napuhavanja - Povijest promjena
2026-08-07T11:51:38Z
Povijest promjena ove stranice na wikiju
MediaWiki 1.42.3
https://enciklopedija.cc/index.php?title=Svojstvo_napuhavanja&diff=336374&oldid=prev
WikiSysop: Bot: Automatska zamjena teksta (-{{cite book +{{Citiranje knjige)
2021-11-18T05:00:29Z
<p>Bot: Automatska zamjena teksta (-{{cite book +{{Citiranje knjige)</p>
<table style="background-color: #fff; color: #202122;" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="hr">
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">←Starija inačica</td>
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Inačica od 18. studeni 2021. u 05:00</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l9">Redak 9:</td>
<td colspan="2" class="diff-lineno">Redak 9:</td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Izvori ==</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Izvori ==</div></td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>* {{<del style="font-weight: bold; text-decoration: none;">cite book</del></div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>* {{<ins style="font-weight: bold; text-decoration: none;">Citiranje knjige</ins></div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div> | author = [[Michael Sipser]]</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div> | author = [[Michael Sipser]]</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div> | year = 1997</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div> | year = 1997</div></td></tr>
<tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l16">Redak 16:</td>
<td colspan="2" class="diff-lineno">Redak 16:</td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div> | id = {{ISBN|0-534-94728-X}}</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div> | id = {{ISBN|0-534-94728-X}}</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>}} </div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>}} </div></td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>* {{<del style="font-weight: bold; text-decoration: none;">cite book</del></div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>* {{<ins style="font-weight: bold; text-decoration: none;">Citiranje knjige</ins></div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div> | author = Siniša Srbljić</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div> | author = Siniša Srbljić</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div> | title = Jezični procesori 1</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div> | title = Jezični procesori 1</div></td></tr>
</table>
WikiSysop
https://enciklopedija.cc/index.php?title=Svojstvo_napuhavanja&diff=39375&oldid=prev
WikiSysop: Bot: Automatski unos stranica
2021-08-20T01:47:04Z
<p>Bot: Automatski unos stranica</p>
<p><b>Nova stranica</b></p><div><!--'''Svojstvo napuhavanja'''-->U teoriji [[formalni jezik|formalnih jezika]] te [[teorija izračunljivosti|teoriji izračunljivosti]], '''svojstvo napuhavanja''' (rjeđe još i '''lema napuhavanja''') kaže da svaki jezik dane klase može biti "napuhan" i pritom još uvijek pripadati danoj klasi. Jezik može biti napuhan ako dovoljno dugi niz znakova jezika se može rastaviti na podnizove, od kojih neki mogu biti ponavljani proizvoljan broj puta u svrhu stvaranja novog, duljeg niza znakova koji je još uvijek u istom jeziku. Stoga, ako vrijedi svojstvo napuhavanja za danu klasu jezika, bilo koji neprazni jezik u klasi će sadržavati beskonačan skup konačnih nizova znakova izgrađenih jednostavnim pravilom koje daje svojstvo napuhavanja. Okosnicu dokaza ovih svojstava obično čine argumenti pobrojavanja kao što je [[Dirichletov princip]].<br />
<br />
Dva najvažnija primjera su <br />
* '''[[svojstvo napuhavanja za regularne jezike]]'''<br />
* '''[[svojstvo napuhavanja za kontekstno neovisne jezike]]'''. <br />
'''[[Ogdenova lema]]''' je druga, jača lema napuhavanja za [[kontekstno neovisni jezik|kontekstno neovisne jezike]].<br />
<br />
Ove se leme mogu koristiti za određivanje '''ne''' pripada li neki pojedinačni jezik danoj klasi jezika. Međutim, ne mogu se koristiti za određivanje pripadnosti jezika danoj klasi, jer zadovoljavanje leme jest nužan, ali ne i dovoljan uvjet za pripadnost klasi.<br />
<br />
== Izvori ==<br />
* {{cite book<br />
| author = [[Michael Sipser]]<br />
| year = 1997<br />
| title = Introduction to the Theory of Computation<br />
| publisher = PWS Publishing<br />
| id = {{ISBN|0-534-94728-X}}<br />
}} <br />
* {{cite book<br />
| author = Siniša Srbljić<br />
| title = Jezični procesori 1<br />
| publisher = Element<br />
| year = 2003<br />
| id = {{ISBN|953-197-129-3}}<br />
}}<br />
<br />
[[Kategorija:Formalni jezici]]</div>
WikiSysop