jkorsvik/nowiki_second_scrape_merged huggingface dataset:
Hardanger len

Hardanger len også Hardanger og Halsnøy (kloster)len var en administrativ enhet (len) i Norge fra middelalderen inntil den siste lensherre døde i 1686.
Hardanger len stod i særstilling innen Bergenhus hovedlen ettersom Hardanger sysle, senere Hardanger fogderi ble slått sammen med Halsnøy kloster og forlent til i all hovedsak danske adelsmenn som vanligvis satt i Danmark. Lenet ble bestyrt av en lokal fogd eller sysselmann, mens lensherren selv sjelden eller aldri satte sin fot i lenet. På Halsnøy klostergods var det store og gode hus, hvor lensherrene bodde dersom de styrte lenet selv, eller fogden om lensstyringen var forpaktet til ham.


== Historikk ==
Etter å ha vært et ordinært len i senmiddelalderen, ble Hardanger len fra 1450 et bispelen. I forbindelse med kåringen av Christian I som konge over Norge på riksmøtet i Bergen i 1450 skjenket kongen lenet til Bergens biskop mot at det til «evig tid» skulle holdes en årlig messe i Kristkirken til ære for St. Olav og med forbønn for kongen. Dette vedvarte i 85 år, til reformasjonen som også gjorde slutt på sjelemessene.
I 1525 betaler Vincens Lunge inn skatten av bispelenet Hardanger, så på dette tidspunkt er lenet i ferd med å bli et ordinært len. Fra 1539 er igjen Hardanger og Halsnøy klostergods igjen samlet under felles lensherre, Jens Splid som er gift med enken etter Vincens Lunge. Lenene i Norge ble avskaffet etter innføringen av eneveldet i 1660, men også etter denne tid ble det innvilget nye forleninger. Således fikk arvingene etter Christopher Urnes død i 1663 beholde lenet til 1. mai 1664, videre fikk Frederik von Ahlefeldt lenet fra 1. mai 1664 til sin død i 1686. Lenet inndras og blir en del av Bergenhus amt.


== Lensherrer ==
Tarald Kane (før 1440)
Markvard Bukk (ca 1440-50)Bergensbiskoper:

Torleiv Olavson Nordmann (1450-55) (Drept av Hanseatene)
Paulus Justianus (1456-60)
Finnboge Niklasson (1461-74)
Hans Teiste (1474–1506)
Andor Ketilson (1507-22)
Olav Torkjellson (1522-?)Verdslige lensherrer:

Vincens Lunge (ca 1525–1536)
Jens Splid (1537–1552)
Erik Valkendorf (1523–1606)
Jørgen Brockenhuus (1606-34)
Erik Ottesen Orning (1634-46)
Otte Krag (1646-50)
Jørgen Rosenkrantz (1651-54)
Peder Juell (1654-56)
Dorte Sehested (1656-59) (enken overtok etter Peder Juells død)
Christopher Urne (1659 - 27. september 1663)
Urnes arvinger beholdt Hardanger og Halsnøy klosterlen til 1. mai 1664
Frederik von Ahlefeldt (1. mai 1664–1686)


== Skipreider ==
Hardanger fogderi var i skattematrikkelen 1647 inndelt i følgende skipreider:

Jondal
Granvin
Ulvik
Ullensvang
Odda
Kinsarvik
Øystese
No Love Deep Web

No Love Deep Web (stilisert som NØ LØV∑ D∑∑P W∏B eller bare NO LOVE DEEP WEB) er det andre studioalbumet til den eksperimentelle hiphop-gruppen Death Grips. Det ble selvutgitt av gruppen online som en fri nedlastning 1. oktober 2012. Det ble spilt inn fra mai til august 2012, og viser hva gruppen har skildret som en mørkere og mer minimalistisk stil enn tidligere. Albumet ble lekket av gruppen selv på grunn av komplikasjoner over utgivelsesdatoen med plateselskapet Epic, som senere droppet dem. Albumet ble senere tilgjengelig for kjøp via gruppens eget konsern, Third Worlds, samt via Harvest Records.
Albumets utgivelse ble møtt med stor oppmerksomhet fra online mediegrupper, hovedsakelig på grunn av sitt seksuelt eksplisitte albumcover, som er et bilde av gruppemedlemmet Zach Hills erigerte penis, med albumtittelen skrevet på langs. Utgivelsen fikk generelt gode anmeldelser fra kritikerne som roste dets kompleksitet.


