Kieli merkitys ja logiikka

Samankaltaiset tiedostot
Kieli merkitys ja logiikka

Kieli merkitys ja logiikka

Kieli merkitys ja logiikka

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

Kieli merkitys ja logiikka

Kieli merkitys ja logiikka

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

Säännölliset kielet. Sisällys. Säännölliset kielet. Säännölliset operaattorit. Säännölliset kielet

Automaatit. Muodolliset kielet

Äärellisten automaattien ja säännöllisten kielten ekvivalenssi

Kieli merkitys ja logiikka

Säännöllisten kielten sulkeumaominaisuudet

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

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

Muodolliset kieliopit

Kieli merkitys ja logiikka

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

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

Pinoautomaatit. Pois kontekstittomuudesta

Yhteydettömät kieliopit [Sipser luku 2.1]

(0 1) 010(0 1) Koska kieli on yksinkertainen, muodostetaan sen tunnistava epädeterministinen q 0 q 1 q 2 q3

TIEA241 Automaatit ja kieliopit, kevät Antti-Juhani Kaijanaho. 12. tammikuuta 2012

Kieli merkitys ja logiikka

8. Kieliopit ja kielet

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

Luonnolliset vs. muodolliset kielet

Kieli merkitys ja logiikka

Lausekkeiden rakenteesta (osa 2) & omistusliitteistä

Äi 10 Tunti 3. Pilkkusäännöt

Kertausta 1. kurssikokeeseen

TIEA241 Automaatit ja kieliopit, syksy Antti-Juhani Kaijanaho. 19. syyskuuta 2016

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

Esimerkki 1: Kahviautomaatti.

LAUSESANAT KONJUNKTIOT

Kieli merkitys ja logiikka

LOGIIKKA johdantoa

TIEA241 Automaatit ja kieliopit, kevät Antti-Juhani Kaijanaho. 26. tammikuuta 2012

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

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

Hahmon etsiminen syotteesta (johdatteleva esimerkki)

Jos sekaannuksen vaaraa ei ole, samastamme säännöllisen lausekkeen ja sen esittämän kielen (eli kirjoitamme R vaikka tarkoitammekin L(R)).

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

Kieli merkitys ja logiikka

Yhteydettömän kieliopin jäsennysongelma

TIEA241 Automaatit ja kieliopit, kevät 2011 (IV) Antti-Juhani Kaijanaho. 19. tammikuuta 2012

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

TKT20005 Laskennan mallit (syksy 2018) Kurssikoe, malliratkaisut

Kieli merkitys ja logiikka

Pikapaketti logiikkaan

Täydentäviä muistiinpanoja Turingin koneiden vaihtoehdoista

5.3 Ratkeavia ongelmia

Algoritmin määritelmä [Sipser luku 3.3]

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

TIEA241 Automaatit ja kieliopit, kevät Antti-Juhani Kaijanaho. 8. maaliskuuta 2012

Laskennan mallit (syksy 2010) Harjoitus 4, ratkaisuja

OSA 1. Milloin? AIKA. Keskiviikkona. Peruslause + konjunktio + omistuslause

Rekursio. Funktio f : N R määritellään yleensä antamalla lauseke funktion arvolle f (n). Vaihtoehtoinen tapa määritellä funktioita f : N R on

Vaihtoehtoinen tapa määritellä funktioita f : N R on

Äärellisten automaattien ja säännöllisten lausekkeiden minimointi

Yllä osoitettiin, että säännöllisten kielten joukko on suljettu yhdisteen

LAUSETREENEJÄ. Kysymykset:

Rajoittamattomat kieliopit

DFA:n käyttäytyminen ja säännölliset kielet

Kielioppikäsitteitä saksan opiskelua varten

ICS-C2000 Tietojenkäsittelyteoria. Tähän mennessä: säännölliset kielet. Säännöllisten kielten pumppauslemma M :=

Laskennan mallit (syksy 2009) Harjoitus 11, ratkaisuja

9.5. Turingin kone. Turingin koneen ohjeet. Turingin kone on järjestetty seitsikko

Pysähtymisongelman ratkeavuus [Sipser luku 4.2]

Kieli merkitys ja logiikka. Luento 6: Merkitys ja kieli

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

