Kieli merkitys ja logiikka

Save this PDF as:
 WORD  PNG  TXT  JPG

Koko: px
Aloita esitys sivulta:

Download "Kieli merkitys ja logiikka"

Transkriptio

1 Tieto kielestä Kieli merkitys ja logiikka! Kielen biologinen olemus! Kielen kulttuurinen olemus! Kielen normatiivinen olemus Luento 2! Kognitiotieteen tutkimuskohteena on kielen biologinen olemus: " Kielen biologinen olemus kuuluu universaalisti kaikkien ihmisten perimään. Propositiologiikka! Konnektiivit kuvaavat lauseiden (tai sanojen) välisiä suhteita. Atomilauseista voidaan niiden avulla johtaa monimutkaisempia ilmaisuja: Pekka rakastaa Merjaa ja Merja rakastaa Juhaa. Pekka rakastaa Merjaa tai Pekka rakastaa Minnaa. Jos Pekka keittää kahvia niin kahvi valmistuu ajoissa. ja : " tai : # jos... niin : $ ei : Propositiologiikka! Laadi totuustaulut konnektiiveille kun merkitykset ovat kirjaimellisesti: Pekka rakastaa Merjaa ja Merja Juhaa. Pekka rakastaa Merjaa tai Pekka rakastaa Minnaa (tai Pekka rakastaa molempia.) Jos Pekka keittää kahvia niin kahvi valmistuu ajoissa (mutta kahvi voi valmistua ajoissa muutenkin). ja : " tai : # jos... niin : $ ei : Saara Huhmarniemi 1

2 Kielentutkimuksen eri osa-alueet Kielentutkimuksen osa-alueita! Fonetiikka " äänteiden (fysikaalinen) tutkimus! Fonologia " kielen äännejärjestelmän tutkimus! Morfologia " sananmuodostus, sanojen rakenne, taipuminen ja johtaminen! Sanaston tutkimus! Syntaksi " kielellisten rakenteet, rakenteiden väliset suhteet! Morfosyntaksi " syntaksin ja morfologian suhde, joka liittyy taivutukseen ja taivutusparadigmoihin (mutta ei esimerkiksi sananmuodostukseen).! Semantiikka " sanojen ja kielellisten rakenteiden suhde maailmaan " totuusarvot! Pragmatiikka " kielellisten rakenteiden ja niiden käytön välinen suhde " puhujan tarkoitus " kontekstuaalinen merkitys " "kuinka kommunikoidaan enemmän kuin sanotaan" Morfosyntaktiset piirteet Morfosyntaktiset piirteet Lapsi syö puuroa. Lapset syövät puuroa. Kenguru hyppii. Kengurut hyppivät.! Substantiiveilta voidaan erottaa monikkoa merkitsevä suffiksi (-t).! Suomessa sanoissa taivutuksen aikana usein myös äännemuutoksia.! Verbin monikko (3.pers) muodostetaan suffiksilla (-vat).! Suomessa verbi kongruoi subjektin luvun lisäksi myös persoonan mukaan.! Morfosyntaktiset piirteet liittyvät lauseen syntaktisiin ominaisuuksiin. Esimerkiksi adjektiivit mukautuvat pääsanansa mukaan: pienet punaiset talot.! Eri persooniin liittyviä morfosyntaktisia piirteitä voidaan merkitä formaalisti esimerkiksi: sg1, sg2, sg3, pl1, pl2, pl3 (singular=yksikkö, plural=monikko).! Mitä muita morfosyntaktisia piirteitä kielessä on? Saara Huhmarniemi 2

3 Morfosyntaktiset piirteet Sanat! Esimerkkejä: " substantiivin suku " substantiivin luku: duaali, esim pohjoissaamessa du1, du2, du3.! Maailman kielissä on paljon tämänkaltaisia piirteitä jotka liittyvät esimerkiksi paikkaan, aikaan ja laskemiseen tai siihen kuka puhuu, kenelle puhutaan ja mikä on puheenaihe.! Lisäksi joillakin piirteillä on merkitys ainoastaan syntaktisen relaation merkkinä (esim. syntaktiset sijamuodot).! Millä perusteella sanat luokitellaan eri kategorioihin, nominit, verbit, adjektiivit,..?! Voidaan käyttää sanan muotoon tai semantiikkaan liittyviä testejä: " Verbi kuvaa tapahtumaa tai toimintaa, loppuu perusmuodossa -a tai -ä, jne.! Taivutukseen liittyvät testit ovat varmempia: " Verbi taipuu aikamuodossa ja subjektin suvussa ja luvussa, jne. Leksikko Lauseen eri osat! Otetaan käyttöön leksikko, jossa listataan sanat ja niiden tyypit. Osa leksikosta: N nomini Pekka, Merja, talo, myyrä, koti... V verbi rakastaa, kaipaa, etsii,... A adjektiivi pieni, punainen,... C konjunktio ja, tai, että, jos,... N V N! verbi, predikaatti! subjekti: tekijä! objekti: tekemisen kohde Pekka pudotti ruukun lattialle. Pekka satutti varpaansa juostessaan. Talo rakennettiin. Ruukku vieri lattialla.! Kaikki verbit eivät saa subjektia tai objektia. Saara Huhmarniemi 3