== Referanser ==


== Eksterne lenker ==
(en) No Love Deep Web på Discogs 
(en) No Love Deep Web på MusicBrainz 
(en) No Love Deep Web på AllMusic
Kuurne–Brussel–Kuurne 2017

Kuurne–Brussel–Kuurne 2017 var den 69. utgaven av sykkelrittet Kuurne–Brussel–Kuurne og ble arrangert 26. februar 2017, dagen etter Omloop Het Nieuwsblad. Det belgiske sykkelrittet, med start og målgang i Kuurne, var en del av Europatouren i landeveissykling 2017.
Den slovakiske verdensmesteren Peter Sagan vant rittet foran fjorårets belgiske vinner Jasper Stuyven og britiske Luke Rowe. Nordmannen Alexander Kristoff falt av på brosteinspartiet Oude Kwaremont og endte 13 sekunder bak Sagan i mål på en 21.-plass.


== Lag ==


== Resultat ==


== Referanser ==


== Eksterne lenker ==
Offisielt nettsted 
(en) Kuurne-Brussel-Kuurne 2017 – kategori av bilder, video eller lyd på Commons 
(en) Kuurne–Brussel–Kuurne 2017 - ProCyclingStats 
(en) Kuurne–Brussel–Kuurne 2017 – Cycling Archives 
(en) Kuurne–Brussel–Kuurne 2017 – Cycling Quotient
Christian-Emil Smith Ore

Christian-Emil Smith Ore (født 21. september 1957 i Oslo) er en norsk leksikograf. Han var IKT-arkitekt for Norsk Ordbok og var styremedlem i prosjektet fra 2009 til 2015.
Ore studerte ved Universitetet i Oslo og er cand.mag. med russisk, latin og lingvistikk fra 1981 og cand.real. med informatikk og matematikk fra 1985. I 1988 tok han doktorgraden, deretter var han postdoktor ved University of Edinburgh et år. Fra 1990 til 1998 planla og ledet han Dokumentasjonsprosjektet, et prosjekt for å digitalisere store deler av kildematerialet til Norsk ordbok. Fra 1998 har Christian-Emil Smith Ore ledet Enhet for digital dokumentasjon (EDD) ved Universitetet i Oslo. Senteret hadde ansvar for utviklingen av den digitale infrastrukturen til prosjektet. 
Fra 1991 til 2006 deltok Christian-Emil Smith Ore sammen med Oddrun Grønvik i det leksikografiske morsmålsprosjektet African Languages Lexicography, ALLEX-prosjektet i Zimbabwe. Han var også koordinator for et tilsvarende prosjekt, Cross Border Language Standardization, CROBOL (2008–12) i Mosambik og Zimbabwe.


== Publikasjoner ==
(no) Publikasjoner av Christian-Emil Smith Ore i forskningsdokumentasjonssystemet CRIStin
(no) Publikasjoner av Christian-Emil Smith Ore i BIBSYS


== Referanser ==


== Kilder ==
Biografi i Helene Urdland Karlsen, Lars S. Vikør og Åse Wetås : Livet er æve og evig er ordet. Norsk Ordbok 1930 – 2016. Samlaget, 2016 ISBN 978-82-521-9008-3
Death Grips’ diskografi

Death Grips er en amerikansk eksperimentell hiphop-gruppe. Deres diskografi består av fem studioalbum, en mixtape, ett lydspor, to EP-er, og seks singler.


== Album ==


=== Studioalbum ===


=== Mixtaper ===


=== Lydspor ===


== EP-er ==


== Singler ==


== Gjesteopptredener ==


== Remixer ==


== Musikkvideoer ==


== Referanser ==
Jake Livermore