ISO SUOMEN KIELIOPPI S2- OPETUKSESSA. Muutama havainto

Reetta Minkkinen

2. Yhteydettömät kielet

Tietotekniikan valintakoe

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

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

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

Kieli merkitys ja logiikka

Säännöllisen kielen tunnistavat Turingin koneet

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

9. Matemaattisista koneista.

ICS-C2000 Tietojenkäsittelyteoria

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

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

Äärettömät sanat. Aleksi Saarela. Matematiikan ja tilastotieteen laitos ja FUNDIM-keskus, Turun yliopisto. A. Saarela (TY) Äärettömät sanat 1 / 28

Haluaisin mennä nukkumaan Verbi + verbi + verbi

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

ÄÄRELLISTEN AUTOMAATTIEN MINIMOINTI. 1. Äärelliset automaatit Äärellinen automaatti (DFA = deterministic finite automaton) on

Laskennan teoria (kevät 2006) Harjoitus 3, ratkaisuja

JOKA -pronomini. joka ja mikä

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

ICS-C2000 Tietojenkäsittelyteoria Kevät 2016

Rekursiivinen Derives on periaatteessa aivan toimiva algoritmi, mutta erittäin tehoton. Jos tarkastellaan esim. kieliopinpätkää

Täytyy-lause. Minun täytyy lukea kirja.

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

o l l a käydä Samir kertoo:

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

SEKALAISIA IMPERFEKTI-TREENEJÄ

Rajoittamattomat kieliopit (Unrestricted Grammars)

815338A Ohjelmointikielten periaatteet Harjoitus 2 vastaukset

Transkriptio:

Äärellinen automaatti Kieli merkitys ja logiikka Luento 4: Assosiaatiot, konstituentit Edellä esitetty assosiationistinen malli kielelle on esimerkki äärellisten tilojen automaatista (finite states automaton) tai äärellisestä automaatista. Usein puhutaan myös Markovmallista. Automaatti koostuu siis: 1. Äärellisestä määrästä tiloja 2. Tilasiirtymistä 3. Äärellisestä aakkostosta 4. Alkutilasta 5. Hyväksyvistä lopputiloista Äärellinen automaatti Automaatin tunnistama kieli Sellaista kieltä, jonka kaikki ilmaukset voidaan periaatteessa muodostaa äärellisen automaatin avulla kutsutaan äärellisten tilojen kieleksi. Sanomme myös, että äärellisten tilojen automaatti tunnistaa jonkun kielen. Määritelmässä sana "kieli" on merkitykseltään laajempi, se sisältää luonnollisten kielten lisäksi myös keinotekoiset kielet. Kieli voi siis olla keinotekoinen, määritellään esimerkiksi aakkoston {a,b} kieli L: L={b, aba, abba} Äärellisten tilojen kieli voidaan määritellä säännöllisenä lausekkeena Operaatiot ab symbolien a ja b yhdistäminen merkkijonoksi ab a* toisto, a toistuu 0-n kertaa a b tai, jompikumpi symboli a tai b Aakkoston {N,V} kieli L=NVN Aakkoston {A,N} kieli L=A * N, n 0 Säännöllinen lauseke tuottaa siis merkkijonot kuten N, AN, AAN, AAAN, AAAAN,... Lisäksi merkintä A n, n 0 Saara Huhmarniemi 1

Äärellinen automaatti Olkoon kielen L aakkosto A={a,b}. Laaditaan automaatti, joka tuottaa kielen L={a, b, ab, aab, aaab,... abb, aabbb,...} Kieli voidaan antaa säännöllisenä lausekkeena: a*b* (tai a n b m, n,m 0) Assosiatiivisia malleja vahvempia kognitiivisia malleja ovat komputationaaliset mallit. Assosiatiivisessa mallissa ei ole muistia: ainoa tieto, joka mallilla on kullakin hetkellä, on tila, jossa malli sillä hetkellä on. Tilojen riippuvuuksia toisistaan ilmaistaan haarautumilla mallissa. Tila kantaa siis tietoa siitä, mitä on tapahtunut aikaisemmin. Assosiatiivisen mallin muistin täytyy ulottua melko kauas, sillä riippuvuudet eivät koske ainoastaan vierekkäisiä sanoja. Me nukuimme, söimme ja lauloimme. Minä halusin Pekan korjaavan autoni. Tässä viimeisen sanan taivutus riippuu olennaisesti ensimmäisestä sanasta. Kuinka kauas riippuvuussuhde voi ulottua? *Huomenna sataa, niin maa kastuu Jos huomenna sataa, niin maa kastuu. Tässä automaatti ei saa hyväksyä sanaa niin, ellei aiemmin ole esiintynyt sana jos. Mitä tapahtuu jos väliin jäävää osuutta kasvatetaan? Jos [ sinä haluat mennä ulos tai sinulla on tylsää] niin voin ottaa sinut mukaan. Saara Huhmarniemi 2

