Kieli merkitys ja logiikka

Koko: px
Aloita esitys sivulta:

Download "Kieli merkitys ja logiikka"

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

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ätiedot

Kieli merkitys ja logiikka

Kieli 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ätiedot

Kieli merkitys ja logiikka

Kieli 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ätiedot

Kieli merkitys ja logiikka. 4: Luovuus, assosiationismi. Luovuus ja assosiationismi. Kielen luovuus. Descartes ja dualismi

Kieli 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ätiedot

Kieli merkitys ja logiikka

Kieli 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ätiedot

Kieli merkitys ja logiikka

Kieli 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ätiedot

Kieli merkitys ja logiikka. 2: Helpot ja monimutkaiset. Luento 2. Monimutkaiset ongelmat. Monimutkaiset ongelmat

Kieli 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ätiedot

Kieli merkitys ja logiikka. Johdanto. Kurssin sisältö. Luento 1: Johdanto. Kirjasta. Kieli, merkitys ja logiikka, HY, kevät Saara Huhmarniemi 1

Kieli 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ätiedot

Kieli merkitys ja logiikka

Kieli 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ätiedot

Kieli merkitys ja logiikka

Kieli 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ätiedot

Kieli merkitys ja logiikka

Kieli 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ätiedot

Kieli merkitys ja logiikka. 2: Helpot ja monimutkaiset. Luento 2. Tieto kielestä. Tieto kielestä. Kieli, merkitys ja logiikka, HY, kevät 2010

Kieli 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ätiedot

Kieli merkitys ja logiikka

Kieli 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ätiedot

Rajoittamattomat kieliopit (Unrestricted Grammars)

Rajoittamattomat 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ätiedot

Chomskyn hierarkia. tyyppi 0 on juuri esitelty (ja esitellään kohta lisää) tyypit 2 ja 3 kurssilla Ohjelmoinnin ja laskennan perusmallit

Chomskyn 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ätiedot

Rajoittamattomat kieliopit

Rajoittamattomat 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ätiedot

Kieli merkitys ja logiikka

Kieli 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ätiedot

Kieli merkitys ja logiikka

Kieli 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ätiedot

Kieli merkitys ja logiikka

Kieli 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ätiedot

TIEA241 Automaatit ja kieliopit, syksy Antti-Juhani Kaijanaho. 12. lokakuuta 2016

TIEA241 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ätiedot

Kieli merkitys ja logiikka

Kieli 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ätiedot

Kieli merkitys ja logiikka. 3: Kielen biologinen perusta. Kielijärjestelmä. Kielen edellytykset. Kielijärjestelmä

Kieli 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ätiedot

T Syksy 2002 Tietojenkäsittelyteorian perusteet Harjoitus 8 Demonstraatiotehtävien ratkaisut

T 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ätiedot

Kieli merkitys ja logiikka

Kieli 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ätiedot

Täydentäviä muistiinpanoja Turingin koneiden vaihtoehdoista

Tä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ätiedot

Pinoautomaatit. Pois kontekstittomuudesta

Pinoautomaatit. 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ätiedot

Kieli, merkitys ja logiikka, kevät 2011 HY, Kognitiotiede. Vastaukset 2.

Kieli, 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ätiedot

Objekti. 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: 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ätiedot

TIEA241 Automaatit ja kieliopit, kevät 2011 (IV) Antti-Juhani Kaijanaho. 31. maaliskuuta 2011

TIEA241 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ätiedot

Pinoautomaatit. TIEA241 Automaatit ja kieliopit, syksy Antti-Juhani Kaijanaho. 6. lokakuuta 2016 TIETOTEKNIIKAN LAITOS

Pinoautomaatit. 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ätiedot

osassa III max-pist pistem pistemäärä osan III maksimista III:N MAX 30 Z Y X (X/Y)xZ=Å Åx0,3 TEHTÄVÄ

osassa 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ätiedot

Tässä lehdessä pääset kertaamaan Lohdutus-jakson asioita.

Tä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ätiedot

Turingin koneet. Sisällys. Aluksi. Turingin koneet. Turingin teesi. Aluksi. Turingin koneet. Turingin teesi

Turingin 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ätiedot