Jake Cyril Livermore (født 14. november 1989) er en engelsk fotballspiller som spiller for West Bromwich Albion FC.


== Landslaget ==
15. august 2012 fikk han sin første landskamp for England mot Italia.


== Referanser ==


== Eksterne lenker ==
(en) Jake Livermore – UEFA 
(en) Jake Livermore – Transfermarkt 
(en) Jake Livermore – national-football-teams.com 
(en) Jake Livermore – WorldFootball.net 
(en) Jake Livermore – Soccerbase.com 
(en) Jake Livermore – Soccerway 
(en) Jake Livermore – EU-Football.info 
(en) Jake Livermore – FBref 
(es) Jake Livermore – as.com
Kuurne–Brussel–Kuurne 2016

Kuurne–Brussel–Kuurne 2016 var den 68. utgaven av sykkelrittet Kuurne–Brussel–Kuurne og ble arrangert 28. februar 2016, dagen etter Omloop Het Nieuwsblad. Det belgiske sykkelrittet, med start og målgang i Kuurne, var en del av Europatouren i landeveissykling 2016.
Belgiske Jasper Stuyven stakk fra hovedfeltet med 20 kilometer til mål og holdt unna med 17 sekunder til nordmannen Alexander Kristoff, som tok sin andre strake 2.-plass i rittet ved å vinne spurten i hovedfeltet foran franske Nacer Bouhanni.Lotto Soudal sin belgiske rytter Stig Broeckx ble, med 34 kilometer igjen å sykle, påkjørt av en medisinsk motorsykkel og måtte bli kjørt til sykehus med en skadet hånd og skulder.


== Lag ==


== Resultat ==


== Referanser ==


== Eksterne lenker ==
Offisielt nettsted 
(en) Kuurne-Brussel-Kuurne 2016 – kategori av bilder, video eller lyd på Commons 
(en) Kuurne–Brussel–Kuurne 2016 - ProCyclingStats 
(en) Kuurne–Brussel–Kuurne 2016 – Cycling Archives 
(en) Kuurne–Brussel–Kuurne 2016 – Cycling Quotient
DAR Constitution Hall

DAR Constitution Hall er en konserthall i Washington, D.C. Den ble bygget i 1929 av Daughters of the American Revolution (DAR) til deres årlige konvensjoner og medlemsmøter. Den overgikk Memorial Continental Hall. Senere ble de to bygningene koblet sammen med en tredje, DAR Museum, administrative kontorer og genealogisk bibliotek. DAR Constitution Hall eies og drives av National Society of Daughters of The  American Revolution. Den ble utpekt et nasjonalt historisk landemerke i 1985.


== Beskrivelse ==
Hallen ble tegnet av arkitekten John Russell Pope. Den ligger like øst for innenriksdepartementet, mellom American Red Cross og Organisasjonen av amerikanske stater, overfor Ellipse og foran Det hvite hus. Hallen rommer 3 702 tilhørere/publikum med 2 208 i parterre og 1 234 i orkester. I tillegg, 52 losjer (som inneholder fem plasser hver). Dessuten presidentens losje.Hallen er bygget i nyklassisistisk stil med en utvendig fasade kledd med kalkstein fra Alabama. Den huser det største auditoriet i Washington. Auditoriet har en u-formet balkong for å gi det den enorme mengden med plass som kreves, samtidig som den beholder praktisk synsavstand. Auditoriet har en tre-klaviatur, 40 stemmers Skinner pipeorgel