4 Assosiationismi ja kielioppi Assosiationismi ja kielioppi! Suomen kielen peruslause on muotoa Subjekti-Verbi-Objekti Pekka rakastaa Merjaa. Myyrä etsii kotia. Pekka kaipaa Merjaa.! Lauseet voidaan kuvata assosiatiiivisen mallin avulla niin, että sanojen sijaan käytetään sanaluokkien tunnuksia.! N=nomini! V=verbi! Lauseet voidaan nyt kuvata käyttämällä vain yhtä mallia. Pekka näki Merjan. Myyrä etsii kodin. Pekka löysi Merjan. N-nom V N-akk Leksikko Leksikko! Monet sanaluokat sisältävät alikategorioita. Esimerkiksi verbit voidaan luokitella intransitiivisiin ja transitiivisiin, sen mukaan montako argumenttia ne saavat. Pekka nukkuu. *?Pekka nukkuu sängyn. *?Pekka vaatii. Pekka vaatii kirjan.! Mallia varten tarvitsemme sijamuotoja, joita ovat esimerkiksi subjektin nominatiivisija (nom) ja objektin akkusatiivisija (akk), genetiivi (gen), partitiivi (part), semanttiset sijat, paikallissijat. Pekka-NOM nukkuu. Pekka syö leivän-akk. Pekka nukkuu talossa-ine. Pekan-GEN auto. Saara Huhmarniemi 4

5 Äärellisten tilojen automaatti Assosiationistinen teoria kielestä! Kielen voidaan ajatella koostuvan kahdesta komponentista: kielen sanastosta ja kieliopista. Kielioppi kuvaa sanakategorioiden välisiä suhteita, kun taas sanasto on itsenäinen komponentti.! Kieli muodostaa ilmaisujoukon, johon kuluvat kaikki siinä kieliopilliset ilmaisut.! Assosiationistiset teoriat kielestä ja kognitiosta ovat oikeastaan ensimmäisiä teorioita ajattelusta.! David Hume ( ) loi ensimmäisen systemaattisen assosiationistisen teorian ihmisen mielestä.! Systeemissä tilat olivat alkeellisia käsitteitä, ne liittyivät toisiinsa muodostaen monimutkaisia käsitteitä, merkityksiä ja ajatuksia. Assosiationistinen teoria kielestä Tehtävä! Assosiaatiolait: jos kaksi tilaa tai tilajoukkoa esiintyvät toistuvasti yhdessä, niiden välistä assosiaatiota vahvistetaan.! Näin mieli pystyy mallintamaan ympäristöä ja ihminen käyttäytymään järkevästi.! Miten kielen oppiminen selitetään assosiationismiin perustuen? Saara Huhmarniemi 5

6 Äärellisten tilojen automaatti Äärellisten tilojen automaatti! Edellä esitetty assosiationistinen malli kielelle on esimerkki äärellisten tilojen automaatista (finite states automaton). Usein puhutaan myös Markov-mallista.! Automaatti koostuu siis: 1. Äärellisestä määrästä tiloja 2. Tilasiirtymistä 3. Äärellisestä aakkostosta (syötemerkit) 4. Alkutilasta 5. Hyväksyvistä lopputiloista! 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.! On olemassa kieliä, joita ei voi kuvata käyttämällä assosiatiivista mallia. Äärellisten tilojen automaatti Äärellisten tilojen automaatti! Äärellisten tilojen kielelle voidaan määritellä automaatti, joka määrittelee kielen. Jokainen merkkijono, jonka automaatti tunnistaa kuuluu kieleen. Kieleen kuulumattomat merkkijonot automaatti hylkää.! Olkoon kielen L aakkosto A={a,b}. Laaditaan automaatti, joka tuottaa kielen L={ab, aab, aaab,... abb, aabbb,...}! Olkoon kielen L aakkosto A={a,b}. Laaditaan automaatti, joka tuottaa kielen L={ab, aab, aaab,... abb, aabbb,...}! Kieltä voidaan merkitä myös Saara Huhmarniemi 6