Kieli merkitys ja logiikka. Johdanto. Materiaali. Kurssin sisältö. Kirjasta. Kieli, merkitys ja logiikka, kevät 2009. Saara Huhmarniemi 1

Kieli 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ätiedot

TIEA241 Automaatit ja kieliopit, kevät Antti-Juhani Kaijanaho. 2. helmikuuta 2012

TIEA241 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ätiedot

Suomen A'-siirtymä. Reunat ja saarekkeet. lektiot. Saara Huhmarniemi. Väitöksenalkajaisesitelmä Helsingin yliopistossa 10.

Suomen 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ätiedot

Pinoautomaatit. TIEA241 Automaatit ja kieliopit, kesä Antti-Juhani Kaijanaho. 6. kesäkuuta 2013 TIETOTEKNIIKAN LAITOS. Pinoautomaatit.

Pinoautomaatit. 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ätiedot

Rekursiiviset tyypit

Rekursiiviset 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ätiedot

5.3 Ratkeavia ongelmia

5.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ätiedot

Syntaksissa tarkastelun perusyksikkö on lause. Syntaksi tutkii siis lauseiden rakennetta.

Syntaksissa 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ätiedot

Verbin valenssi määrää, minkälaisia argumentteja ja komplementteja verbi odottaa saavansa millaisissa lauseissa verbi voi esiintyä.

Verbin 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ätiedot

Jäsennys. TIEA341 Funktio ohjelmointi 1 Syksy 2005

Jä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ätiedot

TIEA241 Automaatit ja kieliopit, kesä Antti-Juhani Kaijanaho. 29. toukokuuta 2013

TIEA241 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ätiedot

luonnonilmiölauseessa paikan tai ajan ilmaus täyttää subjektin paikan: tunnekausatiivilauseissa subjektin paikan perii partitiivimuotoinen kokija:

luonnonilmiö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ätiedot

Kieli merkitys ja logiikka

Kieli 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ätiedot

lauseiden rakenne: suomessa vapaa sanajärjestys substantiivilausekkeen osien järjestys on kuitenkin yleensä täysin kiinteä ja määrätty

lauseiden 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ätiedot

Chomskyn hierarkia ja yhteysherkät kieliopit

Chomskyn 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ätiedot

Lausekkeiden rakenteesta (osa 2) & omistusliitteistä

Lausekkeiden 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ätiedot

Muita universaaleja laskennan malleja

Muita 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ätiedot

Muodolliset kieliopit

Muodolliset 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ätiedot

Sijoista ja kieliopillisista funktioista

Sijoista 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