== Arrangementer ==
Hallen brukes til konseter, skoleavslutning, konferanser, bedriftsmøter og TV-programmer. I 1939 ble hallen benyttet til premieren på Mr. Smith Goes to Washington, i 1983 til opptak av Eddie Murphy Delirious, i 1997 til Whitney Houstons Classic Whitney: Live from Washington, D.C.-konsert,  i 2002 til Martin Lawrence Live: Runteldat, i 2004 til Chris Rocks HBO-spesial og albumet Never Scared og i 2009 til Robin Williams' HBO-spesial Weapons of Self Destruction. Den er brukt til TV-opptakene til  Jeopardy! i 1997, 2004, 2012 og 2016 og til opptakene av Wheel of Fortune i 2000, 2004, 2005 og 2007. I 2008 til det årlige møtet til Verdensbankens International Monetary Fund. 
Fa 1930, og frem til åpningen av John F. Kennedy Center for the Performing Arts i 1971, ble Constitution Hall brukt av National Symphony Orchestra og den var byens hovedarena for turnerende soloister orkestre. Noen av de tidligste countrymusikkonsertene ble også holdt der. organisert av impressario Connie B. Gay.I 1939 nektet DAR den kjente afroamerikanske sangeren Marian Anderson å synge der, noe som fikk First Lady Eleanor Roosevelt til å trekke sitt medlemskap i protest. Organisasjonen endret senere sin policy i rasespørsmålet, og Anderson opptrådte i Constitution Hall for et arrangement i 1943 av American Red Cross som var til inntekt for krigsinvalider. I 1964 valgte hun hallen til første opptreden under sin avskjedsturne.Alle amerikanske presidenter etter Calvin Coolidge har overvært minst ett arrangement der.


== Referanser ==
Jörgen Westholm

Jörgen Westholm (født 27. mars 1972) er en svensk travtrener og kusk som bor på sin egen gård i Karlsro utenfor Sala.
I sin tidlige trenerkarriere vant Westholm en hel del seiere med kaldblodshesten Pilkillen,Stig Eklund var eieren til hesten. Den 18. april 2013 vant Team Westholm sin 1000. trenerseier Westholm i sulkyn.
17. mars 2017 vant Jørgen Wesholm sin 1000 seier som kusk med hesten Ponce de Leon.


== Meriter ==
Seier i Svenskt Trav-Oaks 2008 med Annicka
Seier i Oslo Grand Prix 2007 med Super Light
Seier i Konung Gustaf V:s Pokal 2006 med Rite On Track
Femteplass i Elitloppet 2006 med Super Light
Sjetteeplass i Prix d'Amérique 2007 med Super Light
Fjerdeplats i Prix d'Amérique 2006 med Super Light
Seier i Axevallalöpning 2007 med Super Light
Seier i Svenskt mästerskap for kallblod 2016 med Odin Tabac


== Referanser ==
Bo Ralph

Bo Ralph (født 4. oktober 1945 i Göteborg) er en svensk språkforsker og medlem av Svenska Akademien, som han ble innvalgt til i 1999 etter Torgny Segerstedt på stol nr. 2.
Etter embetseksamen i 1969 og videre forskning i fonologi fikk Bo Ralph filosofisk doktorgrad med avhandlingen Phonological differentiation, Studies in Nordic Language History. Han arbeidet lenge med Sture Allén i et prosjekt om leksikalsk database på Språkdata på Göteborgs universitet. Som et resultat av dette kom Svensk ordbok i 1986. Fra 1982 til 1984 ble han professor i nordiske språk ved Stockholms universitet, deretter professor i nordiske språk ved Göteborgs universitet. Han har særlig virket innenfor faget leksikografi og har representert Göteborgs universitet i samarbeid om leksikografi i ALLEX-prosjektet. I 1999 ble han også invalgt i Det Norske Videnskaps-Akademi og fra 2004 er han også medlem av Agder vitenskapsakademi.


== Bibliografi (i utvalg) ==
Phonological differentiation, Studies in Nordic Language History, akademisk avhandling 1975
Introduktion i historisk språkvetenskap, Data linguistica, 7. Stockholm, 1972.
Fornsvenska för nusvenskar, språkhistoriskt kompendium 1983.
Sicket mål, populärvetenskapligt verk om göteborgsdialekt, 1986
Mål på hemmaplan, dito, 1987, (båda tillsammans med kollegan Lars-Gunnar Andersson)
Hur svenskan blev svensk, föredrag, Kungl. Vitterhets Historie och Antikvitets Akademiens årsbok 1995.
Modersmålet i fäderneslandet, ett urval av Sture Alléns artiklar till dennes sjuttioårsdag 1999
Minnesteckning över Karl Eduard Kindblad, Stockholm, 2001.
Torgny Segerstedt, inträdestal i Svenska Akademien.