Assosiatiivisen mallin muisti Jos [ sinä haluat mennä ulos tai sinulla on tylsää], niin [voin ottaa sinut mukaan]. Tämän lauseen rakenne on Jos S1 niin S2. Nyt S1 sisältää rakenteen S3 tai S4. S3 = sinä haluat mennä ulos S4 = sinulla on tylsää. Periaatteessa lauseita voi laittaa sisäkkäin loputtomiin, jopa niin että jompikumpi, S3 tai S4 sisältää uuden Jos-niin -rakenteen. Lauseella voi olla useita eri jäsennyksiä, jotka eivät näy lauseen pintatasolla. Pekka ja Merja tai Juha lähtee mukaan. 1. [ Pekka ja Merja ] tai Juha lähtee mukaan. 2. Pekka ja [ Merja tai Juha ] lähtee mukaan. Jos lausetta käsitellään sanajonona, lauseen osien väliset yhteydet voivat kadota. On epäselvää, mihin tai-sanaan joko-sana liittyy. Pekka halusi syödä joko [ pihviä tai paistia illalla ] tai [ siikaa tai kampelaa aamulla ]. Assosiatiivisen mallin muisti Joko Pekka keittää kahvin ja joko Pekka leipoo tai Merja leipoo tai sitten juhlia ei pidetä. Joko S1 ja [joko S2 tai S3] tai S4. S1=Pekka keittää kahvin S2=Pekka leipoo S3=Merja leipoo S4=Juhlia ei pidetä Puhutaan rajattoman kantaman riippuvuudesta. Jos-niin rakenteen tunnistavan mallin pitäisi sisältää ääretön määrä haarautumia. Kieli on tyyppiä Kielen tulisi muistaa luettujen a-symbolien määrä. Saara Huhmarniemi 3

Konstituentit ja lauserakenteet Assosiationistisen mallin mukaan kielen ilmaukset ovat olemukseltaan sanajonoja. Kielitieteessä ja kognitiotieteessä on omaksuttu vahvempi teoria, jossa lauseet esitetään konstituenttirakenteiden avulla. Lauseke ja lausekkeen elementit Lause jakautuu pienempiin osiin, lausekkeisiin. [Pekka] [näki [ison pahan suden]]. Lausekkeilla on sisäinen rakenne, josta voidaan erottaa pääsana ja sitä määrittävät elementit. Pekka näki [ison pahan suden]. Pekka näki [kognitiotieteen opiskelijan]. Lausekkeita Lausekkeet Lause, S (sentence) Nominilauseke, NP (noun phrase) kissa, pieni kissa, Pekan koira, pienen pojan suuri auto Adjektiivilauseke, AP (adjective phrase) kaunis, todella ihana, syötävä, Pekan ostama Adverbilauseke, AdvP kauniisti, todella ihanasti Verbilauseke, VP mennä kotiin, syödä leipää, käydä illalla uimassa Testejä lausekkeen löytämiseen lauseesta Lauseke ei hajoa: En voi sietää [vanhempaa siskoasi] [Vanhempaa siskoasi] en voi sietää. *Vanhempaa en voi sietää siskoasi. Lauseke voi esiintyä fragmenttina Minne hän meni? [Vanhaan kirkkoon] Pronominitesti: pronomini viittaa kokonaiseen NP:hen Mitä ajattelet vanhasta miehestä? *En voi sietää vanhaa häntä. Saara Huhmarniemi 4

