7 odnosi: Dirichletov princip, Formalni jezik, Kontekstno neovisni jezik, Ogdenova lema, Svojstvo napuhavanja za kontekstno neovisne jezike, Svojstvo napuhavanja za regularne jezike, Teorija izračunljivosti.
Dirichletov princip
''m''.
Novi!!: Svojstvo napuhavanja i Dirichletov princip · Vidi više »
Formalni jezik
U matematici, logici i računarstvu, formalni jezik (još i umjetni jezikKiš Miroslav, Englesko-hrvatski i hrvatsko-engleski informatički rječnik, Zagreb, Naklada Ljevak, 2000., str. 399) \boldsymbol se sastoji od skupa konačnih slijedova elemenata konačnog skupa \boldsymbol znakova (simbola).
Novi!!: Svojstvo napuhavanja i Formalni jezik · Vidi više »
Kontekstno neovisni jezik
Kontekstno neovisni jezik (rjeđe još i kontekstno slobodni jezik ili jezik neovisan o sadržaju, te još i bezokolinski jezikKiš Miroslav, Englesko-hrvatski i hrvatsko-engleski informatički rječnik, Zagreb, Naklada Ljevak, 2000., str. 234) je formalni jezik koji je element skupa jezika kojeg definiraju kontekstno neovisne gramatike.
Novi!!: Svojstvo napuhavanja i Kontekstno neovisni jezik · Vidi više »
Ogdenova lema
U teoriji formalnih jezika, Ogdenova lema pruža nešto veću fleksibilnost od svojstva napuhavanja za kontekstno neovisne jezike.
Novi!!: Svojstvo napuhavanja i Ogdenova lema · Vidi više »
Svojstvo napuhavanja za kontekstno neovisne jezike
Također poznata i kao Bar-Hillelelova lema.
Novi!!: Svojstvo napuhavanja i Svojstvo napuhavanja za kontekstno neovisne jezike · Vidi više »
Svojstvo napuhavanja za regularne jezike
U teoriji formalnih jezika, svojstvo napuhavanja za regularne jezike je lema koja iskazuje svojstvo koje svi regularni jezici moraju zadovoljavati.
Novi!!: Svojstvo napuhavanja i Svojstvo napuhavanja za regularne jezike · Vidi više »
Teorija izračunljivosti
* Teorija rekurzije, grana matematičke logike, suvremeno nazvana teorijom izračunljivosti.
Novi!!: Svojstvo napuhavanja i Teorija izračunljivosti · Vidi više »