== Referanser ==


== Kilder ==
Omtale hos svenskaakademien.se
Rekursivt nummererbare språk

I matematikk, informatikk og logikk er et rekursivt nummererbart språk (også kalt turinggjenkjennelig språk) et språk som kan gjenkjennes av ei turingmaskin. Sagt på en annen måte, hvis det eksisterer ei turingmaskin som vil kunne ta alle gyldige strenger for det gitte språket. En annen definisjon på det er hvis språket er en rekursivt nummererbar delmengde av mengden av alle mulige ord over alfabetet av språket.
I Chomskyhierarkiet er turinggjenkjennelige språk kjent som type-0 språk og utgjør det ytterste laget i hierarkiet. Det betyr at alle regulære språk, kontekstfrie språk, kontekstsensitive språk og rekursive språk er turinggjenkjennelige.


== Eksempler ==
Stoppeproblemet er turinggjenkjennelig, men ikke turingavgjørbart. Det betyr altså at man kan lage ei turingmaskin som tar ei turingmaskin N som input og som aksepterer om N stopper. Men det finnes inga turingmaskin som bestemmer om N vil stoppe eller ikke. Da ville det også vært turingavgjørbart.
Et annet velkjent eksempel på et turinggjenkjennelig språk er posts korrespondanseproblem. Dette er heller ikke turingavgjørbart fordi det finnes inga turingmaskin for å bestemme problemet, med mindre det er over et alfabet bestående av et symbol.


== Egenskaper ==
Turinggjenkjennelige språk er lukket under følgende operasjoner. Det vil altså si at for to turinggjenkjennelige språk L og P, så vil resultatet av operasjonen fortsatt være et turinggjenkjennelig språk.

Kleenestjerna av L
Konkateneringa av L og P
Unionen av L og P
Snittet av L og P


== Litteratur ==
Sipser, M. (1996), Introduction to the Theory of Computation, PWS Publishing Co.
Kozen, D.C. (1997), Automata and Computability, Springer.
Microphaeochroops

Microphaeochroops er en slekt av biller som hører til gruppen skarabider (Scarabaeoidea).


== Utseende ==
Små til middelsstore (4 - 6 millimeter), brede, litt pæreformede, hvelvede biller, brunlige til svarte, nokså matte, fint hårete, oversiden kraftig punktert.


== Levevis ==
Lite er kjent om hybosoridenes biologi. De voksne billene flyr om natten og kommer gjerne til lys. I alle fall noen arter kan finnes på relativt ferske kadavere, eller møkk.


== Utbredelse ==
Slekten er utbredt i Sørøst-Asia (Vietnam, Vest-Malaysia og Sarawak).


== Systematisk inndeling ==

Ordenen biller, Coleoptera
Underordenen Polyphaga
Overfamilien skarabider, Scarabaeoidea
Familien Hybosoridae – ca. 330 arter fordelt på 40 slekter
Underfamilien Hybosorinae
Slekten Microphaeochroops Pic, 1930
Microphaeochroops hirsutus Pic, 1930
Microphaeochroops laetus Arrow, 1942
Microphaeochroops nigrosetosus Kuijten, 1985
Microphaeochroops peninsularis Arrow, 1942
Microphaeochroops varius Kuijten, 1985


== Eksterne lenker ==
Kuijten, P.J. (1985) Revision of some hybosorine genera from the Indo-Malayan subregion: Microphaeochroops, Microphaeolodes, Pantolasius and Phaeochridius (Coleoptera: Scarabaeidae: Hybosorinae).  Zoologische Verhandelingen Leiden 222: 1-39 [1]
(en) Microphaeochroops i Encyclopedia of Life 
(en) Microphaeochroops i Global Biodiversity Information Facility 
Sjekkliste over artene
Oversikt over artene
Svensk mesterskap i friidrett for lag 2016

Svensk mesterskap i friidrett for lag 2016 (Lag-SM 2016) ble arrangert i Borgsmo Idrottspark i Norrköping i Sverige 13. juli 2016.