7 Assosiationismin rajoituksia Assosiationismin rajoituksia! 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 ja söimme. Me näimme teidät ja itsemme. Minä uskon nähneeni itseni. " Tässä viimeisen sanan taivutus riippuu olennaisesti ensimmäisestä sanasta. Assosiationismin rajoituksia Assosiatiivisen mallin muisti! 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. 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ää.! Periaateessa rakenteita voi laittaa sisäkkäin loputtomiin, jopa niin että jompikumpi S3 tai S4 sisältää uuden Jos-niin -rakenteen. Saara Huhmarniemi 7

8 Assosiatiivisen mallin muisti Konstituentit ja lauserakenteet! Puhutaan rajattoman kantaman riippuvuudesta.! Jos-niin rakenteen tunnistavan mallin pitäisi sisältää ääretön määrä haarautumia.! Kieli! Assosiationistisen mallin mukaan kielen ilmaukset ovat olemukseltaan sanajonoja.! Kielitieteessä ja kognitiotieteessä on omaksuttu vahvempi teoria, jossa lauseet esitetään konstituenttirakenteiden avulla.! Kielen tulisi muistaa luettujen a-symbolien määrä. Lauseke ja lausekkeen elementit Pääsana! Lause jakautuu pienempiin osiin, lausekkeisiin. [Pekka] [näki [ison pahan suden]].! Lausekkeilla on sisäinen rakenne, josta voidaan erottaa pääsana sekä määreet ja komplementit. Pekka näki [ison pahan suden].! 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. Pekka näki [kognitiotieteen opiskelijan]. Saara Huhmarniemi 8

9 Konstituenttimalli Konstituenttimalli! Konstituenttimalli 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 voidaan esittää rekursion avulla. Konstituenttimalli Konstituenttimalli 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,... 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,... Saara Huhmarniemi 9

10 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,... Saara Huhmarniemi 10

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. 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 Ää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 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 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. 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

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

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 Luento 5 Kieli merkitys ja logiikka Luento 6: Konstituentit, Lauseen derivaatio Luento 6: 107-115, Aivot ja luovuus 134-137 Lauserakennekielioppi, kontekstiton kielioppi Transformaatiot Kontekstiton kielioppi

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

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

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. 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

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

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

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

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

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

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

Kieli merkitys ja logiikka. Johdanto. Materiaali. Kurssin sisältö. Luento 1: Johdanto. Kieli, merkitys ja logiikka, kevät Saara Huhmarniemi 1 Materiaali Kieli merkitys ja logiikka Johdanto Materiaali on saatavilla monisteina kognitiotieteen tiloissa (S20C 5krs). Pauli Brattico, Biolingvistiikka. Luvut 1,2,3,5. (ei siis lukua 4) http://www.helsinki.fi/kognitiotiede/kurssit/salaiset_kansiot/cog131/

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

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

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

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

Säännölliset kielet. Sisällys. Säännölliset kielet. Säännölliset operaattorit. Säännölliset kielet TIEA241 Automaatit ja kieliopit, kesä 2013 Antti-Juhani Kaijanaho TIETOTEKNIIKAN LAITOS 24. toukokuuta 2013 Sisällys Formaalit kielet On tapana sanoa, että merkkijonojen joukko on (formaali) kieli. Hieman

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

8. Kieliopit ja kielet 1 / 22

8. Kieliopit ja kielet 1 / 22 8. Kieliopit ja kielet 1 / 22 Luonnollinen kieli Suomen kielen sanoja voidaan yhdistellä monella eri tavalla. Kielioppi määrää sen, milloin sanojen yhdistely antaa oikein muodostetun lauseen. "Mies räpyttää

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

ISO SUOMEN KIELIOPPI S2- OPETUKSESSA. Muutama havainto