(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ätiedot

Fredin ja Eskon sanomat

Fredin 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ätiedot

Vasen johto S AB ab ab esittää jäsennyspuun kasvattamista vasemmalta alkaen:

Vasen 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ätiedot

S BAB ABA A aas bba B bbs c

S 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ätiedot

TIEA241 Automaatit ja kieliopit, syksy Antti-Juhani Kaijanaho. 20. lokakuuta 2016

TIEA241 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 Ä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ätiedot

Yhteydettömät kieliopit [Sipser luku 2.1]

Yhteydettö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ätiedot

TIEA241 Automaatit ja kieliopit, kevät 2011 (IV) Antti-Juhani Kaijanaho. 31. maaliskuuta 2011

TIEA241 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ätiedot

8. Kieliopit ja kielet

8. 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ätiedot

TIEA241 Automaatit ja kieliopit, kevät 2011 (IV) Antti-Juhani Kaijanaho. 16. toukokuuta 2011

TIEA241 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ätiedot

Todistus: Aiemmin esitetyn mukaan jos A ja A ovat rekursiivisesti lueteltavia, niin A on rekursiivinen.

Todistus: 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ätiedot

Testaa: Vertaa pinon merkkijono syötteeseen merkki kerrallaan. Jos löytyy ero, hylkää. Jos pino tyhjenee samaan aikaan, kun syöte loppuu, niin

Testaa: 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 Ä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ätiedot

1. Universaaleja laskennan malleja

1. 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ätiedot

uv n, v 1, ja uv i w A kaikilla

uv 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ätiedot

2. Yhteydettömät kielet

2. 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ätiedot

Säännöllisen kielen tunnistavat Turingin koneet

Sää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ätiedot

Predikaattilogiikkaa

Predikaattilogiikkaa 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ätiedot

TIEA241 Automaatit ja kieliopit, syksy Antti-Juhani Kaijanaho. 12. lokakuuta 2016

TIEA241 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ätiedot

Iso 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 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ätiedot

t5 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ätiedot

Rekursiiviset palautukset [HMU 9.3.1]

Rekursiiviset 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ätiedot

4. Tehtävässä halutaan todistaa seuraava ongelma ratkeamattomaksi:

4. 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ätiedot

LOGIIKKA johdantoa

LOGIIKKA 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ätiedot

M =(K, Σ, Γ,, s, F ) Σ ={a, b} Γ ={c, d} = {( (s, a, e), (s, cd) ), ( (s, e, e), (f, e) ), (f, e, d), (f, e)

M =(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ätiedot

KlELIOPPI +TEATTERIT. Äikän kielioppia ja teattereiden esittelyjä. Lukuiloa. Iris&Jessica. Kuvat: Curly ry

KlELIOPPI +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ätiedot

Laskennan mallit (syksy 2010) Harjoitus 8, ratkaisuja

Laskennan 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ätiedot

Kieli merkitys ja logiikka. 2: Kielen biologinen perusta. Kielen biologinen perusta. Kielen biologinen perusta. Kielen biologinen perusta

Kieli 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ätiedot

Hahmon etsiminen syotteesta (johdatteleva esimerkki)

Hahmon 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ätiedot

Laskennan rajoja. TIEA241 Automaatit ja kieliopit, syksy Antti-Juhani Kaijanaho. 10. joulukuuta 2015 TIETOTEKNIIKAN LAITOS.

Laskennan 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ätiedot

TIEA241 Automaatit ja kieliopit, kevät Antti-Juhani Kaijanaho. 12. kesäkuuta 2013

TIEA241 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ätiedot

Kieli merkitys ja logiikka. Luento 6: Merkitys ja kieli

Kieli 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ätiedot

Suomen kielioppi: Harjoitukset - Harjoituslista. Aakkoset ja äänteet

Suomen 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ätiedot

Muita vaativuusluokkia

Muita 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ätiedot

subjektin ellipsi: kahdesta samasta subjektista jälkimmäistä ei toisteta

subjektin 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ätiedot

TIEA241 Automaatit ja kieliopit, kesä Antti-Juhani Kaijanaho. 26. kesäkuuta 2013

TIEA241 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ätiedot

TIEA241 Automaatit ja kieliopit, syksy Antti-Juhani Kaijanaho. 30. marraskuuta 2015

TIEA241 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ätiedot

KOGNITIOTIETEEN VALINTAKOE VALINTAKOEKIRJALLISUUTEEN PERUSTUVA OSA. Lue nämä ohjeet ensin KÄÄNNÄ SIVUA VASTA LUVAN SAATUASI!

KOGNITIOTIETEEN 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ätiedot

Pysähtymisongelman ratkeavuus [Sipser luku 4.2]

Pysä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ätiedot

Muunnelmia Turingin koneista sekä muita vaihtoehtoisia malleja

Muunnelmia 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ätiedot

Lisää pysähtymisaiheisia ongelmia

Lisää 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ätiedot

Sisällys. Esipuhe Aakkoset ja koulussa Torilla 80

Sisä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ätiedot

FORMAALI SYSTEEMI (in Nutshell): aakkosto: alkeismerkkien joukko kieliopin määräämä syntaksi: sallittujen merkkijonojen rakenne, formaali kuvaus

FORMAALI 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ätiedot

Automaatit. Muodolliset kielet

Automaatit. 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ätiedot

adverbiaali on lauseenjäsen, joka ilmaisee aikaa, paikkaa, tapaa määrää, syytä, keinoa tai jotakin muuta seikkaa.

adverbiaali 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ätiedot

Algoritmin määritelmä [Sipser luku 3.3]

Algoritmin 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ätiedot

TIEA241 Automaatit ja kieliopit, kesä Antti-Juhani Kaijanaho. 10. kesäkuuta 2013

TIEA241 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ätiedot

TIEA241 Automaatit ja kieliopit, syksy Antti-Juhani Kaijanaho. 9. lokakuuta 2016

TIEA241 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