== Resultater lagkonkurranse, menn ==


== Enkeltresultater, menn ==


=== 100 meter ===

Vind: -1,3 m/s.


=== 200 meter ===

Vind: -0,7 m/s.


=== 400 meter ===


=== 800 meter ===


=== 1500 meter ===


=== 5000 meter ===


=== 3000 meter hinder ===


=== 110 meter hekk ===


=== 400 meter hekk ===


=== Høydehopp ===


=== Stavsprang ===


=== Lengdehopp ===


=== Tresteg ===


=== Kulestøt ===


=== Diskos ===


=== Sleggekast ===


=== Spydkast ===


=== 4 x 100 meter stafett ===


== Resultater lagkonkurranse, kvinner ==


== Enkeltresultater, kvinner ==


=== 100 meter ===

Vind: -0,9 m/s.


=== 200 meter ===

Vind: -1,5 m/s.


=== 400 meter ===


=== 800 meter ===


=== 1500 meter ===


=== 5000 meter ===


=== 2000 meter hinder ===


=== 100 meter hekk ===


=== 400 meter hekk ===


=== Høydehopp ===


=== Stavsprang ===


=== Lengdehopp ===


=== Tresteg ===


=== Kulestøt ===


=== Diskos ===


=== Sleggekast ===


=== Spydkast ===


=== 4 x 100 meter stafett ===


== Referanser ==


== Kilder ==
Lag-SM Final i friidrott Borgsmo IP


== Eksterne lenker ==
Svenska Friidrottsförbundet
Codocera

Codocera er en slekt av biller som hører til gruppen skarabider (Scarabaeoidea). De lever for det meste i sandige områder og kalles "sand-loving scarab beetles" på engelsk. Ellers er biologien deres dårlig kjent.


== Utseende ==
Små til middelsstore (ca. 5 millimeter), bredt ovale, brunrøde biller uten metallglans. Kroppen er middels bred og hvelvet, fint punktert. Oversiden er fint hårete. Særlig hannene har påfallende store, fremstrakte kjever (mandibler). Dekkvingene har kraftige punkstriper og nokså tett behåring.


== Levevis ==
Veldig lite er kjent om deres biologi. De fleste artene finnes på varme, sandige steder. Man har gjettet på at de lever av sopp i underjordiske ganger. Larvene til én art har blitt funnet i avfallshauger som maur har slengt fra seg, og det er mulig at flere av artene er knyttet til maur. Billene flyr helst om natten og har av og til blitt fanget tallrikt i lysfeller.


== Utbredelse ==
Slekten har en Holarktisk utbredelse og finnes i Mellom- og Øst-Europa (vestover til Tyskland), Asia og Nord-Amerika.


== Systematisk inndeling ==

Ordenen biller, Coleoptera
Underordenen Polyphaga
Overfamilien Skarabider, Scarabaeoidea
Familien Ochodaeidae Mulsant & Rey, 1871
Underfamilien Ochodaeinae Mulsant & Rey, 1871 – vidt utbredt
Gruppen Ochodaeini Mulsant & Rey, 1871
Slekten Codocera Eschscholtz, 1821
Codocera ferruginea (Eschscholtz, 1818) - Russland
Codocera gnatho Fall, 1907 - sørlige USA og nordlige Mexico
Codocera tuberculata Medvedev & Nikolajev, 1972


== Eksterne lenker ==
(en) Codocera i Encyclopedia of Life 
(en) Codocera i Global Biodiversity Information Facility 
(en) Codocera hos Fauna Europaea 
(en) Codocera hos ITIS 
(en) Kategori:Codocera – bilder, video eller lyd på Wikimedia Commons 
Codocera – detaljert informasjon på Wikispecies 
[ Oversikt over artene]
Bilde av Codocera ferruginea
Generic Guide to New World Scarab Beetles - Codocera gnatho [1]
(en) Codocera – kategori av bilder, video eller lyd på Commons
Chaetocanthus