ISO SUOMEN KIELIOPPI S2- OPETUKSESSA. Muutama havainto ISO SUOMEN KIELIOPPI S2- OPETUKSESSA Muutama havainto Maisa Martin Alumnipäivä 26.9.2009 KOLME ASIAA Uusia termejä S2-alan näkökulmasta ja muutenkin Hyödyllisiä erotteluja Ope, mitä eroa on Mikä on tavallista?

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

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

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

Äärellisten automaattien ja säännöllisten kielten ekvivalenssi Äärellisten automaattien ja säännöllisten kielten ekvivalenssi Osoitamme seuraavan keskeisen tuloksen: Lause 1.8: [Sipser Thm. 1.54] Kieli on säännöllinen, jos ja vain jos jokin säännöllinen lauseke esittää

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

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

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

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

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

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

Säännöllisten kielten sulkeumaominaisuudet

Säännöllisten kielten sulkeumaominaisuudet Säännöllisten kielten sulkeumaominaisuudet Osoitamme nyt, että säännöllisten kielten joukko on suljettu yhdisteen, konkatenaation ja tähtioperaation suhteen. Toisin sanoen jos A ja B ovat säännöllisiä,

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

Kirjoita käyttäen propositiosymboleita, konnektiiveja ja sulkeita propositiologiikan lauseiksi:

Kirjoita käyttäen propositiosymboleita, konnektiiveja ja sulkeita propositiologiikan lauseiksi: 1 Logiikan paja, kevät 2011 Ratkaisut viikolle I Thomas Vikberg Merkitään propopositiosymboleilla p i seuraavia atomilauseita: p 0 : vettä sataa p 1 : tänään on perjantai p 2 : olen myöhässä Valitaan konnektiiveiksi,

Lisätiedot

