cyanic-selkie/wikianc huggingface dataset:
Köprülü (porodica)
Ćuprilići (alb. Qyprilliu ; tur. Köprülü) su bili plemićka obitelj albanskog podrijetla u Osmanskom carstvu. Njezini članovi su postali važni veziri, veliki veziri i časnici. thumb|right|300px|Koprulu Mehmed-paša U sredini 17. stoljeća Osmansko carstvo je bilo u krizi. Kao prvo na dvoru, a potom počinjali su i prvi gubitci teritorija i pobune u Anatoliji. Istanbul je bio opkoljen od spahija i janjičara a sultan Mehmed IV je imao samo šest godina. 1656. godine Turhan sultanija je imenovala Koprulu Mehmed-pašu za velikog vezira. Bio je Albanac iz Berata, mada neki tvrde da Ćuprilići vuku korijene sa Crnog mora. Od Mehmed-paše počinje doba od dvadesetpet godina stabilonsti, obnova i reforma u Osmanskom carstvu.
Veliki veziri iz Ćuprilića su bili:
Jezične porodice i jezici: Indoeuropski jezici - Uralski jezici
Kolopom
(3): kimaama ili kimaghima, ndom, riantana;
Köprülü (porodica)
Druga polovica 17. stoljeća u Osmanskom carstvu kod nekih istoričara se spominje kao »Doba Ćuprilića«.
Jezične porodice i jezici: Indoeuropski jezici - Uralski jezici
Madang
(106): abaga, amaimon, amele, anam, anamgura, anjam, apali, arawum, asas, atemble, bagupi, baimak, bargam, bau, bepour, bilakura, biyom, bongu, brem, danaru, dimir, duduela, dumpu, dumun, faita, gal, ganglau, gants, garus, girawa, gumalu, isebe, jilim, kalam, kare, kein, kesawai, kobol, kobon, kolom, korak, kowaki, kwato, lemio, maia, maiani, mala, malas, male, matepi, mauwake, mawak, mawan, miani, moere, moresada, mosimo, mum, munit, murupi, musak, musar, nake, nend, nobonob, ogea, pal, pamosu, panim, parawen, paynamar, pulabu, rapting, rempi, rerau, saep, sam, samosa, saruga, sausi, sihan, sileibi, silopi, sinsauru, siroi, sop, sumau, tai, tauya, ukuriguma, urigina, usan, utarmbung, utu, uya, wadaginam, wagi, wamas, wanambre, wasembo, waskia, yaben, yabong, yangulam, yarawata, yoidik;
Köprülü (porodica)
Mnoga mjesta u Istanbulu i u Turskoj nose imena Ćuprilića. U Istanbulu se nalazi Biblioteka Köprülü (Köprülü Kütüphanesi), njezinu izgradnju je naručio 1661. Koprulu Mehmed-paša a okončana je 1678. Biblioteka sadrži fond od 3.790 rukopisa na turskom, arapskom i perzijskom, i od 1.500 tiskana djela.
Jezične porodice i jezici: Indoeuropski jezici - Uralski jezici
Mek
(7): eipomek, ketengban, korupun-sela, kosarek yale, nalca, nipsan, una;
'''Mombum
(2): koneraw, mombum;
Köprülü (porodica)
Na Bosforu, nešto sjeverno od Anadoluhisarıja, nalazi se yalı (kuća na vodi) Amkazade Husejin-paše, izgrađen 1699. godine. Ovaj ljetnikovac je najstarija rezidencija u Istanbulu i u njemu su pripremljeni nacrti od dokumenta koji je predložen na Karlovačkom miru.
U Istanbulu kao i diljem Turske postoji više džamija koje se zovu Köprülü Mehmet Paşa Camii (Karabük, Istanbul, Malatya, Vezirköprü, Bilecik).
Jezične porodice i jezici: Indoeuropski jezici - Uralski jezici
Mor
(1): mor;
Köprülü (porodica)
Okrug Vezirköprü u Samsunu dobiva ime (vezir – köprü) jer se Mehmet Köprülü oženio djevojkom iz te regije. Isti Mehmed-paša je ponovo osnovao grad Veles u Makedoniji.
Jezične porodice i jezici: Indoeuropski jezici - Uralski jezici
Moraori
(1): morori;
Ok-Awyu
(36): Aghu, asue awyu, bimin, burumakok, centralni awyu, edera awyu, faiwol, iwur, jair awyu, južni awyu, južni muyu, ketum, kombai, komyandaret, kopkaka, korowai, kwer, mandobo atas, mandobo bawah, mian, nakai, ngalum, ninggerum, sawi, setaman, sjeverni awyu, sjeverni muyu, suganga, tangko, telefol, tifal, tsakwambo ili tsaukambo, urapmin, wambon, wanggom, yonggom /sjeverni korowai [krg], ukopljen i korowai/;
Köprülü (porodica)
Članovi porodice Ćuprilića i dalje žive u Turskoj, Magrebu i u Sjedinjenim Državama.
Jezične porodice i jezici: Indoeuropski jezici - Uralski jezici
Oksapmin
(1): oksapmin;
Köprülü (porodica)
Vidi također : Spisak velikih vezira Osmanskog carstva
Jezične porodice i jezici: Indoeuropski jezici - Uralski jezici
Pawaia
(1): Pawaia;
Tanah Merah
(1): tanahmerah;
Teberan
(2): dadibi, folopa;
Tirio
(5): abom, baramu, bitur, makayam, were ili weredai;
Turama-Kikorian
(3): ikobi-mena, omati, rumu;
Zapadni transnovogvinejski
(43): abui, adabe, adang, angguruk yali, auye, baham, blagar, bunak, donjovelikodolinski dani, dao, ekari, fataluku, gornjovelikodolinski dani, hamap, hupla, iha, kabola, kafoa, kamang, karas, kelon, kui, kula, lamma, makasae, moni,nduga, nedebang, nggem, ninia yali, oirata, pass valley yali, retta, sawila, silimo, srednjovelikodolinski dani ili tulem, tereweng, tewa, walak, wano, wersing, wolani, zapadni dani;
Zapadni kutubu
(1): fasu;
Wiru
(1): wiru.
Yele-zapadnonovobritanski jezici
(3) nekad dio istočnopapuanske porodice: anem, pele-ata, yele.
Yuat jezici
(6) nekad dio porodice sepik-ramu, skupine Yuat-Langam: biwat, bun, changriwa, kyenele, maramba, mekmek.
Zapadnopapuanski jezici
(23), Indonezija (Papua): Galela-Loloda (8): galela, laba, loloda, modole, pagu, tabaru, tobelo, tugutil; Sahu (5): gamkonora, ibu, kao, sahu, waioli; Ternate-Tidore (2): ternate, tidore; West Makian (1): zapadni makian (makian barat).
Novopriznati jezici: andai, nanubae, tapei, Abu' arapesh jezik (2009), ambrak (2007), aeka (2007),
Gallinea, Genoa
Gallinea je naselje u Italiji u provinciji Genoa, u regiji Ligurija.
Prema proceni iz 2011. u naselju je živelo 45 stanovnika. Naselje se nalazi na nadmorskoj visini od 136 m.
Jezične porodice i jezici: Indoeuropski jezici - Uralski jezici
Sinotibetski jezici
(403) :A)
Kineski
(14; + literarni kineski) Kina, Kirgizija: kineski (14 jezika: min dong, jinyu, mandarinski, pu-xian, huizhou, min zhong, dungan, gan, hakka, xiang, min bei, min nan, wu, yue; literarni kineski.
Tibetsko-burmanski
(389)
Bai
(3) Kina: bai (3 jezika: centralni, sjeverni, južni).
Himalajski
(145)
Jingpho-Konyak-Bodo
(25):
Kuki-Chin-Naga
(74)
Lolo-burmanski
(73):
Meitei
(1) Indija: meitei.
Mikir
(2) Indija: amri, karbi.
Mru
(1) Bangladeš: mru.
sjevernoasamski/North Assam
(13)
Nung
(5): drung, lama, norra, nung, rawang.
Tangut-Qiang
(15):
Tujia
(2) Kina: tujia (sjeverni i južni).
Neklasificirani
(9) Burma, Indija: anu, ayi, hruso, khamba, lui, palu, pao, sajalong, zakhring.
Novopriznati jezici: : akeu (priznat 2008), alugu, azha
Altajski jezici
(66):
Mongolski jezici
(14 jezika)
Turski jezici
(40)
Izumrli jezici: kumanski|, pečeneški
Uralski jezici
(39)
Samojedski
(6 ili 7): jurački (nenecki), enecki (šumski, enecki iz tundre), kamasinski, selkupski, nganasanski (tavgijski).
Izolirani jezici
(40): abinomn, abun (nekad klasificiran zapadnopapuanskoj porodici ), ainu, andoque, burushaski, camsá, candoshi-shapra, canichana, cayubaba, centúúm, elseng, gilyak, hatam (nekad klasificiran zapadnopapuanskoj porodici ), itonama, karkar-yuri, kibiri, korejski, kutenai, leco, massep, movima, mpur (nekad klasificiran zapadnopapuanskoj porodicizapadnopapuanski jezici), muniche, nihali, odiai, páez, pankararú, puelche, puinave, taiap, taushiro, ticuna, tinigua, tol, trumaí, tsimané, tuxá, urarina, waorani, warao, yale, yámana, yuchi, yuracare, zuni;
baskijski (danas baskijska porodica); drevni jezici: etruščanski; sumerski.
Kreolski jezici
(82 ; prije 86 ): afroseminolski kreolski, amapá kreolski, andamanski kreolski, angolar, antigvanski i barbudski kreolski engleski ili Kokoy kreolski engleski, kreoski, aukan, baba (baba malajski), babalia, bahamski kreolski, bajan, bende (san andrés kreolski), berbice kreolski nizozemski, betawi, bislama, cafundo kreolski, chavacano, cutchi-swahili, fa d'ambu, fernando po kreolski, gijanski kreolski, gornjogvinejski crioulo (kiryol), grenadski kreolski, gullah, gvadalupski kreolski (kreyol), gvajanski kreolski, haićanski kreolski, havajski kreolski, indoportugalski, jamajkanski kreolski, kabuverdianu, kamerunski pidžin, karipúna kreolski (crioulo, kikongo-kutuba, korlai kreolski, krio, kriol (belize kriol), kupang malajski, kwinti, lujzijanski kreolski, lun'gwiye, macao kreolski, malakanski malajski (chitties kreolski), malayu ambonski (ambong), manado malajski, morisyen, munukutuba (kikoongo), naga pidžin, negerhollands, ngatikese, nigerijski pidžin, nikaragvanski kreolski, nubi, oorlams, palenquero, papia kristang (malakanski kreolski portugalski), papiamentu, peranakan, petjo, pijin (solomonski pidžin), pitkernski, réunionski kreolski, riverain sango, roper-bamyili kreolski (kriol), san miguel kreolski, sango, sãotomense, saramaccan, seselwa kreolski (sejšelski kreolski), skepi kreolski nizozemski, sranan, sudanski kreolski, svetolucijski kreolski, šrilankanski kreolski, tayo, ternateño, tetun dili, timorski pidžin, tobagoški kreolski, tok pisin, torres strait kreolski, trinidadski kreolski, tsotsitaal, turks i caicos kreolski, unserdeutsch, vincentski kreolski, virgin islands kreolski;
banda malajski (danas se vodi pod malajske jezike),
Miješani jezici
(21): angloromski, callawalla, caló (gitanski), camtho, e, jeniški (yeniche, jenisch, yenishe), kaqchikel-k'iche', lomavren, malavijski lomwe (nguru, anguru), mbugu, media lengua, mednyj aleutski, michif, nguluwan, norveški putnički, romski grčki (romika, helenoromski), romski srpski, rotwelsch (rodi), shelta, tagdal, tavringerski romski, wutunhua.
Neklasificirani jezici
Drevni jezici: hatski; kaškejski, meroitski; Izumrli jezici: beothuk
Znakovni jezici
(3): Znakovni jezik prerijskih Indijanaca; znakovni jezik australskih Aboridžina; Samostanski znakovni jezik.
Pidžin
(18): barikanchi, broom kreolski (broome pearling lugger pidgin), fanagalo, gibanawa, hiri motu, iha based pidgin, kineski pidgin engleski, liberijski engleski, lingua franca, maskoy pidgin, mobilian, ndyuka-trio pidgin, nefamese, onin based pidgin, pidgin delaware, settla, tay boi; russenorsk
Umjetni jezici
(3): esperanto, europanto, interlingua.
Dodatak: Popis jezika koji su izgubili status
Vidi
Novopriznati jezici
2007: andai [afd], hunsrik [hrx], Nanubae [afk], Tapei [afp], vilamovski[wym],
Meki čičak
Meki čičak (lat. Cirsium oleraceum) ili kupusasti ćičak ili sibirski čičak, je vrsta čičaka iz roda Cirsium, porodica Asteraceae. Prirodno nastanjuje centralnu i istočnu Evropu i Aziju, gdje uspjeva na vlažnim nizijskim tlima. Rasprostranjen je i u Bosni i Hercegovini.
Cirsium oleraceum je zeljaste višegodišnja biljka koja naraste do 1,5 m. Stabljike su razgranati ili sa vrlo malo grane. Listovi su široki i jajoliki, sa slabo trnovitim rubovima. Cvjetovi se proizvode u gustim cvjetnim glavicama, promjera 2,5-4 cm, blijedo žuti, ali ponekad i ružičasti.
Upotreba
Koristi se za salate od jestivih mladih stabljika i listova, a kultiviran u Japanu i Indiji.
Jakubov
Jakubov je naseljeno mjesto u okrugu Malacki, u Bratislavskom kraju, Republika Slovačka.
Stanovništvo
Prema podacima o broju stanovnika iz 2011. godine naselje je imalo 1.496 stanovnika.
Surcos Largos, Celaya
Surcos Largos je naselje u Meksiku, u saveznoj državi Guanajuato, u opštini Celaya.
Prema proceni iz 2014. godine u naselju je živelo 26 stanovnika. Naselje se nalazi na nadmorskoj visini od 1785 m.
Opština Tepemaxalco, Puebla
Tepemaxalco je opština u Meksiku, u saveznoj državi Puebla.
Prema proceni iz 2013. godine u opština je živelo 1141 stanovnika. Opština se nalazi na nadmorskoj visini od 1873 m.
Čudi
Čudi (чудь, na balto-finskim jezicima: tshuudi, tšuudi, čuđit) je izraz koji su rani ruski ljetopisi koristoli za nekoliko baltofinskih naroda na području današnje Estonije, Karelije i sjeverozapadne Rusije.
Najstariji spomen izraza 'Čudi' datira oko 1100. kada je Nestor njime opisao pretke današnjih Estonaca. Prema Nestoru je Jaroslav I Mudri napao zemlju Čuda godine 1030. i postavio temelje grada Jurjev, (ruski naziv grada Tartuu današnjoj Estoniji). Potom se izraz "Čudi" koristio i za balto-finski narod zvane volok za koga se pretpostavlja da predatavljaju Karele.
Druge staroruske kronike opisuje Čude kao jedne od osnivača prve ruske države.
Sjeverni Čudi je izraz za mitski narod iz folklora Sjevernih Rusa i drugih naroda. U mitologiji Komija predstavljaju mitske pretke tog naroda.
Alella
Geografske karakteristike
Alella leži pored El Masna sa kojim je spojena, udaljena dvadesetak km sjeveroistočno od centra Barcelone.
Ona je jedan od satelitskih gradova koji formiraju Metropolitansku Barcelonu - konurbaciju u kojoj živi 4.840,000 stanovnika
Massimino, Savona
Massimino je naselje u Italiji u provinciji Savona, u regiji Ligurija.
Prema proceni iz 2011. u naselju je živelo 104 stanovnika. Naselje se nalazi na nadmorskoj visini od 535 m.
El Durazno, San Agustín Metzquititlán
El Durazno je naselje u Meksiku, u saveznoj državi Hidalgo, u opštini San Agustín Metzquititlán.
Prema proceni iz 2014. godine u naselju je živelo 74 stanovnika. Naselje se nalazi na nadmorskoj visini od 1338 m.
Nueva Virgen de Guadalupe, Ocosingo
Nueva Virgen de Guadalupe je naselje u Meksiku, u saveznoj državi Chiapas, u opštini Ocosingo.
Prema proceni iz 2014. godine u naselju je živelo 15 stanovnika. Naselje se nalazi na nadmorskoj visini od 400 m.
Treća stranka
U dvopartijskom političkom sistemu (višepartijskom političkom sistemu kojim dominiraju dve velike stranke), treća stranka je stranka koja nije jedna od dve dominantne stranke. Iako se izraz tehnički odnosi na stranku koja je treća po veličini, najčešće se koristi da opiše i druge manje stranke. Na primer, u Ujedinjenom Kraljevstvu, treća stranka je politička stranka na nacionalnom nivou, osim konzervativaca i laburista, koja je prisutna u Domu građana britanskog parlamenta. Trenutno (krajem XX i početkom XXI veka), izraz se generalno koristi za liberalne demokrate. U istoriji SAD, bilo je ukupno 81 trećih stranaka.
Odrednica "treće stranke" koristi se u zemljama sa izbornim sistemima proste većine, pošto ovi sistemi imaju prirodnu tendenciju da vode ka stvaranju dvopartijskog sistema. Retke su uspešne manje stranke u izbornim sistemima proste većine. Zemlje koje koriste proporcionalni izborni sistem imaju manje naklonosti ka formiranju dvopartijskog sistema. U ovakvim izbornim sistemima česte su uspešne manje stranke; zapravo, u njima su koalicije koje uključuju manje stranke pravilo radije nego izuzetak.
Stranka mora imati određen nivo uspeha da bi se generalno smatrala trećom strankom. Još manje stranke koje osvajaju samo mali postotak glasova i nijedno mesto u zakonodavnim telima se često nazivaju malim ili marginalnim strankama. Na primer, u politici SAD, treća stranka je politička stranka osim demokrata i republikanaca koja ima nacionalnog uticaja. Tri treće stranke u SAD trenutno (2008) imaju preko 100.000 registrovanih glasača: Konstitucionalistička, Zelena i Libertarijanska stranka. U Kanadi takođe deluju tri veće treće stranke: Nova demokratska stranka, Kvebečki blok i Zelena stranka Kanade.
Treće stranke obično nisu u stvarnoj trci za formiranje vlade ili izbora za predsednika. Međutim, treće stranke imaju puno drugih razloga da učestvuju na izborima. Platforma nacionalne izborne kampanje znači da će stavovi trećih stranaka privući pažnju. Veće stranke će biti prinuđene da na ove platforme odgovore i prilagode se ovim izazovima, i često veće stranke preuzimaju ideje manjih izazivača. Neke treće stranke se takođe nadaju da stranka može polako graditi svoju podršku i u krajnjem postati jedna od dominantnih stranaka, kao što se desilo sa Laburističkom strankom u Ujedinjenom Kraljevstvu. U vestminsterskom sistemu postoji i mogućnost formiranja manjinskih vlada, koje manjim strankama mogu dati snagu neproporcionalno veliku u odnosu na njihovu veličinu.
Jablonove (Malacki)
Jablonove je naseljeno mjesto u okrugu Malacki, u Bratislavskom kraju, Republika Slovačka.
Treća stranka
Među primerima trećih stranaka su i Republikanska stranka SAD u vreme kada je Abraham Linkoln bio njihov predsednički kandidat, i Irska parlamentarna partija koja se izborila za samoupravu u Irskoj u kasnom devetnaestom veku.
Jablonove (Malacki)
Stanovništvo
Prema podacima o broju stanovnika iz 2011. godine naselje je imalo 1.143 stanovnika.
Henri od Lausannea
Henri od Lausannea (Henri de Lausanne; također Henri od Clunyja; ? - o. 1148) bio je kršćanski mistik koji je djelovao u današnjoj Francuskoj i Švicarskoj u prvim decenijama 12. vijeka, a koga je Katolička crkva proglasila heretikom. O njegovom životu postoje prilično oskudni podaci koji sugeriraju da je bio benediktinski redovnik prije nego što se odmetnuo iz samostana i počeo propovijedati u Le Mansu gdje je došao u sukob sa Hildebertom. Opisivan je kao popularan i karizmatičan lik, koji je hodao bosonog, spavao na zemlji i uzdržavao se isključivo od darova sljedbenika. Svojim je propovijedima stekao veliki broj sljedbenika, a nauk mu je bio sličan ranijoj petrobrusijanskoj herezi. Odbacivao je krštenje djece, zazivanje svetaca te nalagao učestalu pokoru vjernika. Godine 1134. je uhapšen u Arlesu i doveden na crkveni sabor u Pisi gdje ga je papa Inocent II osudio na tamnicu. Tamo je i umro. Bernard od Clairvauxa je u međuvremenu uložio velike napore da bi preobratio njegove sljedbenike i vratio ih katoličkoj ortodoksiji.
Quartz Hill, California
Quartz Hill je naseljeno područje za statističke svrhe u američkoj saveznoj državi Kalifornija. Po popisu stanovništva iz 2010. u njemu je živelo 10.912 stanovnika.
Americus, Indiana
Amerikus je naseljeno mesto bez administrativnog statusa u američkoj saveznoj državi Indijana.
Demografija
Po popisu iz 2010. godine broj stanovnika je 423.
Businello, Vicenza
Businello je naselje u Italiji u provinciji Vicenza, u regiji Veneto.
Prema proceni iz 2011. u naselju je živelo 14 stanovnika. Naselje se nalazi na nadmorskoj visini od 26 m.
Courdemanche (Er)
Kurdmanš je naselje i opština u severnoj Francuskoj u regionu Gornja Normandija, u departmanu Er koja pripada prefekturi Evre.
Po podacima iz 1999. godine u opštini je živelo 479 stanovnika, a gustina naseljenosti je iznosila 53 stanovnika/km². Opština se prostire na površini od 8,99 km². Nalazi se na srednjoj nadmorskoj visini od 136 metara (maksimalnoj 142 m, a minimalnoj 110 m).
The Shape of Things to Come
The Shape of Things to Come, ponekad prevođen i kao Obrisi budućnosti, je science fiction roman britanskog pisca H. G. Wellsa originalno objavljen 1933. godine. Po svom stilu je daleko bliži eseju, odnosno u njemu je Wells kroz fiktivne zabilješke diplomata iz 2104. godine pokušao opisati buduću historiju svijeta od 1940. do 2036. godine, odnosno pokušati dati vlastito mišljenje o najvećim problemima s kojima će se u tom periodu suočiti čovječanstvo i načinima na koje se ona moraju riješiti. Wells je u svom tekstu opisao izbijanje novog svjetskog rata koji će trajati decenijama, završiti bez pobjednika te toliko iscrpiti i opustošiti svijet da u njemu počinje novo mračno doba; uništenu civilizaciju, na kraju, obnavlja benevolentna "Diktatura zraka", odnosno grupa tehnokratskih naučnika koji, koristeći jedine preostale avione, postepeno nameće svjetsku vladu, iskorjenjuje organizirana religiju i sve nacije utapa u zajednicu kojom će vladati utopijski mir. Iako manje poznat od ranijih Wellsovih radova, smatra se kako je Things to Come imao izuzetan uticaj na brojne SF-pisce, odnosno neke od klasičnih djela žanra, kao što je Fondacija (Zadužbina) Isaaca Asimova.
The Shape of Things to Come je samo tri godine kasnije poslužio kao predložak za film Things to Come Williama Camerona Menziesa, koji se smatra jednim od prvih SF-epova, odnosno klasičnim ostvarenjem SF-filma. Godine 1979. je roman ponovno ekraniziran u Kanadi pod naslovom H. G. Wells' The Shape of Things to Come.
Wellsovom tekstu je počast odana u naslovima brojnih pjesama, kao i epizode The Shape of Things to Come  TV-serije Lost.
Bonvicino, Cuneo
Bonvicino je naselje u Italiji u provinciji Cuneo, u regiji Piemonte.
95
Godina 95. (XCV) bila je redovna godina koja počinje u četvrtak u julijanskom kalendaru. U svoje vrijeme je bila poznata kao Godina konzulstva Augusta i Klemensa (ili, rjeđe, godina 848. Ab urbe condita). Oznaka 95. za ovu godinu se koristi od ranog srednjeg vijeka, kada je kalendarska era Anno Domini u Evropi postala glavnom metodom označavanja godina.
Jasenovo (Turčjanske Tjeplice)
Jasenovo je naseljeno mjesto u okrugu Turčjanske Tjeplice, u Žilinskom kraju, Republika Slovačka.
Stanovništvo
Prema podacima o broju stanovnika iz 2011. godine naselje je imalo 155 stanovnika.
My Dying Bride
My Dying Bride je engleski heavy metal sastav osnovan 1990. Do danas je sastav izdao jedan demo album, tri EP-a, nekoliko singlova, deset studijskih albuma, jedan box set, četiri kompilacije, jedan live album, jedan live CD / DVD izdanje, i nekoliko video izdanja. Sastav je izdao svoj deseti je studijski album For Lies I Sire 23. ožujka 2009. My Dying Bride, zajedno sa sastavima poput Anathema i Paradise Lost, jedan je od pokretača death/doom metal žanra.
Proporcionalni izborni sistem
Proporcionalni ili razmjerni izborni sistem je izraz koji se koristi za izborne sisteme, odnosno metode izbora za predstavnička tijela u kojima se umjesto pojedinačnih kandidata biraju tzv. kandidatske liste, a tako osvojena mjesta (mandati) raspoređuju u skladu s razmjerom (postotkom) glasova koje je određena lista osvojila u odnosu na ukupan zbroj svih glasova. Postoje različite metode kojima se izračunava razmjer glasova, odnosno rješavaju problemi vezani uz višak/manjak i tzv. "propale" glasove; neki od tih sistema predstavljaju i svojevrstan hibrid sa većinskim izbornim sistemima.
Proporcionalni izborni sistemi su se prvi put počeli pojavljivati s razvojem moderna demokracije u 19. vijeku. Jedan od prvih je izradio belgijski matematičar Victor D'Hont, koji je po njemu dobio ime, a koga su s vremenom preuzele brojne evropske države, pogotovo za vrijeme i neposredno nakon prvog svjetskog rata.
Kao argument u prilog proporcionalnog sistema se često navodi da on najvjernije odražava opću volju birača, odnosno dozvoljava da budu adekvatno predstavljene sve političke opcije; proporcionalni sistem također sprečava svemoć vladajuće stranke odnosno promiče višestranačje temeljeno na konsenzusu i dogovoru. Kritičari, pak, drže da proporcionalni sistem isto tako može dati preveliki uticaj ekstremnim strankama, odnosno dovesti do trajne političke nestabilnosti kada se većinska vlada ovisi o podršci niza malih stranaka; glasanje za stranke umjesto pojedinaca pak može dovesti do stvaranja partitokracije i otuđenja predstavnika od svojih birača. Kao jedno od sredstava kojima se nastoji učvrstiti politička stabilnost, mnogi politički sistemi sadrže institut izbornog cenzusa.
Na prostoru bivše Jugoslavije se primjenjivao na izborima u Kraljevini Jugoslaviji, a nakon izbora 1990. su ga, u većoj ili manjoj mjeri, preuzele sve bivše jugoslavenske republike te ga u pravilu koriste za izbor predstavničkih tijela na nacionalnoj i regionalnoj i, rjeđe, lokalnoj razini.
San Pablo, Colima
San Pablo je naselje u Meksiku, u saveznoj državi Colima, u opštini Colima.
Prema proceni iz 2014. godine u naselju je živelo 4 stanovnika. Naselje se nalazi na nadmorskoj visini od 503 m.
La Huerta, Santa Cruz de Juventino Rosas
La Huerta je naselje u Meksiku, u saveznoj državi Guanajuato, u opštini Santa Cruz de Juventino Rosas.
Prema proceni iz 2014. godine u naselju je živelo 305 stanovnika. Naselje se nalazi na nadmorskoj visini od 1855 m.
Gambulli, Genoa
Gambulli je naselje u Italiji u provinciji Genoa, u regiji Ligurija.
Prema proceni iz 2011. u naselju je živelo 85 stanovnika. Naselje se nalazi na nadmorskoj visini od 267 m.
Xaltepec, Puebla
Xaltepec je naselje u Meksiku, u saveznoj državi Puebla.
Prema proceni iz 2012. godine u naselju je živelo 7353 stanovnika. Naselje se nalazi na nadmorskoj visini od 2172 m.
Costal de Huesos, Alto Lucero de Gutiérrez Barrios
Costal de Huesos je naselje u Meksiku, u saveznoj državi Veracruz, u opštini Alto Lucero de Gutiérrez Barrios.
Prema proceni iz 2014. godine u naselju je živelo 6 stanovnika. Naselje se nalazi na nadmorskoj visini od 88 m.
El Jaibo, Delicias
El Jaibo je naselje u Meksiku, u saveznoj državi Chihuahua, u opštini Delicias.
Prema proceni iz 2014. godine u naselju je živelo 7 stanovnika. Naselje se nalazi na nadmorskoj visini od 1198 m.
Antisupresor
Antisupresor je mutacija koja ima suprotne  efekte supresoru (besmislenoj supresiji). Takve mutacije se mogu pojaviti u bilo kojoj od komponenti nepoznatog porekla koje utiču na sistem za translaciju genetičke informacija.
Boos (Nahe)
Bos je opština u njemačkoj saveznoj državi Rajna-Palatinat. Jedno je od 119 opštinskih središta okruga Bad Krojcnah. Prema procjeni iz 2010. u opštini je živjelo 405 stanovnika. Posjeduje regionalnu šifru (AGS) 7133014.
Geografski i demografski podaci
mini|levo|250px|Položaj opštine u okrugu Bad Krojcnah Bos se nalazi u saveznoj državi Rajna-Palatinat u okrugu Bad Krojcnah. Opština se nalazi na nadmorskoj visini od 135 metara. Površina opštine iznosi 1,1 km². U samom mjestu je, prema procjeni iz 2010. godine, živjelo 405 stanovnika. Prosječna gustina stanovništva iznosi 365 stanovnika/km².
Opština Tepeaca, Puebla
Tepeaca je opština u Meksiku, u saveznoj državi Puebla.
Prema proceni iz 2013. godine u opština je živelo 22482 stanovnika. Opština se nalazi na nadmorskoj visini od 2248 m.
Dietilhidroksilamin
Dietilhidroksilamin je organsko jedinjenje, koje sadrži 4 atoma ugljenika i ima molekulsku masu od 89,136 Da.
Badia, Bolzano
Badia je naselje u Italiji u provinciji Bolzano, u regiji Trentino-Alto Adige.
Prema proceni iz 2011. u naselju je živelo 893 stanovnika. Naselje se nalazi na nadmorskoj visini od 1345 m.
Quincy, California
Quincy je naseljeno područje za statističke svrhe u američkoj saveznoj državi Kalifornija. Po popisu stanovništva iz 2010. u njemu je živelo 1.728 stanovnika.
San Alejo, Tierra Blanca
San Alejo je naselje u Meksiku, u saveznoj državi Veracruz, u opštini Tierra Blanca.
Prema proceni iz 2014. godine u naselju je živelo 101 stanovnika. Naselje se nalazi na nadmorskoj visini od 34 m.
Culush, Ocosingo
Culush je naselje u Meksiku, u saveznoj državi Chiapas, u opštini Ocosingo.
Prema proceni iz 2014. godine u naselju je živelo 15 stanovnika. Naselje se nalazi na nadmorskoj visini od 1701 m.
Većinski izborni sistem
Većinski izborni sistem je izraz koji u najširem smislu označava izborne sisteme u kojima se neposredno biraju inokosni funkcionari ili pojedinačni članovi nekog predstavničkog tijela između više kandidata, a pri čemu se izabranim smatra onaj koji je osvojio najviše glasova - odnosno relativnu ili kvalificiranu (apsolutnu) većinu. U užem smislu se pod time podrazumijevaju sistemi biranja članova višečlanih predstavničkih tijela (parlamenti, skupštine, školski odbori i sl.) u kojima birač ima pravo dati glas u točno određenoj izbornoj jedinici gdje može biti izabran samo jedan kandidat.
Većinski sistem je, kao jednostavniji sistem koji ne traži komplicirane matematičke operacije, stariji od proporcionalnog; posebno je raširen u anglosaksonskim zemljama gdje se njegova primjena smatra temeljem tamo raširenog dvostranačja, odnosno tzv. westminsterskog sistema.
Kao njegova prednost se često navodi kako biračima omogućava čvršću vezu sa kandidatom, odnosno mogućnost njegovog nagrađivanja i kažnjavanja; također se njemu posredno pripisuje veća politička stabilnost dvostranačkih zemalja. Kritičari navode da njegova primjena dovodi do propadanja velikog broja glasova, odnosno nezastupljenost političkih opcija i uz njih vezanih društvenih grupa koje čiji predstavnici nisu dovoljno snažni da budu izabrani u pojedinačnim jedinicama. Kao neke od metoda kojima se nastoji postići bolja zastupljenost i ispravni odraz volje u većinskom sistemu se navode dvokružni većinski sistem, odnosno gerrymandering sa kriterijem pozitivne diskriminacije.
Većinski sistem je u bivšoj Jugoslaviji bio korišten u svim republikama osim Slovenije i Crne Gore nakon samog uvođenja višestranačja 1990. Otada je uglavnom napušten u korist proporcionalnog sistema.
Vanjske veze
انتخاب فردي Votadeg unanv gant un dro hepken Plurality voting system 小選挙区制 Daugumos atstovavimas Vot uninominal Đầu phiếu đa số tương đối
Los Novillos, Colima
Los Novillos je naselje u Meksiku, u saveznoj državi Colima, u opštini Colima.
Prema proceni iz 2014. godine u naselju je živelo 4 stanovnika. Naselje se nalazi na nadmorskoj visini od 610 m.
Hayward, Minnesota
Demografija
Po popisu iz 2010. godine broj stanovnika je 250, što je 1 (0,4 %) stanovnika više nego 2000. godine.
La Pitahayita, Badiraguato
Prema proceni iz 2014. godine u naselju je živelo 102 stanovnika. Naselje se nalazi na nadmorskoj visini od 978 m.
Mano-Laviana, Ravenna
Mano-Laviana je naselje u Italiji u provinciji Ravenna, u regiji Emilia-Romagna.
Биљановац
Биљановац је насеље у Србији у општини Рашка у Рашком округу. Према попису из 2002. било је 587 становника (према попису из 1991. било је 610 становника).
Демографија
У насељу Биљановац живи 471 пунолетни становник, а просечна старост становништва износи 40,1 година (38,5 код мушкараца и 41,7 код жена). У насељу има 179 домаћинстава, а просечан број чланова по домаћинству је 3,28.
Harald Kesja
Harald Kesja, rjeđe Harald Koplje, (1080–1135) bio je danski princ, sin kralja Erika Svedobrog.
Биљановац
Демографија
Ово насеље је великим делом насељено Србима (према попису из 2002. године).
Harald Kesja
Kada mu je otac 1103. otišao na hodočašće u Svetu zemlju, Haralda je proglasio svojim regentom, zajedno s nadbiskupom Asserom od Lunda. Harald se, međutim, iskazao kao nasilan i razvratan te je nakon vijesti o Erikovoj smrti skupština, usprkos pokojnikove izričite želje, za novog kralja izabrala Erikovog brata i Haraldovog strica Nielsa.
Godine 1131. je Nielsov sin Magnus Jaki dao ubiti Haraldovog brata, popularnog princa Knuda Lavardu. To je u Danskoj izazvalo ustanak protiv kralja Nielsa na čije su čelo stali Harald i njeov brat Erik Emune. Sljedeće godine je Harald prešao na stranu Nielsa i Magnusa, a protiv svog brata, koji je bio prisiljen povući se u Skaniju. Kraljevska vojska je 1134. napala Erikove pobunjenike, ali je poražena u bitci kod Fontevika gdje je poginulo i nekoliko Haraldovih sinova. Harald je izbjegao na Jylland, ali je uhvaćen kod Vejlea i pogubljen zajedno sa još osam svojih sinova.
Petriș, Livezile
Prema proceni iz 2013. u naselju je živelo 163 stanovnika. Naselje se nalazi na nadmorskoj visini od 179 m.
Jazernjica
Jazernjica je naseljeno mjesto u okrugu Turčjanske Tjeplice, u Žilinskom kraju, Republika Slovačka.
Campagne-lès-Boulonnais
Kampanj le Bulone je naselje i opština u severoistočnoj Francuskoj u regionu Sever-Pa d Kale, u departmanu Pa de Kale koja pripada prefekturi Montreuil.
Po podacima iz 1999. godine u opštini je živelo 453 stanovnika, a gustina naseljenosti je iznosila 34 stanovnika/km². Opština se prostire na površini od 13,28 km². Nalazi se na srednjoj nadmorskoj visini od 150 metara (maksimalnoj 179 m, a minimalnoj 113 m).
Bitka kod Fotevika
Bitka kod Fotevika (Slaget ved Fodevig; Slaget vid Foteviken) se odigrala 4. juna 1134. na obali zaliva Fotevik u Skaniji (današnja južna Švedska) između snaga danskog kralja Nielsa, princa Haralda Kesje i švedskog kralja Magnusa Jakog na jednoj, te pobunjenog danskog princa Erika Emunea. Do njega je došlo tokom građanskog rata započetog nakon što je Magnus dao ubiti Erikovog brata, popularnog princa Knuta Lavardu tri godine ranije. Niels je, zahvaljujući prelasku Erikovog brata Haralda Kesje na svoju stranu, uspio potisnuti pobunjenike u Skaniju. Međutim, nakon što se tamo iskrcala kraljevska vojska, iznenadio ju je juriš njemačkih konjanika u Erikovoj službi. Kraljevska vojska je poražena, Magnus je poginuo, a Harald i kralj Niels su izbjegli na Jylland; međutim, tamo su uskoro obojica ubijeni, pa je Erik mogao preuzeti dansko prijestolje.
Janovce (Poprad)
Janovce je naseljeno mjesto u okrugu Poprad, u Prešovskom kraju, Republika Slovačka.
Stanovništvo
Prema podacima o broju stanovnika iz 2011. godine naselje je imalo 1.498 stanovnika.
Tiana
Tiana (španjolski: Teyá) je naselje i općina od 8,645 stanovnika na sjeveroistoku Španjolske, koji administrativno podpada pod autonomnu zajednicu Kataloniju i Provinciju Barcelonu.
Geografske karakteristike
Tiana leži u brdima nešto podalje od mediteranske obale, udaljena petnaestak kilometara sjeveroistočno od centra Barcelone.
Ona je jedno od 36 satelitskih naselja koji formiraju Metropolitansku Barcelonu - konurbaciju u kojoj živi 4.840,000 stanovnika
Lambda račun
U matematičkoj logici i računarstvu, lambda račun, odnosno λ-račun, je formalni sustav dizajniran za ispitivanje definicije funkcije, aplikaciju funkcije, te rekurziju. Uveli su ga Alonzo Church i Stephen Cole Kleene 1930-ih; Church je koristio lambda račun 1936. za davanje negativnog odgovora na Entscheidungsproblem. Lambda račun se može koristiti za precizno definiranje izračunljive funkcije. Pitanje jesu li dva lambda izraza istovjetna ne može biti riješeno općenitim algoritmom. Ovo je bilo prvo pitanje, čak i prije problema zaustavljanja, za kojeg je mogla biti dokazana neodlučivost. Lambda račun je jako utjecao na funkcijske programske jezike, kao što su Lisp, ML i Haskell.
Lambda račun se slobodno može nazvati najmanjim univerzalnim programskim jezikom. Sastoji se od jednog transformacijskog pravila (supstitucija varijable) i jednog načina definicije funkcije. Lambda račun je univerzalan na način da bilo koja izračunljiva funkcija može biti izražena i evaluirana koristeći njegov formalizam. Ovo je stoga istovjetno formalizmu Turingovog stroja. Međutim, lambda račun naglašava transformacijska pravila i ne zamara se stvarnim strojem koji ih ostvaruje. U tom duhu, predstavlja pristup srodniji programskoj podršci nego sklopovlju.
Ovaj se članak bavi "netipiziranim lambda računom", kako ga je izvorno osmislio Church. U međuvremenu su se razvili tipizirani lambda računi.
Povijest
Izvorno, Church je pokušao konstruirati potpun formalni sustav kao osnovu matematike - kad se ispostavila podložnost sustava analogonu Russellovog paradoksa, odvojio je lambda račun i koristio ga za proučavanje izračunljivosti, što je pak kulminiralo u davanju negativnog odgovora na Entscheidungsproblem.
Neformalni opis
U lambda računu, svaki izraz stoji za funkciju jednog argumenta (argument - ulaz funkcije) - argument je funkcije također funkcija jednog argumenta, a vrijednost je funkcije druga funkcija jednog argumenta. Funkcija je anonimno definirana lambda izrazom koji izražuje djelovanje funkcije na njene argumente. Primjerice, "dodaj-dva" funkcija f takva da <tt> f(x) = x + 2 </tt> bi mogla u lambda računu biti izražena kao <tt> λ x. x + 2 </tt> (ili ekvivalentno kao <tt> λ y. y + 2</tt>; ime formalnog argumenta ne igra ulogu) a broj <tt>f(3)</tt> bi bio zapisan kao <tt> (λ x. x + 2) 3</tt>. Aplikacija funkcije je asocijativna ulijevo: <tt> f x y = (f x) y</tt>. Neka se razmotri funkcija koja prima funkciju kao argument i aplicira je se na broj <tt>3</tt>:<tt> λ f. f 3</tt>. Ova bi potonja funkcija mogla biti aplicirana na prethodnu "dodaj-dva" funkciju na sljedeći način: <tt> (λ f. f 3) (λ x. x + 2)</tt>. Ova tri izraza : <tt>(λ f. f 3)(λ x. x + 2)  </tt> i <tt>   (λ x. x + 2) 3   </tt> i <tt>   3 + 2   </tt> su ekvivalentni. Funkcija dviju varijabli je u lambda računu izražena kao funkcija jednog argumenta koja vraća funkciju jednog argumenta (vidi currying). Primjerice, funkcija <tt> f(x, y) = x - y </tt> bi bila zapisana kao <tt> λ x. λ y. x - y</tt>. Uobičajena je konvencija skratiti curried funkcije kao, na primjer, <tt> λ x y. x - y</tt>.
Ne može svaki lambda izraz biti reduciran na konačnu vrijednost poput onih gore. Na primjer
ili i pokušajmo vizualizirati što se dogodi kad se aplicira prva funkcija na svoj argument. <tt> (λ x. x x) </tt> je također poznat kao ω kombinator; <tt> ((λ x. x x) (λ x. x x)) </tt> je poznat kao Ω, <tt> ((λ x. x x x) (λ x. x x x)) </tt> kao Ω2, itd.
Iako sam lambda račun ne sadrži simbole za cijele brojeve ili zbrajanje, ovi mogu biti definirani kao kratice unutar računa i aritmetika može biti izražena kao što će dolje biti pokazano.
Izrazi lambda računa mogu sadržavati slobodne varijable, tj. varijable koje ne veže nijedna <tt>λ</tt>. Na primjer, varijabla <tt> y </tt> je slobodna u izrazu <tt> (λ x. y) </tt>, koji predstavlja funkciju koja uvijek daje rezultat <tt> y </tt>. Povremeno, ovo stvara potrebu za preimenovanjem formalnih argumenata, na primjer kako bi se reducirao
Ako se pojam aplikacije funkcije formalizira pri čemu se ne dozvole lambda izrazi, dobije se kombinatorna logika.
Formalna definicija
Formalno, započinje se sa prebrojivo beskonačnim skupom identifikatora, npr. <tt>{a, b, c, ..., x, y, z, x1, x2, ...}</tt>. Skup svih lambda izraza može biti opisan sljedećom kontekstno neovisnom gramatikom u BNF:
Prva dva pravila generiraju funkcije, dok treće opisuje aplikaciju funkcije na argument. Obično su zagrade za lambda apstrakciju (pravilo 2) i aplikaciju funkcije (pravilo 3) izostavljene ako ne postoji nejednoznačnost pod pretpostavkom da je (1) lambda aplikacija asocijativna ulijevo i (2) lambda veže cijeli izraz koji slijedi. Na primjer, izraz <tt> ((λ x. (x x)) (λ y. y)) </tt> se može jednostavno napisati kao <tt> (λ x. x x) λ y. y</tt>.
Lambda izrazi kao što je <tt> λ x. (x y) </tt> ne definiraju funkcije jer je pojavljivanje varijable <tt>y</tt> slobodno, tj. nije vezano nijednom <tt>λ</tt> u izrazu. Vezanje pojavljivanja varijabli je (matematičkom indukcijom nad strukturom lambda izraza) definirano sljedećim pravilima:
Nad skupom lambda izraza je definirana relacija ekvivalencije (ovdje označena kao <tt>==</tt>) koja obuhvaća intuitivan koncept da izrazi označuju istu funkciju. Ova relacija ekvivalencije je definirana pravilom α-konverzije i pravilom β-redukcije. Ponekad se definira alternativna relacija ekvivalencije, dobivena prihvaćanjem trećeg pravila zvanog η-konverzija.
α-konverzija
Pravilo alfa-konverzije je namijenjeno izražavanju ideje da su imena vezanih varijabli nevažna - a primjer da su <tt> λx.x </tt> i <tt> λy.y </tt> iste funkcije. Međutim, pravilo nije jednostavno kao što se na prvi pogled čini (vidi lambda uzdizanje) za praktičnu implementaciju). Postoji nekoliko ograničenja na to kad vezana varijabla može biti zamijenjena drugom. Primjerice, ako se zamijeni x sa y u λx.λy.x, dobije se λy.λy.y, što nije u potpunosti isto.
Pravilo alfa-konverzije iskazuje da ako su <tt>V</tt> i <tt>W</tt> varijable, <tt>E</tt> je lambda izraz i
Ca' al Piano, Vicenza
Ca' al Piano je naselje u Italiji u provinciji Vicenza, u regiji Veneto.
Prema proceni iz 2011. u naselju je živelo 57 stanovnika. Naselje se nalazi na nadmorskoj visini od 39 m.
Lambda račun
α-konverzija
Kao primjer uočavamo da je
<tt>for (int i = 0; i < max; i++) { proc(i); }</tt>
istovjetno
<tt>for (int j = 0; j < max; j++) { proc(j); }</tt>
β-redukcija
Pravilo beta-redukcije izražava ideju aplikacije funkcije.
Kaže da vrijedi ako sva slobodna pojavljivanja u <tt>E′</tt> ostaju slobodna u <tt>E[V := E′]</tt>.
Više operacijska definicija relacija ekvivalencije može biti dana apliciranjem pravila samo slijeva na desno. Izraz oblika <tt>((λ V. E) E′)</tt> se zove beta redeks. Lambda izraz koji ne dopušta nijednu beta redukciju, tj. nema beta redeksa kao podizraza, se zove normalni oblik. Nije svaki lambda izraz ekvivalentan normalnom obliku, ali ako jest, taj je normalan oblik jedinstven do na imenovanje vezanih varijabli. Nadalje, postoji algoritam za računanje normalnih oblika: zamjenjuj prvu (krajnje lijevu) varijablu odgovarajućim stvarnim argumentom, sve dok daljnja redukcija nije moguća. Ovaj algoritam zaustavlja ako i samo ako lambda izraz posjeduje normalni oblik. Church-Rosserov teorem tada kaže da dva izraza rezultiraju u istom normalnom obliku do na preimenovanje vezanih varijabli ako i samo ako su ekvivalnetni.
η-konverzija
Postoji i treće pravilo, eta-konverzija, koje može biti dodano ovim dvama kako bi se oformila nova relacija ekvivalencije. Eta-konverzija izražuje ideju ekstenzionalnosti (opsegovnosti), koja je u ovom konstekstu ta da su dvije funkcije jednake ako i samo ako daju isti rezultat za sve argumente. Eta-konverzija pretvara između <tt> λ x. f x </tt> i <tt> f </tt> kadgod se <tt>x</tt> ne pojavljuje slobodno u <tt>f</tt>. Ovo se može shvatiti kao istovjetno ekstenzionalnosti kako slijedi:
Ako su <tt>f</tt> i <tt>g</tt> ekstenzionalno ekvivalentne, tj. ako <tt> f a==g a </tt> za sve lambda izraze <tt>a</tt>, tada posebice uzimanjem <tt>a</tt> kao varijable <tt>a</tt> koja se ne pojavljuje slobodna u <tt>f</tt> i <tt>g</tt> imamo <tt> f x == g x </tt> te stoga <tt> λ x. f x == λ x. g x</tt>, te stoga eta-konverzijom slijedi <tt> f == g</tt>. Stoga ako uzmemo eta-konverziju kao validnu, iznalazimo da je ekstenzionalnost također validna.
Kontekstno ovisna gramatika
Kontekstno ovisna gramatika (rjeđe još i gramatika ovisna o sadržaju, te okolinska gramatika, kontekstualna gramatika ) je formalna gramatika u kojoj lijeve i desne strane bilo koje produkcije mogu biti okružene kontekstom završnih i nezavršnih znakova. Kontekstno ovisne gramatike su općenitije od kontekstno neovisnih gramatika, ali još uvijek dovoljno pravilne da mogu biti parsirane linearno ograničenim automatom.
Lambda račun
η-konverzija
Vrijedi i obratno, ako je ekstenzionalnost uzeta kao validna, tada s obzirom da beta redukcijom slijedi da za sve <tt>y</tt> imamo <tt> (λ x. f x) y == f y</tt>, imamo <tt> λ x. f x ==  f</tt>;  tj. eta-converzija je validna.
Kontekstno ovisna gramatika
Koncept kontekstno ovisne gramatike je uveo Noam Chomsky 1950-ih kao sredstvo opisa sintakse prirodnog jezika u kojem je zaista čest slučaj da riječ može ali i ne mora biti prikladna na određenim mjestima ovisno o kontekstu. Formalni jezik koji kontekstno ovisna gramatika opisuje se zove kontekstno ovisni jezik.
Lambda račun
Aritmetika u lambda računu
Nekoliko je mogućih načina za definirati prirodne brojeve u lambda računu, ali daleko najuobičajeniji su Churchovi numerali, koji mogu biti definirani na sljedeći način: i tako dalje. Intuitivno, broj <tt>n</tt> u lambda računu je funkcija koja prima funkciju <tt>f</tt> kao argument i vraća <tt>n</tt>-tu kompoziciju od <tt>f</tt>. Drugim riječima, Churchov je numeral funkcija višeg reda - prihvaća jednoargumentnu funkciju <tt>f</tt> i vraća drugu jednoargumentnu funkciju.
Kontekstno ovisna gramatika
Formalna definicija
Formalna gramatika G = (N, Σ, P, S) je kontekstno ovisna ako sve produkcije u P imaju oblik pri čemu je A ∈ N (tj. A je jedan nezavršni znak), α,β ∈ (N U Σ)* (tj. α i β su nizovi nezavršnih i završnih znakova) te γ ∈ (N U Σ)+ (tj. γ je neprazni niz završnih i nezavršnih znakova). Kao dodatak, produkcija oblika pri čemu ε predstavlja prazni niz je dozvoljena ako se S ne pojavljuje na desnoj strani neke od produkcija iz P.
Lambda račun
Aritmetika u lambda računu
(Valja uočiti da se u izvornom Churchovom lambda računu zahtijevalo bar jedno pojavljivanje formalnog parametra lambda izraza u tijelu funkcije, što gornju definiciju broja 0 čini nemogućom.)
Kontekstno ovisna gramatika
Formalna definicija
Ime kontekstno ovisna se objašnjava nizovima znakova α i β koji oblikuju kontekst znaka A i time određuju može li se A zamijeniti sa γ ili ne. Ovo je različito od kontekstno neovisne gramatike koje ne uzima u obzir kontekst nezavršnog znaka.
Alternativna definicija
Druga definicija kontekstno ovisnih gramatika ih definira kao formalne gramatike sa ograničenjem da za sva pravila α -> β u P vrijedi |α| ≤ |β| pri čemu je |α| duljina niza znakova α. Takva gramatika se još zove i monotona ili nekontraktirajuća gramatika pošto nijedna od njenih produkcija ne smanjuje duljinu prepisanog niza znakova.
Lambda račun
Aritmetika u lambda računu
Za ovu definiciju Churchovih numerala, može se definirati funkcija sljedbenika, koja uzima broj <tt>n</tt> i vraća <tt>n + 1</tt>: Zbrajanje je definirano na sljedeći način: <tt>PLUS</tt> se može shvatiti kao funkcija koja uzima dva prirodna broja kao argumente i vraća prirodni broj. Zabavno je provjeriti da su ekvivalentni lambda izrazi. Množenje može biti definirano kao: ideja množenja m i n je ista kao i m puta dodavanja n nuli. Alternativno, Prethodnik <tt> PRED n = n - 1 </tt> pozitivnog cijelog broja n je nešto teži: i alternativno: Valja uočiti trik <tt>(g 1) (λ u. PLUS (g k) 1) k</tt> koji evaluira u <tt>k</tt> ako je <tt>g(1)</tt> nula i u <tt>g(k) + 1</tt> inače.