Chaetocanthus er en slekt av biller som hører til gruppen skarabider (Scarabaeoidea). De lever for det meste i sandige områder og kalles "sand-loving scarab beetles" på engelsk. Ellers er biologien deres dårlig kjent.


== Utseende ==
Små til middelsstore, vanligvis brune biller uten metallglans. Kroppen er avlang og hvelvet.


== Levevis ==
Veldig lite er kjent om deres biologi. De fleste artene finnes på varme, sandige steder. Man har gjettet på at de lever av sopp i underjordiske ganger. Larvene til én art har blitt funnet i avfallshauger som maur har slengt fra seg, og det er mulig at flere av artene er knyttet til maur. Billene flyr helst om natten og har av og til blitt fanget tallrikt i lysfeller.


== Utbredelse ==
Slekten er utbredt i det sørlige Afrika, nordover til Den demokratiske republikken Kongo.


== Systematisk inndeling ==

Ordenen biller, Coleoptera
Underordenen Polyphaga
Overfamilien Skarabider, Scarabaeoidea
Familien Ochodaeidae Mulsant & Rey, 1871
Underfamilien Chaetocanthinae Scholtz, 1988 – Afrika og vestlige Nord-Amerika
Gruppen Chaetocanthini Scholtz, 1988
Slekten Chaetocanthus Péringuey, 1901 – Afrika
Chaetocanthus arenarius Scholtz & Evans, 1987
Chaetocanthus bechuanus Péringuey, 1908
Chaetocanthus insuetus Péringuey, 1901


== Eksterne lenker ==
Oversikt over artene
(en) Chaetocanthus i Encyclopedia of Life 
(en) Chaetocanthus i Global Biodiversity Information Facility 
Chaetocanthus – detaljert informasjon på Wikispecies
Rekursive språk

I matematikk, informatikk og logikk er et formelt språk et rekursivt språk (også kalt turingavgjørbart språk) hvis det eksisterer ei turingmaskin som sies å avgjøre språket. Med andre ord må det eksistere ei turingmaskin som for ethvert input vil kunne stoppe. Om dette kravet ikke er oppfylt, kalles det i stedet for et rekursivt nummererbart språk. Rekursive språk sies å være avgjørbare.
Alle rekursive språk er også rekursivt nummererbare. Alle regulære språk, kontekstfrie språk og kontekstsensitive språk er også rekursive språk.


== Eksempel ==
Som beskrevet tidligere, ethvert kontekstsensitivt språk er et rekursivt språk. Dermed vil det følgende kontekstsensitive språket også være et rekursivt språk.
  
    
      
        L
        =
        {
        
        w
        ∈
        {
        a
        ,
        b
        ,
        c
        
          }
          
            ∗
          
        
        ∣
        w
        =
        
          a
          
            n
          
        
        
          b
          
            n
          
        
        
          c
          
            n
          
        
        
          
             for some 
          
        
        n
        ≥
        1
        
        }
      
    
    {\displaystyle L=\{\,w\in \{a,b,c\}^{*}\mid w=a^{n}b^{n}c^{n}{\mbox{ for some }}n\geq 1\,\}}
  


== Egenskaper ==
Rekursive språk er lukket under følgende operasjoner. Det vil altså si at for to rekursive språk L og P, så vil resultatet av operasjonen fortsatt være et rekursivt språk.

Kleenestjerna av L
Konkateneringa av L og P
Bildet under en «e-free» homomorfisme
Unionen av L og P
Snittet av L og P
Komplementet av L
Mengdedifferansen av L og PDen siste egenskapen følger av at snittet og komplementet er lukkede operasjoner. Legg merke til at rekursive språk har betydelig flere lukkede operasjoner enn rekursivt nummererbare språk og andre språk lengre ned i Chomskyhierarkiet.


== Litteratur ==
Michael Sipser (1997). «Decidability». Introduction to the Theory of Computation. PWS Publishing. s. 151–170. ISBN 0-534-94728-X. 
Chomsky, Noam (1959). «On certain formal properties of grammars». Information and Control. 2 (2): 137–167. doi:10.1016/S0019-9958(59)90362-6.