LAUSELOGIIKKA (1) Sanalliset ilmaisut ovat usein epätarkkoja. On ilmaisuja, joista voidaan sanoa, että ne ovat tosia tai epätosia, mutta eivät molempia. Ilmaisuja, joihin voidaan liittää totuusarvoja (tosi,

Lisätiedot

Luonnolliset vs. muodolliset kielet

Luonnolliset vs. muodolliset kielet Luonnolliset vs. muodolliset kielet Luonnollisia kieliä ovat esim. 1. englanti, 2. suomi, 3. ranska. Muodollisia kieliä ovat esim. 1. lauselogiikan kieli (ilmaisut p, p q jne.), 2. C++, FORTRAN, 3. bittijonokokoelma

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

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

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

TIEA241 Automaatit ja kieliopit, kevät Antti-Juhani Kaijanaho. 12. tammikuuta 2012 TIEA241 Automaatit ja kieliopit, kevät 2012 Antti-Juhani Kaijanaho TIETOTEKNIIKAN LAITOS 12. tammikuuta 2012 Sisällys Sisällys Äärellisiä automaatteja PUSH ON PUSH OFF Q T Q J C C H S C,Q C,Q 0 50s 1e

Lisätiedot

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

TIEA241 Automaatit ja kieliopit, syksy Antti-Juhani Kaijanaho. 5. marraskuuta 2015 TIEA24 Automaatit ja kieliopit, syksy 205 Antti-Juhani Kaijanaho TIETOTEKNIIKAN LAITOS 5. marraskuuta 205 Sisällys Käsiteanalyysiä Tarkastellaan koodilukkoa äärellisenä automaattina. Deterministinen äärellinen

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

Varhainen leikki ja sen arviointi

Varhainen leikki ja sen arviointi Varhainen leikki ja sen arviointi Paula Lyytinen Jyväskylän yliopisto Psykologian laitos Hyvä Alku messut 2.9.2004 Leikin sisällöt eri ikävaiheissa Esine- ja toimintaleikit (0-3 v) Eksploratiiviset Funktionaalis-relationaaliset

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

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

Haluaisin mennä nukkumaan Verbi + verbi + verbi

Haluaisin mennä nukkumaan Verbi + verbi + verbi Verbien rektioita Haluaisin mennä nukkumaan Verbi + verbi + verbi Jos lauseessa on useita verbejä, missä muodossa 2. tai 3. verbi ovat? -Jos lauseessa on useita verbejä peräkkäin, 1. verbi taipuu normaalisti,

Lisätiedot

Tieteenfilosofia 2/4. Heikki J. Koskinen, FT, Dos. Helsingin yliopisto / Suomen Akatemia

Tieteenfilosofia 2/4. Heikki J. Koskinen, FT, Dos. Helsingin yliopisto / Suomen Akatemia Tieteenfilosofia 2/4 Heikki J. Koskinen, FT, Dos. Helsingin yliopisto / Suomen Akatemia 1 Viisauden sanoja Aristoteleelta Aristoteles (De int. 1.): Ääneen puhutut sanat ovat sielullisten vaikutusten symboleja

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

Laskennan mallit (syksy 2010) Harjoitus 4, ratkaisuja

Laskennan mallit (syksy 2010) Harjoitus 4, ratkaisuja 582206 Laskennan mallit (syksy 2010) Harjoitus 4, ratkaisuja 1. Esitä tilakaaviona NFA N = (Q, Σ, δ, q 0, F ), missä Q = { q 0, q 1, q 2, q 3, q 4, q 5, q 6, q 7 }, Σ = { a, b, c }, F = { q 4 } ja δ on

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

Pikapaketti logiikkaan

Pikapaketti logiikkaan Pikapaketti logiikkaan Tämän oppimateriaalin tarkoituksena on tutustua pikaisesti matemaattiseen logiikkaan. Oppimateriaalin asioita tarvitaan projektin tekemisessä. Kiinnostuneet voivat lukea lisää myös

Lisätiedot

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

TIEA241 Automaatit ja kieliopit, kevät Antti-Juhani Kaijanaho. 26. tammikuuta 2012 TIEA241 Automaatit ja kieliopit, kevät 2012 Antti-Juhani Kaijanaho TIETOTEKNIIKAN LAITOS 26. tammikuuta 2012 Sisällys Luennon pähkinä Millä tavalla voidaan rakentaa tietokoneohjelma (tai kirjasto), joka

Lisätiedot

Esimerkki 1: Kahviautomaatti.

Esimerkki 1: Kahviautomaatti. Esimerkki 1: Kahviautomaatti. ÄÄRELLISET AUTOAATIT JA SÄÄNNÖLLISET KIELET 2.1 Tilakaaviot ja tilataulut Tarkastellaan aluksi tietojenkäsittelyjärjestelmiä, joilla on vain äärellisen monta mahdollista tilaa.

Lisätiedot

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

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

Lisätiedot

Sana rakenteen kategoriana (A. Radford: Transformational Grammar. A First Course)

Sana rakenteen kategoriana (A. Radford: Transformational Grammar. A First Course) Sanaluokista Lauseet eivät ole mitä tahansa äännejonoja; niillä on hierarkkinen konstituenttirakenne, jossa äänteet muodostavat sanoja, sanat lausekkeita ja lausekkeet lauseita. konstituentit kuuluvat

Lisätiedot

S U M E R I N SIJAMUODOT

S U M E R I N SIJAMUODOT S U M E R I N SIJAMUODOT (Luonnos XHTML-versiota varten) Aleksi Sahala, Helsingin Yliopisto v 0.2 (KESKENERÄINEN) 1 Substantiivilauseke Sumerin substantiivilauseke rakentuu yhdestä nominista (N) tai nominiketjusta

Lisätiedot

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

TIEA241 Automaatit ja kieliopit, syksy Antti-Juhani Kaijanaho. 16. marraskuuta 2015 ja ja TIEA241 Automaatit ja kieliopit, syksy 2015 Antti-Juhani Kaijanaho NFA:ksi TIETOTEKNIIKAN LAITOS 16. marraskuuta 2015 Sisällys ja NFA:ksi NFA:ksi Kohti säännöllisiä lausekkeita ja Nämä tiedetään:

Lisätiedot

Loogiset konnektiivit

Loogiset konnektiivit Loogiset konnektiivit Tavallisimmat loogiset konnektiivit ovat negaatio ei konjunktio ja disjunktio tai implikaatio jos..., niin... ekvivalenssi... jos ja vain jos... Sulkeita ( ) käytetään selkeyden vuoksi

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

Propositiot: Propositiot ovat väitelauseita. Totuusfunktiot antavat niille totuusarvon T tai E.

Propositiot: Propositiot ovat väitelauseita. Totuusfunktiot antavat niille totuusarvon T tai E. Propositiot: Propositiot ovat väitelauseita. Totuusfunktiot antavat niille totuusarvon T tai E. Perusaksioomat: Laki 1: Kukin totuusfunktio antaa kullekin propositiolle totuusarvoksi joko toden T tai epätoden

Lisätiedot

vaihtoehtoja TIEA241 Automaatit ja kieliopit, syksy 2016 Antti-Juhani Kaijanaho 13. lokakuuta 2016 TIETOTEKNIIKAN LAITOS

vaihtoehtoja TIEA241 Automaatit ja kieliopit, syksy 2016 Antti-Juhani Kaijanaho 13. lokakuuta 2016 TIETOTEKNIIKAN LAITOS TIEA241 Automaatit ja kieliopit, syksy 2016 Antti-Juhani Kaijanaho TIETOTEKNIIKAN LAITOS 13. lokakuuta 2016 Sisällys Harjoitustehtävätilastoa Tilanne 13.10.2016 klo 9:42 passed waiting redo submitters

Lisätiedot

1 Logiikkaa. 1.1 Logiikan symbolit

1 Logiikkaa. 1.1 Logiikan symbolit 1 Logiikkaa Tieteessä ja jokapäiväisessä elämässä joudutaan tekemään päätelmiä. Logiikassa tutkimuskohteena on juuri päättelyt. Sen sijaan päätelmien sisältöön ei niinkäään kiinnitetä huomiota. Päätelmät

Lisätiedot

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

TIEA241 Automaatit ja kieliopit, kevät 2011 (IV) Antti-Juhani Kaijanaho. 19. tammikuuta 2012 TIEA241 Automaatit ja kieliopit, kevät 2011 (IV) Antti-Juhani Kaijanaho TIETOTEKNIIKAN LAITOS 19. tammikuuta 2012 Sisällys Sisällys Muistathan A B -konstruktion 0 k 1 i 2 s 3 s 4 a 5 0 k 1 o 2 i 3 r 4

Lisätiedot

Logiikan kertausta. TIE303 Formaalit menetelmät, kevät Antti-Juhani Kaijanaho. Jyväskylän yliopisto Tietotekniikan laitos.

Logiikan kertausta. TIE303 Formaalit menetelmät, kevät Antti-Juhani Kaijanaho. Jyväskylän yliopisto Tietotekniikan laitos. TIE303 Formaalit menetelmät, kevät 2005 Logiikan kertausta Antti-Juhani Kaijanaho antkaij@mit.jyu.fi Jyväskylän yliopisto Tietotekniikan laitos TIE303 Formaalit mentetelmät, 2005-01-27 p. 1/17 Luento2Luentomoniste

Lisätiedot

Yhteydettömän kieliopin jäsennysongelma

Yhteydettömän kieliopin jäsennysongelma Yhteydettömän kieliopin jäsennysongelma Yhteydettömän kieliopin jäsennysongelmalla tarkoitetaan laskentaongelmaa Annettu: yhteydetön kielioppi G, merkkijono w Kysymys: päteekö w L(G). Ongelma voidaan periaatteessa

Lisätiedot

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

Laskennan teoria (kevät 2006) Harjoitus 3, ratkaisuja 581336 Laskennan teoria (kevät 2006) Harjoitus 3, ratkaisuja 1. S! axc X! axc X! by c Y! by c Y! " 2. (a) Tehtävänä on konstruoida rajoittamaton kielioppi, joka tuottaa kielen f0 n 1 n jn 1g. Vaihe1: alkutilanteen

Lisätiedot

Kielioppi Harjoituskirja - suomi 3 - harjoituslista

Kielioppi Harjoituskirja - suomi 3 - harjoituslista Kielioppi Harjoituskirja - suomi 3 - harjoituslista Päätaso Alataso Harjoituksen nimi Tyyppi Taso 1 Aakkoset ja äänteet Aakkoset 1 Aakkosjärjestys 1 Aukko A 2 Aakkosjärjestys 2 Aukko A 3 Aakkosjärjestys

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

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

TIEA241 Automaatit ja kieliopit, kesä Antti-Juhani Kaijanaho. 22. toukokuuta 2013 TIEA24 Automaatit ja kieliopit, kesä 3 Antti-Juhani Kaijanaho TIETOTEKNIIKAN LAITOS 22. toukokuuta 3 Sisällys Äärellisiä automaatteja ON PUSH PUSH OFF Q T J Q C C H S C,Q C,Q 0 40 60 80 00, 70 90 Deterministinen

Lisätiedot

Kertausta 1. kurssikokeeseen

Kertausta 1. kurssikokeeseen Kertausta. kurssikokeeseen. kurssikoe on to 22.0. klo 9 2 salissa A (tai CK2). Koealueena johdanto ja säännölliset kielet luentokalvot 3 ja nämä kertauskalvot harjoitukset 6 Sipser, luvut 0 ja Edellisvuosien.

Lisätiedot

Laskennan mallit (syksy 2009) Harjoitus 11, ratkaisuja

Laskennan mallit (syksy 2009) Harjoitus 11, ratkaisuja 582206 Laskennan mallit (syksy 2009) Harjoitus 11, ratkaisuja 1. Seuraavissa laskennoissa tilat on numeroitu sarakkeittain ylhäältä alas jättäen kuitenkin hyväksyvä tila välistä. Turingin koneen laskenta

Lisätiedot

Sumeri Aleksi Sahala

Sumeri Aleksi Sahala Sumeri 7.5.2013 Aleksi Sahala Verbit Yleistä Sanaluokkana suljettu Yhdeksän epäsäännöllistä verbiä Perfektiivi tunnusmerkitön Monipuolinen finiitti- ja infinitiivi/partisiippitaivutus Kieliopilliset taivutuskategoriat

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

T Syksy 2004 Logiikka tietotekniikassa: perusteet Laskuharjoitus 2 (opetusmoniste, lauselogiikka )

T Syksy 2004 Logiikka tietotekniikassa: perusteet Laskuharjoitus 2 (opetusmoniste, lauselogiikka ) T-79.144 Syksy 2004 Logiikka tietotekniikassa: perusteet Laskuharjoitus 2 opetusmoniste, lauselogiikka 2.1-3.5) 21 24.9.2004 1. Määrittele lauselogiikan konnektiivit a) aina epätoden lauseen ja implikaation

