Kieli merkitys ja logiikka
|
|
- Sakari Mäkinen
- 6 vuotta sitten
- Katselukertoja:
Transkriptio
1 Luento 5 Kieli merkitys ja logiikka Luento 6: Konstituentit, Lauseen derivaatio Luento 6: , Aivot ja luovuus Lauserakennekielioppi, kontekstiton kielioppi Transformaatiot Kontekstiton kielioppi Kontekstiton kielioppi Aakkosto: Välikesymbolit S, NP, AP, N, V, A,.. Terminaalisymbolit (päätesymbolit) Pekka, Merja, poika, pieni, suuri,... Lähtösymboli S Uudelleenkirjoitussäännöt NP (A) N Merkitään vaihtoehtoa NP AN N Esimerkiksi yhteenlaskun tuottava kontekstiton kielioppi. E N + E N N muodostetaan jäsennys lausekkeelle: Saara Huhmarniemi 1
2 Merge Aivot ja luovuus Minimalistisessa ohjelmassa (Chomsky 1995, 2000, 2001,...) kombinatorinen luovuus pelkistyi yhteen syntaktiseen operaatioon: Merge (Liitostaminen) Vastaa binääristä uudelleenkirjoitussääntöä: a b c Tässä a, b ja c ovat sanoja tai monimutkaisia konstituentteja. Liitostaminen = kombinatorinen luovuus Käsitteellis-intentionaaliset järjestelmät ja toisaalta sensoris-motoriset järjestelmät säätelevät sitä, mitkä elementit voidaan liitostaa toisiinsa. Kielessä ja kieliopissa on lisäksi paljon muita, ei kombinatorisia ilmiöitä Fitch & Hauser 2004: Koeastelma: Tamariiniapinoille esitettiin ärsykkeinä merkityksettömiä tavujonoja jotka noudattivat assosiatiivisia sääntöjä kombinatorisia sääntöjä Tamariinit pystyivät erottamaan ärsykkeet jotka rikkovat assosiatiivisia sääntöjä Eivät erottaneet virheitä kombinatorisissa säännöissä Kottaraisilla jonkin verran parempia tuloksia Aivot ja luovuus Friederici (2006): Assosiatiivisten ja rekursiivisten ärsykkeiden prosessointi tapahtuu eri aivoalueilla Moro (2001): Kombinatorinen luovuus voidaan paikantaa Brocan alueelle sekä aivojen subkortikaalisiin, aivokuoren alla sijaitseviin osiin (tyvitumakkeet) Otsalohkon aivokuoren hermoverkot kytkeytyvät rinnakkaisesti subkortikaalisiin järjestelmiin, muodostavat laajan, takaisinkytketyn verkoston Aivot ja luovuus Brocan alue on osa otsalohkoa, joka vastaa korkeammista kognitiivisista toiminnoista: tarkkaavaisuus, suunnittelu, työmuistin ylläpitäminen, päätöksenteko, emootioiden yhdistäminen päätöksentekoon,.. Kieli kietoutuu yhteen abstraktin ajattelun, suunnittelun ja käsitteiden kanssa Kielellä on oleellinen merkitys lapsen abstraktio- ja käsitteellistämiskyvylle Vuorovaikuttavat, ollen eri ilmiöitä Saara Huhmarniemi 2
3 Pirahã-heimo ja kieli Pirahã-heimo ja kieli Juttu YLE:n Ykkösaamussa sisältää linkkejä artikkeleihin ja lehtikirjoituksiin: Brasilian Maici-joen rannalla asuva heimo. Mahdotonta oppia laskemaan: lukujen rekursio 1, 2, 3,... Ei kvanttori-ilmaisuja: jokainen, kaikki, eräs,.. Matemaattiset kyvyt yleensä Matemaattinen rekursio voi hävitä aivovaurion yhteydessä Pienet lapset eivät ymmärrä laskemista Matemaattisen rekursion kehittyminen vaatii herkkyyskauden? Matemaattisten käsitteiden ymmärtäminen edellyttää tiettyjen aivo-alueiden toimintaa ja kypsymistä yksilönkehityksessä. Yksinkertainen laskeminen 1, 2, 3,... Jos lukukäsitteet puuttuvat kielestä ja kulttuurista, nämä aivoalueet eivät pääse kehittymään. Everett: Pirahã-heimon kielessä ei ole rekursiota On ehkä loogisesti mahdollista että Pirahã-heimolta puuttuu rekursio: Jos rekursiota ei ole ympäristössä, siitä vastaavat aivoalueet eivät kypsy normaalisti. Kieli ilman rekursiota Pekka uskoo [ että Merja nukkuu ] Pekka uskoo ja Merja nukkuu Lauseiden välinen riippuvuus pitäisi päätellä kontekstuaalisesti. Pirahãssa eri verbipäätteet sille, onko lause omaa kokemusta vai toisen käden tietoa. Tällä hetkellä Pirahã-heimon kieltä tutkitaan vielä Mitä merkitystä rekursion puuttumisella on ajattelun kannalta? Kielen ja ajattelun produktiivisuus Kombinatorinen luovuus (Fodor 1975: The Language of Thought) Lauseen rakenne Lauseissa näyttää olevan siirtymiä Pekka rakastaa Merjaa. Rakastaako Pekka () Merjaa? Ketä Pekka rakastaa ()? Miten saamme tietoa lauseen rakenteesta? Sanajärjestys Verbin argumenttirakenne, temaattiset roolit Sijamuodot Kongruenssi Anaforat Saara Huhmarniemi 3
4 Temaattiset roolit Temaattiset roolit Lauseessa subjekti ja sen nominatiivisija yhdistyy verbin ilmaiseman tapahtuman tekijän rooliiin. Objekti ja sen akkusatiivisija yhdistyy tekemisen kohteeseen. Pekka rakastaa Merjaa. tekijä tekeminen kohde Näitä lausekkeiden semanttisia rooleja kutsutaan temaattisiksi rooleiksi. Temaattisia rooleja: tekijä, tekemisen kohde, instrumentti, hyötyjä, paikka, aika, tapa Nukkuminen on intransitiivinen sana, koska sillä on argumenttinaan vain tekijä. Pieni poika nukkuu Antaminen vaatii tekemisen kohteen ja hyötyjän. Pekka antoi oman kirjansa Merjalle. Uskominen voi kohdistua propositioihin, jolloin se sallii komplementikseen myös lauseen. Pekka uskoi että hän osaa piirtää Merjan. Temaattinen rooli kohdistuu koko lausekkeeseen. Puhutaan verbin argumenttirakenteesta. Argumenttirakenne Sijamuodot Verbin argumenttirakenne määrittelee siihen liittyvät elementit ja niiden temaattiset roolit. Myös nomineilla ja adjektiiveilla voi olla argumenttirakenne: Kirjan antaminen Merjalle. Pekan juoksu Leipää syövä poika Tällöin nomini viittaa johonkin tapahtumaan, puhutaan myös tapahtumarakenteesta. Nominatiivisija samoin kuin akkusatiivi, genetiivi ja partitiivi liittyvät konstituentin rakenteelliseen positioon. Pekka rakastaa Merjaa. Minä asun lähellä Merjaa. Minä asun Merjan lähellä. Pekka näki Merjan. Saara Huhmarniemi 4
5 Lauserakennekieliopin rajoitukset Lauserakennekielioppi ei tavoita lausepareja, jotka ovat muunnelmia samasta rakenteesta: Passiivi: Me maalasimme talon. We painted the house. Talo maalattiin. The house was painted by us. Kysymyslauseet: Pekka rakastaa Merjaa. Rakastaako Pekka Merjaa? Ketä Pekka rakastaa? Sanajärjestysvaihtelut: Pekka leipoi eilen pullaa. Pullaa Pekka eilen leipoi. Eilen Pekka pullaa leipoi. Elliptiset rakenteet: Minä lähdin kotiin ja sinä et (lähtenyt kotiin). Transformaatiot, siirtymät Chomsky esitteli ongelman ja ratkaisun kirjassaan Syntactic Structures (1957). Transformaatiokielioppi sisältää lauserakennesäännöt joilla kuvataan peruslauseiden rakenne ja transformaatiosäännöt, jotka muuttavat rakenteita. Transformaatioiden eli siirtymien avulla kuvataan elementtien siirtymiä rakenteessa. Siirtymiä ei voi ilmaista lauserakennekieliopin avulla. Kysymyssanat ja kysymyslauseet Kysymyssanat korvaavat lauseenjäseniä. Ne esiintyvät monissa kielissä lauseen edessä. Mitä Pekka söi ()? Missä Pekka söi puuroa ()? Kenet Pekka uskoi Merjan nähneen ()? Kenen Pekka uskoi () nähneen Merjan? Kenet Pekka uskoi, että Merja näki ()? Kuka () söi puuroa? Muotoillaan kysymyslauseille uudelleenkirjoitussääntö esimerkiksi: CP ---> Q S Kysymyssanat ja kysymyslauseet Muotoillaan kysymyslauseille uudelleenkirjoitussääntö esimerkiksi: CP ---> Q S Vastaavasti S:n sääntöä pitää muuttaa siten että kysymyssanaa vastaava konstituentti jätetään pois, esim. Mitä Pekka uskoi Merjan [ löytäneen () ] Muistamisen ongelma nousee siis esille myös uudelleenkirjoitussääntöjen kohdalla. Saara Huhmarniemi 5
6 Kysymyssanat ja kysymyslauseet Kysymyssanat ja kysymyslauseet Kysymyslauseen muodostamiseen liittyy joitain rajoitteita, kysymyssana ei voi siirtyä lauseen eteen mistä tahansa: *Kuka pekka uskoi (että) () löysi Merjan? Muotoillaan kysymyssanojen käyttäytyminen säännöllä, joka muuttaa kokonaista lausetta. 1. Pekka uskoi että Merja löysi Timon 2. Pekka uskoi että Merja löysi kenet? 3. Kenet i Pekka uskoi että Merja löysi () i? Kyseessä on transformaatio, elementin siirtyminen syntaktisessa rakenteessa. Kyllä/ei -kysymyslauseet eivät sisällä varsinaista kysymssanaa, vaan kysymys ilmaistaan morfosyntaktisen piirteen -ko avulla. Onko Pekka () rakastanut Merjaa? Rakastaako Pekka () Merjaa? Pekkako ()? rakastaa Merjaa? Merjaako Pekka on rakastanut ()? Siirtymä relatiivilauseessa Muita siirtymiä Relatiivipronomini siirtyy myös: mies, jonka tapasin eilen, tuli taas kaupassa vastaan tapasin hänet eilen tapasin jonka eilen mies, jonka tapasin () eilen Nostorakenteet: Matti nukkuu Matti näyttää nukkuvan Saara Huhmarniemi 6
7 Siirtymä NP:n sisällä Passiivi *ne kaikki kolme avointa ovea auton ne kaikki kolme avointa auton ovea ne kaikki kolme auton avointa ovea ne kaikki auton kolme avointa ovea ne auton kaikki kolme avointa ovea *auton ne kaikki kolme avointa ovea minkä kaikki kolme pientä () ovea *ne kaikki kolme pientä minkä ovea Tavallinen aktiivilause voidaan muuttaa passiivilauseeksi, jolloin tapahtuu muutoksia verbin taivutuksessa sekä objektin sijamuodossa. Me rakensimme talon. Talo rakennettiin. Passiivilauseen objekti voi siirtyä kauas lähtöpisteestään: Pekka i näyttää Merjan luulojen mukaan olevan löydetty X i. Sulaumat (adjunction) Lauseen elementit yhdistyvät toisiinsa, esimerkiksi suomessa "että" voi yhdistyä negaatioon. Pekka näki että Merja ei rakastanut häntä. Pekka näki ettei Merja rakastanut häntä. Ilmiö on luonteva kuvata siirtymällä. Yhteenveto Näissä tapauksissa kaksi toisiinsa suhteessa olevaa elementtiä A ja B sijaitsevat kuvan kaltaisessa rakenteessa. Siirtymät ovat yksi lähtökohta lauseen rakenteen muutosten selittämiseen. Edellä kuvatut ilmiöt selitetään eri kielioppiteorioissa myös ilman siirtymiä. Saara Huhmarniemi 7
8 Tehtävä Tee transformaatiot lauseille: Mitä punajuuri sisältää? Mullistaako piparjuuritahna makukäsitykset? Millainen piparjuuritahna mullistaa makukäsitykset? Ennakkoluuloton kokki kertoi, ettei hän raasta tuoretta punajuurta. Makukäsitykset muutetaan tulisella piparjuuritahnalla. Chomskyn kielihierarkia (Chomsky 1956) Tyyppi 0: Rekursiivisesti lueteltavat (ja rekursiiviset) kielet: Tunnistetaan Turingin koneella. Mallinnetaan rajoittamattomalla kieliopilla. Tyyppi 1: Kontekstiset kielet: Tunnistetaan lin. rajoitetulla Turingin koneella (syöte rajoittaa nauhatilaa) Mallinnetaan kontekstisella kieliopilla Tyyppi 2: Kontekstittomat kielet: Tunnistetaan pinoautomaatilla (äärellisen autom. lisäksi muistipino) Mallinnetaan kontekstittomalla kieliopilla Tyyppi 3: Säännölliset kielet (Äärellisten tilojen kielet) Tunnistetaan äärellisellä automaatilla Mallinetaan oik. lineaarisella kieliopilla Chomskyn kielihierarkia Tyypin 0 kieliin sisältyy kaikki muut tyypit jne. Kielihierarkian avulla voidaan tarkastella erilaisten laskennallisten systeemien ilmaisuvoimaa: Konnektionistiset mallit kuuluvat tyyppiin 3 (Minsky & Papert 1969, myöhemmin myös muita tuloksia) Useimmat tietokoneohjelmat kuuluvat tyyppiin 2 Luonnollinen kieli kuuluu tyyppiin 0. Saara Huhmarniemi 8
Kieli merkitys ja logiikka
Luento 5 Kieli merkitys ja logiikka Lauserakennekielioppi, kontekstiton kielioppi Transformaatiot Temaattiset roolit X -teoria (ei tenttiin) Luento 5: Lauseen derivaatio, X -teoria Lauseke ja lausekkeen
LisätiedotKieli merkitys ja logiikka
Assosiationismin rajoituksia Kieli merkitys ja logiikka Luento 3! Kuinka kauas riippuvuussuhde voi ulottua? *Huomenna sataa, niin maa kastuu Jos huomenna sataa, niin maa kastuu.! Tässä automaatti ei saa
LisätiedotKieli merkitys ja logiikka
Luento 10 Kieli merkitys ja logiikka Predikaattilogiikka Kielen oppimisen ongelma Ärsykkeen heikkous Luento 10: Kielen oppimisen ongelma Merge Merge Kombinatorinen luovuus: symboleita yhdistelemällä voidaan
LisätiedotKieli merkitys ja logiikka. 4: Luovuus, assosiationismi. Luovuus ja assosiationismi. Kielen luovuus. Descartes ja dualismi
Luovuus ja assosiationismi Kieli merkitys ja logiikka 4: Luovuus, assosiationismi Käsittelemme ensin assosiationismin kokonaan, sen jälkeen siirrymme kombinatoriseen luovuuteen ja konstituenttimalleihin
LisätiedotKieli merkitys ja logiikka
Assosiaatiot, konstituentit Kieli merkitys ja logiikka Luento 5: Assosiaatiot, konstituentit Luento 5 125-134,, Konstituentit 104-107, Turingin kone Huom! Lukua 5.2, Assosiationismin teoriaa, ja siihen
LisätiedotKieli merkitys ja logiikka
Tieto kielestä Kieli merkitys ja logiikka! Kielen biologinen olemus! Kielen kulttuurinen olemus! Kielen normatiivinen olemus Luento 2! Kognitiotieteen tutkimuskohteena on kielen biologinen olemus: " Kielen
LisätiedotKieli merkitys ja logiikka. 2: Helpot ja monimutkaiset. Luento 2. Monimutkaiset ongelmat. Monimutkaiset ongelmat
Luento 2. Kieli merkitys ja logiikka 2: Helpot ja monimutkaiset Helpot ja monimutkaiset ongelmat Tehtävä: etsi säkillinen rahaa talosta, jossa on monta huonetta. Ratkaisu: täydellinen haku käy huoneet
LisätiedotKieli merkitys ja logiikka. Johdanto. Kurssin sisältö. Luento 1: Johdanto. Kirjasta. Kieli, merkitys ja logiikka, HY, kevät Saara Huhmarniemi 1
Kurssin sisältö Kieli merkitys ja logiikka Johdanto Biolingvistiikka: universaalikieliopin näkökulma kieleen ja kielen omaksumiseen Pauli Brattico, Biolingvistiikka. Luvut 1-6 ja luvusta 10 ja 11 osia.
LisätiedotKieli merkitys ja logiikka
Kielentutkimuksen eri osa-alueet Kieli merkitys ja logiikka Luento 3 Fonetiikka äänteiden (fysikaalinen) tutkimus Fonologia kielen äännejärjestelmän tutkimus Morfologia sananmuodostus, sanojen rakenne,
LisätiedotKieli merkitys ja logiikka
Äärellinen automaatti Kieli merkitys ja logiikka Luento 4: Assosiaatiot, konstituentit Edellä esitetty assosiationistinen malli kielelle on esimerkki äärellisten tilojen automaatista (finite states automaton)
LisätiedotKieli merkitys ja logiikka
Lause Kieli merkitys ja logiikka Asiakas tilaa ruuan. Luento 6 Asiakas on [tilannut juoman ennen ateriaa]. Aikamuoto Aikamuoto! Suomessa aikamudolla (T, tempus) on kaksi erillistä verbimuotoa, preesens
LisätiedotKieli merkitys ja logiikka. 2: Helpot ja monimutkaiset. Luento 2. Tieto kielestä. Tieto kielestä. Kieli, merkitys ja logiikka, HY, kevät 2010
Luento 2. Kieli merkitys ja logiikka 2: Helpot ja monimutkaiset Helpot ja monimutkaiset ongelmat Kielen oppimisen ongelma Kieltä koskeva tietomme on "hiljaista" tietoa (Tacit Knowledge). Voimme arvioida
LisätiedotKieli merkitys ja logiikka
Sanajärjestyksen muutokset Kieli merkitys ja logiikka Luento 7! Kysymyssanat ja kyllä-ei kysymyslauseet ovat esimerkki sanajärjestyksen muutoksesta, joka ei vaikuta lauseen muuhun syntaksiin tai elementtien
LisätiedotRajoittamattomat kieliopit (Unrestricted Grammars)
Rajoittamattomat kieliopit (Unrestricted Grammars) Laura Pesola Laskennanteorian opintopiiri 13.2.2013 Formaalit kieliopit Sisältävät aina Säännöt (esim. A -> B C abc) Muuttujat (A, B, C, S) Aloitussymboli
LisätiedotChomskyn hierarkia. tyyppi 0 on juuri esitelty (ja esitellään kohta lisää) tyypit 2 ja 3 kurssilla Ohjelmoinnin ja laskennan perusmallit
Chomskyn hierarkia Noam Chomskyn vuonna 1956 esittämä luokittelu kieliopeille niiden ilmaisuvoiman mukaan tyyppi kieli kielioppi tunnistaminen 0 rekurs. lueteltava rajoittamaton Turingin kone 1 kontekstinen
LisätiedotRajoittamattomat kieliopit
Rajoittamattomat kieliopit Ohjelmoinnin ja laskennan perusmalleista muistetaan, että kieli voidaan kuvata (esim.) kieliopilla joka tuottaa sen, tai automaatilla joka tunnistaa sen. säännölliset lausekkeet
LisätiedotKieli merkitys ja logiikka
Nominilauseke ja lause Kieli merkitys ja logiikka 1. Pekka rakastaa Merjaa --> Merjan rakastaminen.. 2. Pekka rakastaa Merjaa --> Merjaa rakastava..! Merkitykset ovat yhteneviä, mutta myös eroja on. Luento
LisätiedotKieli merkitys ja logiikka
Luento 8 Kieli merkitys ja logiikka Luento 8: Merkitys ja logiikka Luku 10: Luennon 7 kertaus: propositiologiikka predikaattilogiikka Kvanttorit ja looginen muoto Määritelmät, analyyttisyys ja synteettisyys
LisätiedotKieli merkitys ja logiikka
Luento 8 Kieli merkitys ja logiikka Leksikko ja kieli Taivutus Johtaminen Luento 8: Leksikko Mitä tiedämme sanasta? nukkua miten sana lausutaan sanan merkitys miten sanaa käytetään kielellisessä rakenteessa
LisätiedotTIEA241 Automaatit ja kieliopit, syksy Antti-Juhani Kaijanaho. 12. lokakuuta 2016
TIEA241 Automaatit ja kieliopit, syksy 2016 Antti-Juhani Kaijanaho TIETOTEKNIIKAN LAITOS 12. lokakuuta 2016 Sisällys Harjoitustehtävät loppukurssilla luentojen 14 18 harjoitustehtävistä on tehtävä yksi
LisätiedotKieli merkitys ja logiikka
Luento 7 Kieli merkitys ja logiikka Kompositionaalisuus Predikaattilogiikka Käsitteellis-intentionaaliset järjestelmät Luento 7: Merkitys ja logiikka Lause ja propositio Propositiot ja kompositionaalisuus
LisätiedotKieli merkitys ja logiikka. 3: Kielen biologinen perusta. Kielijärjestelmä. Kielen edellytykset. Kielijärjestelmä
Kielijärjestelmä Kieli merkitys ja logiikka 3: Kielen biologinen perusta Marc Hauser, Noam Chomsky ja Tecumseh Fitch (2002): The Faculty of Language: What Is It, Who Has It, and How Did It Evolve? Science
LisätiedotT Syksy 2002 Tietojenkäsittelyteorian perusteet Harjoitus 8 Demonstraatiotehtävien ratkaisut
T-79.148 Syksy 2002 Tietojenkäsittelyteorian perusteet Harjoitus 8 Demonstraatiotehtävien ratkaisut 4. Tehtävä: Laadi algoritmi, joka testaa onko annetun yhteydettömän kieliopin G = V, Σ, P, S tuottama
LisätiedotKieli merkitys ja logiikka
Luento 9 Kieli merkitys ja logiikka Luento 9: Merkitys ja logiikka, kertaus Luku 10 loppuun (ei kausatiiveja) Ekstensio, intensio ja käsitteet Primitiivisten ilmaisujen merkitys Käsitteellis-intentionaaliset
LisätiedotTäydentäviä muistiinpanoja Turingin koneiden vaihtoehdoista
Täydentäviä muistiinpanoja Turingin koneiden vaihtoehdoista Antti-Juhani Kaijanaho 15. maaliskuuta 2012 1 Apumääritelmä Määritelmä 1. Olkoon Σ merkistö, jolla on olemassa täydellinen järjestys ( ) Σ 2.
LisätiedotPinoautomaatit. Pois kontekstittomuudesta
TIEA241 Automaatit ja kieliopit, syksy 2015 Antti-Juhani Kaijanaho TIETOTEKNIIKAN LAITOS 3. joulukuuta 2015 Sisällys Pinoautomaatti NFA:n yleistys automaatilla on käytössään LIFO-muisti 1 eli pino Pino
LisätiedotKieli, merkitys ja logiikka, kevät 2011 HY, Kognitiotiede. Vastaukset 2.
Kieli, merkitys j logiikk, kevät 2011 HY, Kognitiotiede stukset 2. ** Kikiss utomteiss lkutil on. 1.. nn äärelliset utomtit luseille (1-c), jokiselle omns. (1).. c. q3 q4 q3 q4 q5 q6. Muodost äärellinen
LisätiedotObjekti. Objekti on lauseen toinen perustava nominaalijäsen (transitiiviverbin toinen täydennys), toinen perusfunktio, joka NP:lla voi olla:
Objekti Objekti on lauseen toinen perustava nominaalijäsen (transitiiviverbin toinen täydennys), toinen perusfunktio, joka NP:lla voi olla: Minä näen sinut. Verbiin liittyvistä nominaalilausekkeista (NP)
LisätiedotTIEA241 Automaatit ja kieliopit, kevät 2011 (IV) Antti-Juhani Kaijanaho. 31. maaliskuuta 2011
TIEA241 Automaatit ja kieliopit, kevät 2011 (IV) Antti-Juhani Kaijanaho TIETOTEKNIIKAN LAITOS 31. maaliskuuta 2011 Sisällys Sisällys Chomskyn hierarkia kieli säännöllinen kontekstiton kontekstinen rekursiivisesti
LisätiedotPinoautomaatit. TIEA241 Automaatit ja kieliopit, syksy Antti-Juhani Kaijanaho. 6. lokakuuta 2016 TIETOTEKNIIKAN LAITOS
.. TIEA241 Automaatit ja kieliopit, syksy 2016 Antti-Juhani Kaijanaho TIETOTEKNIIKAN LAITOS 6. lokakuuta 2016 Sisällys. Harjoitustehtävätilastoja Tilanne 6.10.2016 klo 8:28 passed potential redo submitters
Lisätiedotosassa III max-pist pistem pistemäärä osan III maksimista III:N MAX 30 Z Y X (X/Y)xZ=Å Åx0,3 TEHTÄVÄ
Helsingin yliopiston humanistinen tiedekunta/valintakoe 19.5.2017 Kotimaisten kielten ja kirjallisuuksien kandiohjelma/suomen kieli ja kulttuuri MALLIKAAVAKE KOKELAAN NIMI Meikäläinen, Maija KOKELAAN TUNNISTE
LisätiedotTässä lehdessä pääset kertaamaan Lohdutus-jakson asioita.
Tässä lehdessä pääset kertaamaan Lohdutus-jakson asioita. Turun kaupunginteatteri ja Hämeenlinnan teatteri. LOHDUTUS 2 KIELIOPIT ja TEATTERIT (virke, päälause, sivulause, päälauseiden yhdistäminen, päälauseen
LisätiedotTuringin koneet. Sisällys. Aluksi. Turingin koneet. Turingin teesi. Aluksi. Turingin koneet. Turingin teesi
TIEA241 Automaatit ja kieliopit, kevät 2012 Antti-Juhani Kaijanaho TIETOTEKNIIKAN LAITOS 17. kesäkuuta 2013 Sisällys Chomskyn hierarkia (ja vähän muutakin) kieli säännöllinen LL(k) LR(1) kontekstiton kontekstinen
LisätiedotKieli merkitys ja logiikka. Johdanto. Materiaali. Kurssin sisältö. Kirjasta. Kieli, merkitys ja logiikka, kevät 2009. Saara Huhmarniemi 1
Materiaali Kieli merkitys ja logiikka Johdanto Pauli Brattico, Biolingvistiikka. Luvut 1, 2, 4-6 ja luvusta 10 ja 11 osia. mahd. myös muita lukuja Kurssin sisältö Kirjasta 1. Biolingvistiikka: universaalikieliopin
LisätiedotTIEA241 Automaatit ja kieliopit, kevät Antti-Juhani Kaijanaho. 2. helmikuuta 2012
TIEA241 Automaatit ja, kevät 2012 Antti-Juhani Kaijanaho TIETOTEKNIIKAN LAITOS 2. helmikuuta 2012 Sisällys Sisällys Chomskyn hierarkia kieli säännöllinen kontekstiton kontekstinen rekursiivisesti lueteltava
LisätiedotSuomen A'-siirtymä. Reunat ja saarekkeet. lektiot. Saara Huhmarniemi. Väitöksenalkajaisesitelmä Helsingin yliopistossa 10.
lektiot Suomen A'-siirtymä Reunat ja saarekkeet Saara Huhmarniemi Väitöksenalkajaisesitelmä Helsingin yliopistossa 10. maaliskuuta 2012 Työssäni kieliteknologiaprojektien ohjelmoijana kiinnitin huomiota
LisätiedotPinoautomaatit. TIEA241 Automaatit ja kieliopit, kesä Antti-Juhani Kaijanaho. 6. kesäkuuta 2013 TIETOTEKNIIKAN LAITOS. Pinoautomaatit.
TIEA241 Automaatit ja kieliopit, kesä 2013 Antti-Juhani Kaijanaho TIETOTEKNIIKAN LAITOS 6. kesäkuuta 2013 Sisällys Aikataulumuutos Tämänpäiväinen demotilaisuus on siirretty maanantaille klo 14:15 (Ag Delta).
LisätiedotRekursiiviset tyypit
Rekursiiviset tyypit TIES542 Ohjelmointikielten periaatteet, kevät 2007 Antti-Juhani Kaijanaho Jyväskylän yliopisto Tietotekniikan laitos 20. helmikuuta 2007 Hiloista Kiintopisteet (Ko)rekursio Rekursiiviset
Lisätiedot5.3 Ratkeavia ongelmia
153 5.3 Ratkeavia ongelmia Deterministisen äärellisten automaattien (DFA) hyväksymisongelma: hyväksyykö annettu automaatti B merkkijonon w? Ongelmaa vastaava formaali kieli on A DFA = { B, w B on DFA,
LisätiedotSyntaksissa tarkastelun perusyksikkö on lause. Syntaksi tutkii siis lauseiden rakennetta.
Syksyn kertausta Syntaksissa tarkastelun perusyksikkö on lause. Syntaksi tutkii siis lauseiden rakennetta. Kieliopillisuus, hyvämuotoisuus ym. kieliopillisiset ja epäkieliopilliset lauseet hyvämuotoiset
LisätiedotVerbin valenssi määrää, minkälaisia argumentteja ja komplementteja verbi odottaa saavansa millaisissa lauseissa verbi voi esiintyä.
Valenssista Valenssi saksalaisessa ja venäläisessä kieliopintutkimuksessa käytetty nimitys, joka tavallisesti tarkoittaa verbin ominaisuutta: sitä, kuinka monta ja millaisia nomineja obligatorisesti ja
LisätiedotJäsennys. TIEA341 Funktio ohjelmointi 1 Syksy 2005
Jäsennys TIEA341 Funktio ohjelmointi 1 Syksy 2005 Muistutus: Laskutehtävä ja tulos data Laskutehtava = Luku Double Yhteen Laskutehtava Laskutehtava Vahennys Laskutehtava Laskutehtava Tulo Laskutehtava
LisätiedotTIEA241 Automaatit ja kieliopit, kesä Antti-Juhani Kaijanaho. 29. toukokuuta 2013
TIEA241 Automaatit ja kieliopit, kesä 2013 Antti-Juhani Kaijanaho TIETOTEKNIIKAN LAITOS 29. toukokuuta 2013 Sisällys Chomskyn hierarkia (ja muutakin) kieli LL(k) LR(1) kontekstiton kontekstinen rekursiivisesti
Lisätiedotluonnonilmiölauseessa paikan tai ajan ilmaus täyttää subjektin paikan: tunnekausatiivilauseissa subjektin paikan perii partitiivimuotoinen kokija:
Sanajärjestys ja subjektin paikka subjektittomat lauseet jättävät subjektin normaalin, finiittiverbiä edeltävän paikan tyhjäksi ellipsi- ja pronominin poisjättötapauksissa paikka jää tyhjäksi: Ø Lähdemme
Lisätiedot!""# $%&'( ' )' (*' " '' '( "! ' *'&' "! ' '( "!! )& "! # "! & "! ' "! $''!! &'&' $' '! $ & "!!" #!$ %! & '()%%'!! '!! # '&' &'!! &'&' *('(' &'!*! +& &*%!! $ & #" !!" "!!!" $ " # ' '&& % & #! # ' '&&
LisätiedotKieli merkitys ja logiikka
Luento 7 Kieli merkitys ja logiikka Luennot 7 ja 8: sivut 237-274 Luento 7: Merkitys ja kieli Merkitys ja kieli Merkitys ja kieli Kompositionaalisuus Propositiologiikka Kieli ja tulkinta Predikaattilogiikka
Lisätiedotlauseiden rakenne: suomessa vapaa sanajärjestys substantiivilausekkeen osien järjestys on kuitenkin yleensä täysin kiinteä ja määrätty
Lausekkeiden rakenteesta (osa 1) Konstituenttirakenne ja lausekkeet lauseiden rakenne: suomessa vapaa sanajärjestys substantiivilausekkeen osien järjestys on kuitenkin yleensä täysin kiinteä ja määrätty
LisätiedotChomskyn hierarkia ja yhteysherkät kieliopit
Chomskyn hierarkia ja yhteysherkät kieliopit Laskennan teorian opintopiiri Tuomas Hakoniemi 21. helmikuuta 2014 Käsittelen tässä laskennan teorian opintopiirin harjoitustyössäni muodollisten kielioppien
LisätiedotLausekkeiden rakenteesta (osa 2) & omistusliitteistä
Lausekkeiden rakenteesta (osa 2) & omistusliitteistä Adjektiivi- ja adverbilausekkeet AP ja AdvP: paljon yhteistä monet AP:t voi jopa suoraan muuttaa AdvP:ksi -sti-johtimella: Ihan mahdottoman kaunis Ihan
LisätiedotMuita universaaleja laskennan malleja
Muita universaaleja laskennan malleja Tällä kurssilla Turingin kone on valittu algoritmikäsitteen formalisoinniksi. Toisin sanoen tulkitsemme, että laskentaongelmalle on olemassa algoritmi, jos ja vain
LisätiedotMuodolliset kieliopit
Muodolliset kieliopit Luonnollisen kielen lauseenmuodostuksessa esiintyy luonnollisia säännönmukaisuuksia. Esimerkiksi, on jokseenkin mielekästä väittää, että luonnollisen kielen lauseet koostuvat nk.
LisätiedotSijoista ja kieliopillisista funktioista
Sijoista ja kieliopillisista funktioista Sijajärjestelmästä Suomessa 15 sijaa kieliopilliset ja muut, semanttiset, obliikvisijat tjs. kieliopilliset sijat : nominatiivi (pallo, hattu) genetiivi (pallon,
Lisätiedot(0 1) 010(0 1) Koska kieli on yksinkertainen, muodostetaan sen tunnistava epädeterministinen q 0 q 1 q 2 q3
T-79.48 Tietojenkäsittelyteorian perusteet Tentti 25..23 mallivastaukset. Tehtävä: Kuvaa seuraavat kielet sekä säännölisten lausekkeiden että determinististen äärellisten automaattien avulla: (a) L = {w
LisätiedotFredin ja Eskon sanomat
Fredin ja Eskon sanomat Lehden on kirjoittannut Fredi ja Esko Kuvat: Curly ry Tampereen teatteri Tampereen teatteri on Tampereella toinen suuri toimiva teatteri. Teatteri on perustettu 1904. Tampereen
LisätiedotVasen johto S AB ab ab esittää jäsennyspuun kasvattamista vasemmalta alkaen:
Vasen johto S AB ab ab esittää jäsennyspuun kasvattamista vasemmalta alkaen: S A S B Samaan jäsennyspuuhun päästään myös johdolla S AB Ab ab: S A S B Yhteen jäsennyspuuhun liittyy aina tasan yksi vasen
LisätiedotS BAB ABA A aas bba B bbs c
T-79.148 Kevät 2003 Tietojenkäsittelyteorian perusteet Harjoitus 8 Demonstraatiotehtävien ratkaisut 4. Tehtävä: Laadi algoritmi, joka testaa onko annetun yhteydettömän kieliopin G = V, Σ, P, S) tuottama
LisätiedotTIEA241 Automaatit ja kieliopit, syksy Antti-Juhani Kaijanaho. 20. lokakuuta 2016
.. TIEA241 Automaatit ja kieliopit, syksy 2016 Antti-Juhani Kaijanaho TIETOTEKNIIKAN LAITOS 20. lokakuuta 2016 Sisällys. Turingin koneiden pysähtymisongelma. Lause Päätösongelma Pysähtyykö standardimallinen
LisätiedotÄi 10 Tunti 3. Pilkkusäännöt
Äi 10 Tunti 3 Pilkkusäännöt Perussääntö Virkkeen lauseet erotetaan toisistaan pilkulla. Tähän sääntöön ovat tarkennuksia kaikki seuraavat pilkkusäännöt. Eli pilkku tulee lauseiden väliin aina, jos mikään
LisätiedotYhteydettömät kieliopit [Sipser luku 2.1]
Yhteydettömät kieliopit [ipser luku 2.1] Johdantoesimerkkinä tarkastelemme kieltä L = { a n b m a n n > 0, m > 0 }, joka on yhteydetön (mutta ei säännöllinen). Vastaavan kieliopin ytimenä on säännöt eli
LisätiedotTIEA241 Automaatit ja kieliopit, kevät 2011 (IV) Antti-Juhani Kaijanaho. 31. maaliskuuta 2011
TIEA241 Automaatit ja kieliopit, kevät 2011 (IV) Antti-Juhani Kaijanaho TIETOTEKNIIKAN LAITOS 31. maaliskuuta 2011 Sisällys Sisällys Chomskyn hierarkia kieli säännöllinen kontekstiton kontekstinen rekursiivisesti
Lisätiedot8. Kieliopit ja kielet
8. Kieliopit ja kielet Suomen kielen sanoja voidaan yhdistellä monella eri tavalla. Kielioppi määrää sen, milloin sanojen yhdistely antaa oikein muodostetun lauseen. "Mies räpyttää siipiään" on kieliopillisesti
LisätiedotTIEA241 Automaatit ja kieliopit, kevät 2011 (IV) Antti-Juhani Kaijanaho. 16. toukokuuta 2011
TIEA241 Automaatit ja kieliopit, kevät 2011 (IV) Antti-Juhani Kaijanaho TIETOTEKNIIKAN LAITOS 16. toukokuuta 2011 Sisällys engl. random-access machines, RAM yksinkertaistettu nykyaikaisen (ei-rinnakkaisen)
LisätiedotTodistus: Aiemmin esitetyn mukaan jos A ja A ovat rekursiivisesti lueteltavia, niin A on rekursiivinen.
Lause: Tyhjyysongelma ei ole osittain ratkeava; ts. kieli ei ole rekursiivisesti lueteltava. L e = { w { 0, 1 } L(M w ) = } Todistus: Aiemmin esitetyn mukaan jos A ja A ovat rekursiivisesti lueteltavia,
LisätiedotTestaa: Vertaa pinon merkkijono syötteeseen merkki kerrallaan. Jos löytyy ero, hylkää. Jos pino tyhjenee samaan aikaan, kun syöte loppuu, niin
Yhteydettömien kielioppien ja pinoautomaattien yhteys [Sipser s. 117 124] Todistamme, että yhteydettömien kielioppien tuottamat kielet ovat tasan samat kuin ne, jotka voidaan tunnistaa pinoautomaatilla.
LisätiedotÄIDINKIELI JA TEATTERIT
ÄIDINKIELI JA TEATTERIT Tekijät: Lotta Aaltonen ja Nea Rasinen Kuvat: Curly ry Joensuun kaupunginteatteri on samalla Pohjois-Karjalan alueteatteri, jota ylläpitää Pohjois-Karjalan Teatteriyhdistys. Teatterissa
Lisätiedot1. Universaaleja laskennan malleja
1. Universaaleja laskennan malleja Laskenta datan käsittely annettuja sääntöjä täsmällisesti seuraamalla kahden kokonaisluvun kertolasku tietokoneella, tai kynällä ja paperilla: selvästi laskentaa entä
Lisätiedotuv n, v 1, ja uv i w A kaikilla
2.8 Säännöllisten kielten rajoituksista Kardinaliteettisyistä on oltava olemassa (paljon) ei-säännöllisiä kieliä: kieliä on ylinumeroituva määrä, säännöllisiä lausekkeita vain numeroituvasti. Voidaanko
Lisätiedot2. Yhteydettömät kielet
2. Yhteydettömät kielet Yhteydettömät eli kontekstittomat kielet (context-free language, CFL) ovat säännöllisiä kieliä laajempi luokka formaaleja kieliä. Ne voidaan esittää yhteydettömillä kieliopeilla
LisätiedotSäännöllisen kielen tunnistavat Turingin koneet
186 Säännöllisen kielen tunnistavat Turingin koneet Myös säännöllisen kielen hyväksyvien Turingin koneiden tunnistaminen voidaan osoittaa ratkeamattomaksi palauttamalla universaalikielen tunnistaminen
LisätiedotPredikaattilogiikkaa
Predikaattilogiikkaa UKUTEORIA JA TO- DISTAMINEN, MAA11 Kertausta ogiikan tehtävä: ogiikka tutkii ajattelun ja päättelyn sääntöjä ja muodollisten päättelyiden oikeellisuutta, ja pyrkii erottamaan oikeat
LisätiedotTIEA241 Automaatit ja kieliopit, syksy Antti-Juhani Kaijanaho. 12. lokakuuta 2016
ja ja TIEA241 Automaatit ja kieliopit, syksy 2016 Antti-Juhani Kaijanaho TIETOTEKNIIKAN LAITOS 12. lokakuuta 2016 Sisällys ja ja Vuosi on 1936, eikä tietokoneita ollut. Computer oli ammattinimike. http://www.nasa.gov/centers/dryden/
LisätiedotIso suomen kielioppi koulussa Suomen kielen ja kirjallisuuden alumnipäivä 26.9.2009 / Seppo Pekkola
Iso suomen kielioppi koulussa Suomen kielen ja kirjallisuuden alumnipäivä 26.9.2009 / Seppo Pekkola Perinteinen kielioppi Sana Harmaa kissa oikoo raajojaan iltapäivän auringossa. Kuumalla katolla lekottelu
Lisätiedott5 Viidestoista kappale KertovlauseenvastikeI Seppo sanoi ' Pekan oletrln kotona = ett Pekka on kotona : Min luulin Heikki Me, kertoi hnen asu,1rp Tampereella nn'hn asuu Tampereella : Leenan ia Matin rakentavn
LisätiedotRekursiiviset palautukset [HMU 9.3.1]
Rekursiiviset palautukset [HMU 9.3.1] Yleisesti sanomme, että ongelma P voidaan palauttaa ongelmaan Q, jos mistä tahansa ongelmalle Q annetusta ratkaisualgoritmista voidaan jotenkin muodostaa ongelmalle
Lisätiedot4. Tehtävässä halutaan todistaa seuraava ongelma ratkeamattomaksi:
T-79.148 Kevät 2004 Tietojenkäsittelyteorian perusteet Harjoitus 12 Demonstraatiotehtävien ratkaisut 4. Tehtävässä halutaan todistaa seuraava ongelma ratkeamattomaksi: Hyväksyykö annettu Turingin kone
LisätiedotLOGIIKKA johdantoa
LOGIIKKA johdantoa LUKUTEORIA JA TO- DISTAMINEN, MAA11 Logiikan tehtävä: Logiikka tutkii ajattelun ja päättelyn sääntöjä ja muodollisten päättelyiden oikeellisuutta, ja pyrkii erottamaan oikeat päättelyt
LisätiedotM =(K, Σ, Γ,, s, F ) Σ ={a, b} Γ ={c, d} = {( (s, a, e), (s, cd) ), ( (s, e, e), (f, e) ), (f, e, d), (f, e)
Tik-79.148 Kevät 2001 Tietojenkäsittelyteorian perusteet Laskuharjoitus 7 Demonstraatiotehtävien ratkaisut 1. Pinoautomaatti M = K Σ Γ s F missä K Σ s ja F on määritelty samalla tavalla kuin tilakoneellekin.
LisätiedotKlELIOPPI +TEATTERIT. Äikän kielioppia ja teattereiden esittelyjä. Lukuiloa. Iris&Jessica. Kuvat: Curly ry
Äikän kielioppia... Virke on lause joka alkaa isolla alkukirjaimella ja päättyy pisteeseen. Predikaatti, subjekti ja objekti kuuluvat lauseenjäseniin....ja teattereiden esittelyjä Päälauseet voidaan yhdistää
LisätiedotLaskennan mallit (syksy 2010) Harjoitus 8, ratkaisuja
582206 Laskennan mallit (syksy 2010) Harjoitus 8, ratkaisuja 1. Tarkastellaan yhteydetöntä kielioppia S SAB ε A aa a B bb ε Esitä merkkijonolle aa kaksi erilaista jäsennyspuuta ja kummallekin siitä vastaava
LisätiedotKieli merkitys ja logiikka. 2: Kielen biologinen perusta. Kielen biologinen perusta. Kielen biologinen perusta. Kielen biologinen perusta
Kielen biologinen perusta Kieli merkitys ja logiikka 2: Kielen biologinen perusta Onko olemassa kielellinen systeemi, jota puhujat tiedostamattaa noudattavat? merkkien, rakenteiden ja sääntöjen psykologinen
LisätiedotHahmon etsiminen syotteesta (johdatteleva esimerkki)
Hahmon etsiminen syotteesta (johdatteleva esimerkki) Unix-komennolla grep hahmo [ tiedosto ] voidaan etsia hahmon esiintymia tiedostosta (tai syotevirrasta): $ grep Kisaveikot SM-tulokset.txt $ ps aux
LisätiedotLaskennan rajoja. TIEA241 Automaatit ja kieliopit, syksy Antti-Juhani Kaijanaho. 10. joulukuuta 2015 TIETOTEKNIIKAN LAITOS.
TIEA241 Automaatit ja kieliopit, syksy 2015 Antti-Juhani Kaijanaho TIETOTEKNIIKAN LAITOS 10. joulukuuta 2015 Sisällys TM vs yleiset kieliopit Lause Jokaiselle kielelle A seuraavat ovat yhtäpitävät: 1.
LisätiedotTIEA241 Automaatit ja kieliopit, kevät Antti-Juhani Kaijanaho. 12. kesäkuuta 2013
TIEA241 Automaatit ja kieliopit, kevät 2012 Antti-Juhani Kaijanaho TIETOTEKNIIKAN LAITOS 12. kesäkuuta 2013 Sisällys t Chomskyn hierarkia (ja vähän muutakin) kieli säännöllinen LL(k) LR(1) kontekstiton
LisätiedotKieli merkitys ja logiikka. Luento 6: Merkitys ja kieli
Kieli merkitys ja logiikka Luento 6: Merkitys ja kieli Merkitys ja kieli Merkitys ja kieli Sanat ja käsitteet Kompositionaalisuus Propositiologiikka Kysymykset Merkityksen luonne Miten ihminen hahmottaa
LisätiedotSuomen kielioppi: Harjoitukset - Harjoituslista. Aakkoset ja äänteet
Suomen kielioppi: Harjoitukset - Harjoituslista Sivu 1 / 13 Suomen kielioppi: Harjoitukset - Harjoituslista Kolmannen sarakkeen merkit ilmaisevat harjoituksen vaikeustasoa seuraavasti: A = alkeet, K =
LisätiedotMuita vaativuusluokkia
Muita vaativuusluokkia Käydään lyhyesti läpi tärkeimpiä vaativuusluokkiin liittyviä tuloksia. Monet tunnetuista tuloksista ovat vaikeita todistaa, ja monet kysymykset ovat vielä auki. Lause (Ladner 1975):
Lisätiedotsubjektin ellipsi: kahdesta samasta subjektista jälkimmäistä ei toisteta
Subjekti Kun subjektia ei olekaan Pronominin poisjättö lauseessa ei ole ilmisubjektia, mutta verbin ykkösargumentti on silti yksitulkintainen voidaan ajatella, että subjektina oleva pronomini on jätetty
LisätiedotTIEA241 Automaatit ja kieliopit, kesä Antti-Juhani Kaijanaho. 26. kesäkuuta 2013
ja ja TIEA241 Automaatit ja kieliopit, kesä 2012 Antti-Juhani Kaijanaho TIETOTEKNIIKAN LAITOS 26. kesäkuuta 2013 Sisällys ja ja on yksi vanhimmista tavoista yrittää mallittaa mekaanista laskentaa. Kurt
LisätiedotTIEA241 Automaatit ja kieliopit, syksy Antti-Juhani Kaijanaho. 30. marraskuuta 2015
TIEA241 Automaatit ja kieliopit, syksy 2015 Antti-Juhani Kaijanaho TIETOTEKNIIKAN LAITOS 30. marraskuuta 2015 Sisällys t Väitöstilaisuus 4.12.2015 kello 12 vanhassa juhlasalissa S212 saa tulla 2 demoruksia
LisätiedotKOGNITIOTIETEEN VALINTAKOE VALINTAKOEKIRJALLISUUTEEN PERUSTUVA OSA. Lue nämä ohjeet ensin KÄÄNNÄ SIVUA VASTA LUVAN SAATUASI!
Helsingin yliopisto Käyttäytymistieteellinen tiedekunta KOGNITIOTIETEEN VALINTAKOE 18.5.2010 VALINTAKOEKIRJALLISUUTEEN PERUSTUVA OSA Lue nämä ohjeet ensin KÄÄNNÄ SIVUA VASTA LUVAN SAATUASI! 1. Valintakoe
LisätiedotPysähtymisongelman ratkeavuus [Sipser luku 4.2]
Pysähtymisongelman ratkeavuus [Sipser luku 4.2] Osoitamme nyt vihdoin, että jotkin Turing-tunnistettavat kielet ovat ratkeamattomia ja jotkin kielet eivät ole edes Turing-tunnistettavia. Lisäksi toteamme,
LisätiedotMuunnelmia Turingin koneista sekä muita vaihtoehtoisia malleja
sekä muita TIEA241 Automaatit ja kieliopit, kesä 2013 Antti-Juhani Kaijanaho TIETOTEKNIIKAN LAITOS 19. kesäkuuta 2013 Sisällys Chomskyn hierarkia (ja vähän muutakin) kieli säännöllinen LL(k) LR(1) kontekstiton
LisätiedotLisää pysähtymisaiheisia ongelmia
Lisää pysähtymisaiheisia ongelmia Lause: Pysähtymättömyysongelma H missä H = { w111x w validi koodi, M w ei pysähdy syötteellä x } ei ole rekursiivisesti lueteltava. Todistus: Pysähtymisongelman komplementti
LisätiedotSisällys. Esipuhe Aakkoset ja koulussa Torilla 80
Sisällys Esipuhe.... 6 0. Aakkoset ja koulussa 8 Aakkoset Koulusanat Mikä sinun nimi on? Tavaaminen 4. Torilla 80 Isot numerot Mitä maksaa? Ruokia ja juomia Millainen? Partitiivi Negatiivinen verbi ko/kö-kysymys
LisätiedotFORMAALI SYSTEEMI (in Nutshell): aakkosto: alkeismerkkien joukko kieliopin määräämä syntaksi: sallittujen merkkijonojen rakenne, formaali kuvaus
FORMAALI SYSTEEMI (in Nutshell): Formaali kieli: aakkosto: alkeismerkkien joukko kieliopin määräämä syntaksi: sallittujen merkkijonojen rakenne, formaali kuvaus esim. SSM:n tai EBNF:n avulla Semantiikka:
LisätiedotAutomaatit. Muodolliset kielet
Automaatit Automaatit ovat teoreettisia koneita, jotka käsittelevät muodollisia sanoja. Automaatti lukee muodollisen sanan kirjain kerrallaan, vasemmalta oikealle, ja joko hyväksyy tai hylkää sanan. Täten
Lisätiedotadverbiaali on lauseenjäsen, joka ilmaisee aikaa, paikkaa, tapaa määrää, syytä, keinoa tai jotakin muuta seikkaa.
Adverbiaali adverbiaali on lauseenjäsen, joka ilmaisee aikaa, paikkaa, tapaa määrää, syytä, keinoa tai jotakin muuta seikkaa. Tänään (aika) koulussa (paikka) puhuttiin varovasti (tapa) vähän (määrä) vahingossa
LisätiedotAlgoritmin määritelmä [Sipser luku 3.3]
Algoritmin määritelmä [Sipser luku 3.3] Mitä algoritmilla yleensä tarkoitetaan periaatteessa: yksiselitteisesti kuvattu jono (tietojenkäsittely)operaatioita, jotka voidaan toteuttaa mekaanisesti käytännössä:
LisätiedotTIEA241 Automaatit ja kieliopit, kesä Antti-Juhani Kaijanaho. 10. kesäkuuta 2013
TIEA241 Automaatit ja kieliopit, kesä 2013 etenevä Antti-Juhani Kaijanaho TIETOTEKNIIKAN LAITOS 10. kesäkuuta 2013 Sisällys etenevä etenevä Chomskyn hierarkia (ja muutakin) kieli säännöllinen LL(k) LR(1)
LisätiedotTIEA241 Automaatit ja kieliopit, syksy Antti-Juhani Kaijanaho. 9. lokakuuta 2016
TIEA24 Automaatit ja kieliopit, syksy 206 Antti-Juhani Kaijanaho TIETOTEKNIIKAN LAITOS 9. lokakuuta 206 Sisällys Kolme laskennan mallia kuvitteellisia (abstrakteja) koneita eli automaatteja lukevat syötteen
Lisätiedot