Lausekkeet Pääsana Ja-konjunktio yhdistää toisiinsa kaksi samantyyppistä konstituenttia: VP ja VP NP ja NP AP ja AP Pekka [söi puuroa] ja [joi maitoa]. [Pekka] ja [Merja] olivat kotona. [pieni] ja [punainen] talo romahti. *NP ja S *Pekka uskoi [Jumalaan] ja [että kohta tulee maailmanloppu]. *NP ja AP *[Pekan] ja [punainen] talo romahti. Pääsana voi edustaa lauseketta yksin lauseyhteydessä: Minä näin ne fiksut luonnontieteiden opiskelijat. Minä näin opiskelijat. *Minä näin ne fiksut luonnontieteiden. *Minä näin fiksut. *Minä näin luonnontieteiden.?minä näin ne. esitetään puurakenteena tai hakasulkein. [ [ Pekka ] [ nukkuu ] ] Konstituentit voivat pitää sisällään lisää rakennetta: [ [ Pitkä poika ] [ nukkuu ] ] Puu päättyy aina terminaalisymboleihin, jotka poimitaan sanastosta. Kieli voidaan kuvata käyttämällä uudelleenkirjoitussääntöjä: S ---> N V N ---> Pekka, Merja,... V ---> nukkuu syö,... Tässä mallissa kielen luovuus on seurausta rekursiosta. Saara Huhmarniemi 5

S ---> NP VP NP ---> (A) N VP ---> V S* VP ---> V NP S* ---> C S N ---> Pekka, Merja, poika,... A ---> pieni, suuri,... V ---> rakasti, etsi,... C ---> että, vaikka, mutta,... Tehtävä Pieni poika etsi Merjaa. Pieni poika nauroi koska Merja rakasti häntä. S ---> NP VP NP ---> (A) N VP ---> V S* VP ---> V NP S* ---> C S N ---> Pekka, Merja, poika,... A ---> pieni, suuri,... V ---> rakasti, etsi,... C ---> että, vaikka, mutta,... Rekursio kielessä Jos [ sinä haluat mennä ulos tai sinulla on tylsää], niin [voin ottaa sinut mukaan]. S ---> Jos S niin S S ---> S tai S S ---> N V N ---> sinä,... V ---> haluat,... Upotetut lauseet: Koira, joka haukkui kissaa, joka jahtasi hiirtä, joka söi juuston, joka oli hienointa laatua, karkasi viime yönä. Pekka sanoi että Merja toivoi että Jukka leikkaisi nurmikon. Adjektiivit (ja adjunktit yleensä): Hän rakastui siihen älykkääseen, kohteliaaseen, miellyttävään, kaikin puolin ihailtavaan mieheen. Hän kaatui eilen yhtäkkiä huomaamatta puuta sukset jaloissaan. Koordinaatio Pekka halusi mennä kauppaan ja Merja halusi lähteä valokuvaamoon ja Minna päätti siivota talon ja Jukka päätti leikata nurmikon. Saara Huhmarniemi 6

Rekursio kielessä: esimerkkejä Rekursio NP voi sisältää muita NP:tä auto [ [ pienen pojan ] auto ] [ [ [ autiolla kadulla ] leikkivän pienen pojan ] auto ] VP muita VP:tä Pekka halusi [ Merjan lähtevän ] jne. Matematiikassa: tapa määritellä funktio, siten että määritelmä sisältää viittauksen funktioon itseensä. Tietojenkäsittelytieteessä: määritellään metodi siten että se kutsuu itseään. Kieliopin kuvauksessa konstituentin uudelleenkirjoitussäännöt sisältävät viittaukseen konstituenttiin itseensä. S ---> NP VP VP ---> V S* S* ---> C S Rekursio Rekursio Matematiikassa esim. Luonnossa Usein ajatellaan olevan ihmisen kielelle erityinen. Apinat eivät ole tähän mennessä koetilanteessa oppineet eroa kielen a n b n ja kielen (ab) n välillä. Rekursiota kuitenkin esiintyy myös muiden eläinlajien kielissä. Jotkut lintulajit kuten kottarainen voivat oppia kielen a n b n. (pärinä pärinä liverrys liverrys) Saara Huhmarniemi 7