Lisätiedot

Luento 12: XML ja metatieto

Luento 12: XML ja metatieto Luento 12: XML ja metatieto AS-0.110 XML-kuvauskielten perusteet Janne Kalliola XML ja metatieto Metatieto rakenne sanasto Resource Description Framework graafikuvaus XML Semanttinen Web agentit 2 1 Metatieto

Lisätiedot

Tietotekniikan valintakoe

Tietotekniikan valintakoe Jyväskylän yliopisto Tietotekniikan laitos Tietotekniikan valintakoe 2..22 Vastaa kahteen seuraavista kolmesta tehtävästä. Kukin tehtävä arvostellaan kokonaislukuasteikolla - 25. Jos vastaat useampaan

Lisätiedot

Lapsen tyypillinen kehitys. -kommunikaatio -kielellinen kehitys

Lapsen tyypillinen kehitys. -kommunikaatio -kielellinen kehitys Lapsen tyypillinen kehitys -kommunikaatio -kielellinen kehitys Kielellinen kehitys Vauvalla on synnynnäinen kyky vastaanottaa kieltä ja tarve olla vuorovaikutuksessa toisen ihmisen kanssa Kielellinen kehitys

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

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

5. MORFOLOGIA l. muotorakenne

5. MORFOLOGIA l. muotorakenne 5. MORFOLOGIA l. muotorakenne Yleisen kielitieteen peruskurssi / UM 5.1 Morfeemianalyysi Sanan käsite Lekseeni on kielen sanaston l. leksikon yksikkö. Samaa tarkoitetaan sanakirjasanalla tai leksikaalisella

Lisätiedot

Logiikka 1/5 Sisältö ESITIEDOT:

Logiikka 1/5 Sisältö ESITIEDOT: Logiikka 1/5 Sisältö Formaali logiikka Luonnollinen logiikka muodostaa perustan arkielämän päättelyille. Sen käyttö on intuitiivista ja usein tiedostamatonta. Mikäli logiikka halutaan täsmällistää esimerkiksi

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

Ä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

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

Yllä osoitettiin, että säännöllisten kielten joukko on suljettu yhdisteen Yllä osoitettiin, että säännöllisten kielten joukko on suljettu yhdisteen suhteen, eli jos kielet A ja B ovat säännöllisiä, niin myös A B on. Tätä voi havainnollistaa seuraavalla kuvalla: P(Σ ) Säännölliset

Lisätiedot

Se mistä tilasta aloitetaan, merkitään tyhjästä tulevalla nuolella. Yllä olevassa esimerkissä aloitustila on A.

Se mistä tilasta aloitetaan, merkitään tyhjästä tulevalla nuolella. Yllä olevassa esimerkissä aloitustila on A. Tehtävä. Tämä tehtävä on aineistotehtävä, jossa esitetään ensin tehtävän teoria. Sen jälkeen esitetään neljä kysymystä, joissa tätä teoriaa pitää soveltaa. Mitään aikaisempaa tehtävän aihepiirin tuntemusta

Lisätiedot

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

TIEA241 Automaatit ja kieliopit, syksy Antti-Juhani Kaijanaho. 12. marraskuuta 2015 TIEA241 Automaatit ja kieliopit, syksy 2015 Antti-Juhani Kaijanaho TIETOTEKNIIKAN LAITOS 12. marraskuuta 2015 Sisällys Muistathan A B -konstruktion 0 k 1 i 2 s 3 s 4 a 5 0 k 1 o 2 i 3 r 4 a 5 00 k 11 i

Lisätiedot

FI3 Tiedon ja todellisuuden filosofia LOGIIKKA. 1.1 Logiikan ymmärtämiseksi on tärkeää osata erottaa muoto ja sisältö toisistaan:

FI3 Tiedon ja todellisuuden filosofia LOGIIKKA. 1.1 Logiikan ymmärtämiseksi on tärkeää osata erottaa muoto ja sisältö toisistaan: LOGIIKKA 1 Mitä logiikka on? päättelyn tiede o oppi muodollisesti pätevästä päättelystä 1.1 Logiikan ymmärtämiseksi on tärkeää osata erottaa muoto ja sisältö toisistaan: sisältö, merkitys: onko jokin premissi

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

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

TIEA241 Automaatit ja kieliopit, syksy Antti-Juhani Kaijanaho. 19. syyskuuta 2016 TIEA241 Automaatit ja kieliopit, syksy 2016 Antti-Juhani Kaijanaho TIETOTEKNIIKAN LAITOS 19. syyskuuta 2016 Sisällys Neuvoja opintoihin tee joka päivä ainakin vähän uskalla mennä epämukavuusalueelle en

Lisätiedot

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

Äärellisten automaattien ja säännöllisten lausekkeiden minimointi Äärellisten automaattien ja säännöllisten lausekkeiden minimointi Timi Suominen, Riia Ohtamaa ja Pessi Moilanen Helsinki..01 HELSINGIN YLIOPISTO Tietojenkäsittelytieteen laitos Äärellisten automaattien

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

-Matematiikka on aksiomaattinen järjestelmä. -uusi tieto voidaan perustella edellisten tietojen avulla, tätä kutsutaan todistamiseksi

-Matematiikka on aksiomaattinen järjestelmä. -uusi tieto voidaan perustella edellisten tietojen avulla, tätä kutsutaan todistamiseksi -Matematiikka on aksiomaattinen järjestelmä -uusi tieto voidaan perustella edellisten tietojen avulla, tätä kutsutaan todistamiseksi -mustavalkoinen: asia joko on tai ei (vrt. humanistiset tieteet, ei

Lisätiedot

M = (Q, Σ, Γ, δ, q 0, q acc, q rej )

M = (Q, Σ, Γ, δ, q 0, q acc, q rej ) 6. LASKETTAVUUSTEORIAA Churchin Turingin teesi: Mielivaltainen (riittävän vahva) laskulaite Turingin kone. Laskettavuusteoria: Tarkastellaan mitä Turingin koneilla voi ja erityisesti mitä ei voi laskea.

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

Luku 7. Verbitön lause ja statiivi. 7.1. Verbitön lause

Luku 7. Verbitön lause ja statiivi. 7.1. Verbitön lause Luku 7 Verbitön lause ja statiivi 7.1. Verbitön lause Akkadissa ei ole kopulaverbiä ( olla-verbiä ). Lauseet, joissa muut kielet käyttävät kopulaa, ilmaistaan akkadissa yksinkertaisesti asettamalla subjekti

Lisätiedot

Ilpo Halonen 2005. 1.3 Päätelmistä ja niiden pätevyydestä. Luonnehdintoja logiikasta 1. Johdatus logiikkaan. Luonnehdintoja logiikasta 2

Ilpo Halonen 2005. 1.3 Päätelmistä ja niiden pätevyydestä. Luonnehdintoja logiikasta 1. Johdatus logiikkaan. Luonnehdintoja logiikasta 2 uonnehdintoja logiikasta 1 Johdatus logiikkaan Ilpo Halonen Syksy 2005 ilpo.halonen@helsinki.fi Filosofian laitos Humanistinen tiedekunta "ogiikka on itse asiassa tiede, johon sisältyy runsaasti mielenkiintoisia

Lisätiedot