Piirrerakennekielioppien jäsentäminen ja ProFIT
|
|
- Eeva Kähkönen
- 8 vuotta sitten
- Katselukertoja:
Transkriptio
1 Piirrerakennekielioppien jäsentäminen ja ProFIT Kontekstittomat jäsennysmenetelmät Lili Aunimo Helsingin yliopisto Kieliteknologia Lili Aunimo Piirrerakennekielioppien jäsentäminen ja ProFIT p.1/
2 Sisältö 1. Taulukkojäsentäminen ja piirrerakennekieliopit 2. Profit Lili Aunimo Piirrerakennekielioppien jäsentäminen ja ProFIT p.2/
3 Taulukkojäsentäminen ja piirrerakennekieliopit Kolme vaihtoehtoa: 1. Muunnetaan piirrerakennekielioppi CFG:ksi. 2. Jäsennetään CFG-kielioppi ja tarkistetaan rajoitteet jälkikäteen. 3. Muunnetaan jäsennin käsittelemään piirrerakennekielioppeja. Lili Aunimo Piirrerakennekielioppien jäsentäminen ja ProFIT p.3/
4 Taulukkojäsentäminen Muunnetaan piirrerakennekielioppi CFG:ksi. S -> NP VP: <NP num> = <VP num>. S -> NP_sing VP_sing. S -> NP_plur VP_plur. Lili Aunimo Piirrerakennekielioppien jäsentäminen ja ProFIT p.4/
5 Taulukkojäsentäminen Jäsennetään CFG-kielioppi ja tarkistetaan rajoitteet jälkikäteen. Jäsennin hukkaa aikaa turhiin hypoteeseihin ja analyyseihin. Piirrerakennekieliopilla pitää olla ainakin yksi sellainen piirre, jolla on arvo jokaisessa kieliopin DAG:issa, jotta siitä voisi tehdä CFG:n. Lili Aunimo Piirrerakennekielioppien jäsentäminen ja ProFIT p.5/
6 Taulukkojäsentäminen Muunnetaan jäsennin käsittelemään piirrerakennekielioppeja. Perusjäsennysongelma on sama riippumatta siitä, ovatko kategoriat atomisia vai piirrerakenteita. Muutetaan jäsentimen perusoperaatioita (samanlaisuuden testaaminen, sopivien sääntöjen etsiminen, jne.) hyväksymään erilaisia tietorakenteita. Lili Aunimo Piirrerakennekielioppien jäsentäminen ja ProFIT p.6/
7 Taulukkojäsentäminen 1. <START> = kokonaisluku (mistä kaari alkaa) 2. <FINISH> = kokonaisluku (mihin kaari loppuu) 3. <LABEL> = kategoria (kaaren päämäärä) 4. <FOUND> = kategoriajono (jo löydetyt lausekkeet) 5. <TOFIND> = kategoriajono (etsittävät lausekkeet) Pisteen sisältävä sääntö: <LABEL> -> <FOUND>.<TOFIND> <LABEL>, <FOUND> ja <TOFIND> ovat DAG:eja. Taulukkojäsentämisen perussääntö (The Fundamental rule) <i,j,a -> W1.B W2> <j,k,b -> W3.> <i,k,a -> W1 B. W2> A ja B ovat kategorioita ja W1, W2 ja W3 ovat (mahdollisesti tyhjiä) kategoriajonoja tai sanoja. Lili Aunimo Piirrerakennekielioppien jäsentäminen ja ProFIT p.7/
8 Verbit, semanttiset luokat Luokilla omat semanttiset roolit. Verbs of giving, roles: donor, gift, recipient. %to = V NP to-pp is possible %ditran = V NP NP is possible %with = the with-alternant is possible. give_verb(give, (to or ditrans)). give_verb(lend, (to or ditrans)). give_verb(supply, (to or ditrans or with)). give_verb(present, (to or with)). give_verb(bribe, with). give_verb(contribute, to). Lili Aunimo Piirrerakennekielioppien jäsentäminen ja ProFIT p.8/
9 Verbit, aikamuodot % Tense Templates t_overlap(sit) := reln!t_overlap & ref_time!sit & speech_time!now. t_precede(sit) := reln!t_precede & ref_time!sit & speech_time!now. t_follow(sit) := reln!t_follow & ref_time!sit & speech_time!now. Lili Aunimo Piirrerakennekielioppien jäsentäminen ja ProFIT p.9/
10 Leksikko, pronominit %orthography, case, agreement, restriction, anaphoric or not. pron(he, nom, 3&sg&m, male, -). pron(she, nom, 3&sg&f, female, -). pron(him, acc, 3&sg&m, male, -). pron(himself, acc, 3&sg&m, male, +). Lili Aunimo Piirrerakennekielioppien jäsentäminen ja ProFIT p.10/
11 Leksikko, substantiivit Lili Aunimo Piirrerakennekielioppien jäsentäminen ja ProFIT p.11/
12 Morfologiset funktiot morph_plural(nounsg, NounPl) :- atomic(nounsg), name(nounsg, SpellSg), reverse(spellsg, RevSg), reverse_plural(revsg, RevPl), reverse(revpl, SpellPl), name(nounpl, SpellPl). Lili Aunimo Piirrerakennekielioppien jäsentäminen ja ProFIT p.12/
13 Reverse_plural() reverse_plural([0 e,0 s,0 o,0 o Rev], [0 e,0 s,0 e,0 e Rev]) :-!. Ongelma: moose, hirvi sama yksikössä ja monikossa. Sääntöjen järjestys. reverse_plural([0 e,0 s,0 o,0 o,0 m Rev], [0 e,0 s,0 o,0 o,0 m Rev]) :-!. Lili Aunimo Piirrerakennekielioppien jäsentäminen ja ProFIT p.13/
14 Merkintöjä arg_st argument structure ana anaphor (reflexive pronoun) const_lxm constant lexeme finclause finite clause gram_cat grammatical category infl_lxm inflectable lexeme lxm lexeme Lili Aunimo Piirrerakennekielioppien jäsentäminen ja ProFIT p.14/
15 Merkintöjä mod modifies pos part of speech sit situation sent_verb verb that takes a sentential argument srv_lxm subject-raising verbs lexeme tv_lxm transitive verb lexeme val valency val_cat valency category Lili Aunimo Piirrerakennekielioppien jäsentäminen ja ProFIT p.15/
16 Lähteet: Gazdar and Mellish: Natural Language Processing in Prolog, Paul Bennett: GDE Handout 4 Lili Aunimo Piirrerakennekielioppien jäsentäminen ja ProFIT p.16/
17 Harjoitustehtävä 3 Alikategorisointi 3.1 Kim saw Sandy eat the duck % Category(Index, [Phon P]-P, Subcat, [LF_Term L]-L). v(e, [eat P]-P, [np(a)], [eat(e,a) L]-L) ---> [eat]. v(e, [saw P]-P, [np(a),s(b)], [see(e,a,b) L]-L) ---> [saw]. vp(e, P0-PN, [Subj], L0-LN) ---> v(e, P0-P1, [Subj,s(X)], L0-L1), s(x, P1-PN, [], L1-LN). Lili Aunimo Piirrerakennekielioppien jäsentäminen ja ProFIT p.17/
18 Harjoitustehtävä 3 Alikategorisointi 3.1 Kim saw the duck die Kim saw the woman give a duck to Sandy % Category(Index, [Phon P]-P, Subcat, [LF_Term L]-L). v(e, [die P]-P, [np(a)], [die(e,a) L]-L) ---> [die]. v(e, [give P]-P, [np(a),np(c),pp(to,b)], [give(e,a,b,c) L]-L) ---> [give]. Lili Aunimo Piirrerakennekielioppien jäsentäminen ja ProFIT p.18/
19 Harjoitustehtävä 3 Semantiikka 3.2 Kim gave a duck to Sandy the duck died the woman ate the duck % Category(Index, [Phon P]-P, Subcat, [LF_Term L]-L). v(e, [gave P]-P, [np(a),np(c),pp(to,b)], [give(e),past(e),agent(e,a),recipient(e,b),patient(e,c) L]-L) ---> [gave]. v(e, [died P]-P, [np(a)], [die(e),past(e),patient(e,a) L]-L) ---> [died]. v(e, [ate P]-P, [np(a),np(b)], [eat(e),past(e),agent(e,a),patient(e,b) L]-L) ---> [ate]. Lili Aunimo Piirrerakennekielioppien jäsentäminen ja ProFIT p.19/
20 Harjoitustehtävä 3 Aikamuodot 3.3 Kim gave a duck to Sandy the duck died the woman ate the duck % Category(Index, [Phon P]-P, Subcat, [LF_Term L]-L). v(e, [gave P]-P, [np(a),np(c),pp(to,b)], [give(e),before(e,now),agent(e,a),recipient(e,b),patient(e,c) L]-L) ---> [gave]. v(e, [died P]-P, [np(a)], [die(e),before(e,now),patient(e,a) L]-L) ---> [died]. v(e, [ate P]-P, [np(a),np(b)], [eat(e),before(e,now),agent(e,a),patient(e,b) L]-L) ---> [ate]. Lili Aunimo Piirrerakennekielioppien jäsentäminen ja ProFIT p.20/
21 Harjoitustehtävä 3 Aikamuodot 3.3 Kim saw Sandy eat the duck Lisätään infinitiivisellekin verbille aikamuotoesitys: [name(a,kim),see(b),agent(b,a),patient(b,c),before(b,now), name(d,sandy),eat(c),overlap(c,now),agent(c,d),patient(c,e),def(e),duck(e)] before(b,now) overlap(c,b) before(b,subclause(c),now) Lili Aunimo Piirrerakennekielioppien jäsentäminen ja ProFIT p.21/
22 Harjoitustehtävä 3 Aikamuodot 3.3 Kim saw Sandy eat the duck Infinitiivisellä verbillä ei erillistä aikamuotoa vp(vform, E, P0-PN, [Subj], L0-LN) ---> v(vform, E, P0-P1, [Subj,s(X)], L0-L1), s(nonfin, X, P1-PN, [], L1-LN). v(nonfin, E, [eat P]-P, [np(a),np(b)], [eat(e),agent(e,a),patient(e,b) L]-L) ---> [eat]. Lili Aunimo Piirrerakennekielioppien jäsentäminen ja ProFIT p.22/
23 Harjoitustehtävä 3 Aikamuodot 3.3 Kim saw Sandy eat the duck Ei-finiittisellä verbillä ei erillistä akamuotoa s(e, P0-PN, [], L0-LN) ---> np(a, P0-P1, [], L0-L1), vp(fin, E, P1-PN, [np(a)], L1-LN). v(fin, E, [eat P]-P, [np(a)], [eat(e),agent(a),overlap(e,now) L]-L) ---> [eat]. Lili Aunimo Piirrerakennekielioppien jäsentäminen ja ProFIT p.23/
Apuverbit HPSG:ssa ja ProFITissa
Apuverbit HPSG:ssa ja ProFITissa Kontekstittomat jäsennysmenetelmät Lili Aunimo lili.aunimo@helsinki.fi Helsingin yliopisto Kieliteknologia Lili Aunimo Apuverbit HPSG:ssa ja ProFITissa p.1/15 2005-05-03
Englannin lausekerakenteita ja taulukkojäsentäminen
Englannin lausekerakenteita ja taulukkojäsentäminen Kontekstittomat jäsennysmenetelmät Lili Aunimo lili.aunimo@helsinki.fi Helsingin yliopisto Kieliteknologia Lili Aunimo Englannin lausekerakenteita ja
Kontekstittomat jäsennysmenetelmät
Kontekstittomat jäsennysmenetelmät Yleistä, kontekstittomat kieliopit, kokoava ja osittava jäsentäminen Lili Aunimo lili.aunimo@helsinki.fi Helsingin yliopisto Kieliteknologia Lili Aunimo Kontekstittomat
JOHDATUS TEKOÄLYYN TEEMU ROOS
JOHDATUS TEKOÄLYYN TEEMU ROOS LUONNOLLISEN KIELEN KÄSITTELY (NATURAL LANGUAGE PROCESSING, NLP) TEKOÄLYSOVELLUKSET, JOTKA LIITTYVÄT IHMISTEN KANSSA (TAI IHMISTEN VÄLISEEN) KOMMUNIKAATIOON, OVAT TEKEMISISSÄ
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
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
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,
Avoimen lähdekoodin kaksitasokielioppikääntäjä
Avoimen lähdekoodin kaksitasokielioppikääntäjä Miikka Silfverberg miikka piste silfverberg at helsinki piste fi Kieliteknologia Helsingin yliopisto Avoimen lähdekoodin kaksitasokielioppikääntäjä p.1/23
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?
TIEA341 Funktio-ohjelmointi 1, kevät 2008
TIEA341 Funktio-ohjelmointi 1, kevät 2008 Luento 9 Kombinaattoreista Antti-Juhani Kaijanaho Jyväskylän yliopisto Tietotekniikan laitos 21. tammikuuta 2008 Currying Haskell-funktio ottaa aina vain yhden
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
Ohjelmoinnin perusteet Y Python
Ohjelmoinnin perusteet Y Python T-106.1208 11.2.2009 T-106.1208 Ohjelmoinnin perusteet Y 11.2.2009 1 / 33 Kertausta: listat Tyhjä uusi lista luodaan kirjoittamalla esimerkiksi lampotilat = [] (jolloin
FIS IMATRAN KYLPYLÄHIIHDOT Team captains meeting
FIS IMATRAN KYLPYLÄHIIHDOT 8.-9.12.2018 Team captains meeting 8.12.2018 Agenda 1 Opening of the meeting 2 Presence 3 Organizer s personell 4 Jury 5 Weather forecast 6 Composition of competitors startlists
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
Sija ja semanttinen rooli
3 tasoa Sija ja semanttinen rooli semanttinen rooli (esim. agentti) kieliopillinen suhde (esim. subjekti) sija (esim. nominatiivi tai ergatiivi) The Oxford Handbook of Case, Chapter 17 (Case, Grammatical
The OWL-S are not what they seem
The OWL-S are not what they seem...vai ovatko? Verkkopalveluiden koostamisen ontologia OWL-S Seminaariesitelmä 15.4.2013 Emilia Hjelm Internet on hankala Nykyinternet on dokumenttien verkko Asiat, joita
Lisää laskentoa. TIEA341 Funktio ohjelmointi 1 Syksy 2005
Lisää laskentoa TIEA341 Funktio ohjelmointi 1 Syksy 2005 Kertausta: Laajennettu aritmetiikka Lasketaan rationaaliluvuilla vakiot yhteen, vähennys, kerto ja jakolasku Laajennetaan sitä määrittelyillä: vakio
ESIMERKKEJÄ KOLMEN OSION TEHTÄVÄTYYPEISTÄ
TURUN YLIOPISTO Englannin kieli Valintakoe ESIMERKKEJÄ KOLMEN OSION TEHTÄVÄTYYPEISTÄ Älä käännä sivua ennen luvan saamista! 1 YLEISOHJE Valintakoe on jaettu kolmeen osaan: 1) Kieli- ja käännöstiede 2)
Sanaluokkajäsennystä rinnakkaisilla transduktoreilla
Sanaluokkajäsennystä rinnakkaisilla transduktoreilla Nykykielten laitos FIN-CLARIN-seminaarissa 4. marraskuuta 2010 Sanaluokkajäsennys Mr. Gelbert also has fun with language. NNP NNP RB VBZ NN IN NN. Sanaluokkajäsennin
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
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
Transitiivisuus. Tommi Jantunen, SVKS112,
Transitiivisuus Tommi Jantunen, SVKS112, 19.3.2019 Transitiivisuus verbien vertailukäsitteenä HASPELMATH, M. (2015). Transitivity prominence. In A. Malchukov & B. Comrie (Eds.), Valency classes in the
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
Ohjelmoinnin peruskurssien laaja oppimäärä
Ohjelmoinnin peruskurssien laaja oppimäärä Luento 2: SICP kohdat 22.2.3 Riku Saikkonen 2. 11. 2010 Sisältö 1 Linkitetyt listat 2 Listaoperaatioita 3 Listarakenteet 4 Gambit-C:n Scheme-debuggeri Linkitetyt
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
3 Derivoituvan funktion ominaisuuksia
ANALYYSI B, HARJOITUSTEHTÄVIÄ, KEVÄT 2019 3 Derivoituvan funktion ominaisuuksia 31 l Hospitalin sääntö 1 Määritä 2 5 4 2 + 2 7 12 + 11, e 1 2, (c) tan sin 2 Määritä 2012 3 704 + 2 6 30 13 10 + 7, 3 2017
semantiikan ja pragmatiikan pk / um
Sanasto l. leksikko Lekseemien merkityksen kuvaus on sanojen välisten merkityssuhteiden kuvaamiseen Kielen sanat muodostavat yhdessä leksikaalisia kenttiä eli merkityskenttiä Sanan merkitys voidaan kuvata
IV. TASAINEN SUPPENEMINEN. f(x) = lim. jokaista ε > 0 ja x A kohti n ε,x N s.e. n n
IV. TASAINEN SUPPENEMINEN IV.. Funktiojonon tasainen suppeneminen Olkoon A R joukko ja f n : A R funktio, n =, 2, 3,..., jolloin jokaisella x A muodostuu lukujono f x, f 2 x,.... Jos tämä jono suppenee
Pythagoraan polku 16.4.2011
Pythagoraan polku 6.4.20. Todista väittämä: Jos tasakylkisen kolmion toista kylkeä jatketaan omalla pituudellaan huipun toiselle puolelle ja jatkeen päätepiste yhdistetään kannan toisen päätepisteen kanssa,
Sanomme, että kuvaus f : X Y on injektio, jos. x 1 x 2 f (x 1 ) f (x 2 ) eli f (x 1 ) = f (x 2 ) x 1 = x 2.
Sanomme, että kuvaus f : X Y on injektio, jos x 1 x 2 f (x 1 ) f (x 2 ) eli f (x 1 ) = f (x 2 ) x 1 = x 2. Siis kuvaus on injektio, jos eri alkiot kuvautuvat eri alkioille eli maalijoukon jokainen alkio
A-venäjän ylioppilaskokeen kehittämishanke
A-venäjän ylioppilaskokeen kehittämishanke Tutkimustuloksia Johanna Lähteinen, englannin ja venäjän lehtori Janakkalan lukio ja Turengin yhteiskoulu Miksi aihetta tutkitaan? Pyyntö lukioiden rehtoreilta
Prologi: ele viittomana ja sen osana. Viittomisto (Jantunen 2010) Leksikaalis-kieliopilliset kategoriat. Sanaluokkatutkimuksen filosofinen perusta
Prologi: ele viittomana ja sen osana Leksikaalis-kieliopilliset kategoriat Tommi Jantunen, SVKS112, 16.3.2017 Liddell (2003: 362): "In spite of [numerous] demonstrations, gradience and modality have kept
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
16. Allocation Models
16. Allocation Models Juha Saloheimo 17.1.27 S steemianalsin Optimointiopin seminaari - Sks 27 Content Introduction Overall Efficienc with common prices and costs Cost Efficienc S steemianalsin Revenue
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
Alityypitys. TIES542 Ohjelmointikielten periaatteet, kevät Antti-Juhani Kaijanaho. Jyväskylän yliopisto Tietotekniikan laitos
Alityypitys TIES542 Ohjelmointikielten periaatteet, kevät 2007 Antti-Juhani Kaijanaho Jyväskylän yliopisto Tietotekniikan laitos 5. maaliskuuta 2007 Muistatko tietueet? {I 1 = E 1,..., I n = E n } : {I
Operatioanalyysi 2011, Harjoitus 2, viikko 38
Operatioanalyysi 2011, Harjoitus 2, viikko 38 H2t1, Exercise 1.1. H2t2, Exercise 1.2. H2t3, Exercise 2.3. H2t4, Exercise 2.4. H2t5, Exercise 2.5. (Exercise 1.1.) 1 1.1. Model the following problem mathematically:
Harjoitus 6 -- Ratkaisut
Harjoitus 6 -- Ratkaisut 1 Ei kommenttia. 2 Haetaan data tiedostosta. SetDirectory"homeofysjmattas" SetDirectory "c:documents and settingsmattasdesktopteachingatk2harjoitukseth06" netnfstuhome4ofysjmattas
Datatähti 2019 loppu
Datatähti 2019 loppu task type time limit memory limit A Summa standard 1.00 s 512 MB B Bittijono standard 1.00 s 512 MB C Auringonlasku standard 1.00 s 512 MB D Binääripuu standard 1.00 s 512 MB E Funktio
Reaaliarvoisen yhden muuttujan funktion derivaatta LaMa 1U syksyllä 2011
Kuudennen eli viimeisen viikon luennot Reaaliarvoisen yhden muuttujan funktion derivaatta LaMa 1U syksyllä 2011 Perustuu Trench in verkkokirjan lukuihin 2.3. ja 2.4. Esko Turunen esko.turunen@tut.fi Jatkuvuuden
2 Pistejoukko koordinaatistossa
Pistejoukko koordinaatistossa Ennakkotehtävät 1. a) Esimerkiksi: b) Pisteet sijaitsevat pystysuoralla suoralla, joka leikkaa x-akselin kohdassa x =. c) Yhtälö on x =. d) Sijoitetaan joitain ehdon toteuttavia
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
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
The Viking Battle - Part Version: Finnish
The Viking Battle - Part 1 015 Version: Finnish Tehtävä 1 Olkoon kokonaisluku, ja olkoon A n joukko A n = { n k k Z, 0 k < n}. Selvitä suurin kokonaisluku M n, jota ei voi kirjoittaa yhden tai useamman
Haskell ohjelmointikielen tyyppijärjestelmä
Haskell ohjelmointikielen tyyppijärjestelmä Sakari Jokinen Helsinki 19. huhtikuuta 2004 Ohjelmointikielten perusteet - seminaarityö HELSINGIN YLIOPISTO Tietojenkäsittelytieteen laitos 1 Johdanto 1 Tyyppien
KIELITEKNOLOGIASTA SUOMENKIELISTEN TEKSTI EN TUTKI MISESSA
Puhe ja kieli, 27:1,47-54 (2007) 47 KIELITEKNOLOGIASTA SUOMENKIELISTEN TEKSTI EN TUTKI MISESSA Mikko Lounela, Kotimaisten kielten tutkimuskeskus Kieliteknologian ja kielentutkimuksen suhde on monitahoinen.
2. Seuraavassa kuvassa on verkon solmujen topologinen järjestys: x t v q z u s y w r. Kuva 1: Tehtävän 2 solmut järjestettynä topologisesti.
Tietorakenteet, laskuharjoitus 11, ratkaisuja 1. Leveyssuuntaisen läpikäynnin voi toteuttaa rekursiivisesti käsittelemällä jokaisella rekursiivisella kutsulla kaikki tietyllä tasolla olevat solmut. Rekursiivinen
Ohjelmoinnin perusteet Y Python
Ohjelmoinnin perusteet Y Python T-106.1208 9.2.2009 T-106.1208 Ohjelmoinnin perusteet Y 9.2.2009 1 / 35 Listat Esimerkki: halutaan kirjoittaa ohjelma, joka lukee käyttäjältä 30 lämpötilaa. Kun lämpötilat
TIEA341 Funktio-ohjelmointi 1, kevät 2008
TIEA341 Funktio-ohjelmointi 1, kevät 2008 Antti-Juhani Kaijanaho Jyväskylän yliopisto Tietotekniikan laitos 10. tammikuuta 2008 Arvot... ovat laskutoimituksen lopputuloksia... ovat lausekkeita, joihin
1. SIT. The handler and dog stop with the dog sitting at heel. When the dog is sitting, the handler cues the dog to heel forward.
START START SIT 1. SIT. The handler and dog stop with the dog sitting at heel. When the dog is sitting, the handler cues the dog to heel forward. This is a static exercise. SIT STAND 2. SIT STAND. The
805306A Johdatus monimuuttujamenetelmiin, 5 op
monimuuttujamenetelmiin, 5 op syksy 2018 Matemaattisten tieteiden laitos Johdatus monimuuttujamenetelmiin Luennot 30.10.13.12.-18 Tiistaina klo 12-14 (30.10., BF119-1) Keskiviikkoisin klo 10-12 (MA101,
58131 Tietorakenteet (kevät 2009) Harjoitus 11, ratkaisuja (Topi Musto)
811 Tietorakenteet (kevät 9) Harjoitus 11, ratkaisuja (Topi Musto) 1. Bellmanin-Fordin algoritmin alustusvaiheen jälkeen aloitussolmussa on arvo ja muissa solmuissa on arvo ääretön. Kunkin solmun arvo
Asiakaspalautteen merkitys laboratoriovirheiden paljastamisessa. Taustaa
Asiakaspalautteen merkitys laboratoriovirheiden paljastamisessa Paula Oja, TtT Laboratorio, Oulun yliopistollinen sairaala Potilasturvallisuustutkimuksen päivät 26. 27.1.2011 1 Taustaa Laboratorion tulee
Kuvaus eli funktio f joukolta X joukkoon Y tarkoittaa havainnollisesti vastaavuutta, joka liittää joukon X jokaiseen alkioon joukon Y tietyn alkion.
Kuvaus eli funktio f joukolta X joukkoon Y tarkoittaa havainnollisesti vastaavuutta, joka liittää joukon X jokaiseen alkioon joukon Y tietyn alkion. Kuvaus eli funktio f joukolta X joukkoon Y tarkoittaa
815338A Ohjelmointikielten periaatteet Harjoitus 2 vastaukset
815338A Ohjelmointikielten periaatteet 2015-2016. Harjoitus 2 vastaukset Harjoituksen aiheena on BNF-merkinnän käyttö ja yhteys rekursiivisesti etenevään jäsentäjään. Tehtävä 1. Mitkä ilmaukset seuraava
Algoritmit 2. Luento 13 Ti Timo Männikkö
Algoritmit 2 Luento 13 Ti 2.5.2017 Timo Männikkö Luento 13 Merkkijonon sovitus Horspoolin algoritmi Laskennallinen vaativuus Päätösongelmat Epädeterministinen algoritmi Vaativuusluokat NP-täydellisyys
Kontekstittomien kielten jäsentäminen Täydentäviä muistiinpanoja TIEA241 Automaatit ja kieliopit, syksy 2016
Kontekstittomien kielten jäsentäminen äydentäviä muistiinpanoja IA241 Automaatit ja kieliopit, syksy 2016 Antti-Juhani Kaijanaho 19. lokakuuta 2016 1 Yksiselitteiset operaattorikieliopit 1.1 Aritmeettiset
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:
LUKUTEORIA A. Harjoitustehtäviä, kevät 2013. (c) Osoita, että jos. niin. a c ja b c ja a b, niin. niin. (e) Osoita, että
LUKUTEORIA A Harjoitustehtäviä, kevät 2013 1. Olkoot a, b, c Z, p P ja k, n Z +. (a) Osoita, että jos niin Osoita, että jos niin (c) Osoita, että jos niin (d) Osoita, että (e) Osoita, että a bc ja a c,
Kuvaus eli funktio f joukolta X joukkoon Y tarkoittaa havainnollisesti vastaavuutta, joka liittää joukon X jokaiseen alkioon joukon Y tietyn alkion.
Kuvaus eli funktio f joukolta X joukkoon Y tarkoittaa havainnollisesti vastaavuutta, joka liittää joukon X jokaiseen alkioon joukon Y tietyn alkion. Vastaavuus puolestaan on erikoistapaus relaatiosta.
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
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
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
Adjektiivit. Yleistä ja taivutus. Adjektiivi + substantiivi. Vertailumuodot
Adjektiivit Yleistä ja taivutus -> Bok ett -> Rakenteet -> Adjektiivit -> Tavallisia adjektiiveja Och: -> Bok tre -> Rakenteet -> Adjektiivi-palapeli http://www2.edu.fi/etalukio/psykka_ruotsi/index.php?cmscid=327&oid=488&subid=488
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
Aineiston analyysin vaiheita ja tulkintaa käytännössä. LET.OULU.FI Niina Impiö Learning and Educational Technology Research Unit
Aineiston analyysin vaiheita ja tulkintaa käytännössä LET.OULU.FI Niina Impiö 14.4.2010 Väitöskirjatutkimuksen tavoite Ymmärtää opettajayhteisöjen yhteisöllistä työskentely- ja toimintakulttuuria. Tutkia
SEMANTTISET ROOLIT ja VALENSSI. Semantiikan ja pragmatiikan pk UM
SEMANTTISET ROOLIT ja VALENSSI Semantiikan ja pragmatiikan pk UM 1 Semanttisten roolien abstrahointi antaja/juoksija/tekijä > Agentti ajattelija /havaitsija/kokija (Emoter)> Kokija Agentti/Kokija (Experiencer)
Laskelmia uudenvuodenpuheista
Laskelmia uudenvuodenpuheista Kotimaisten kielten tutkimuskeskuksessa on laskettu uudenvuodepuheista joitakin seikkoja, joiden avulla on mahdollista tarkastella mm. presidenttien välisiä eroja. Laskelmat
11.4. Context-free kielet 1 / 17
11.4. Context-free kielet 1 / 17 Määritelmä Tyypin 2 kielioppi (lauseyhteysvapaa, context free): jos jokainenp :n sääntö on muotoa A w, missäa V \V T jaw V. Context-free kielet ja kieliopit ovat tärkeitä
5.5 Jäsenninkombinaattoreista
5.5. JÄSENNINKOMBINAATTOREISTA 67 type Env α = FiniteMap String α data EnvT m α = MkE (Env Integer m (Env Integer, α)) instance Transformer EnvT where promote mp = MkE $ λenv mp λr return $(env, r) instance
Induktiotodistus: Tapaus n = 0 selvä; ol. väite pätee kun n < m.
Väite: T (n) (a + b)n 2 + a. Induktiotodistus: Tapaus n = 0 selvä; ol. väite pätee kun n < m. Huomaa että funktion x x 2 + (m 1 x) 2 kuvaaja on ylöspäin aukeava paraabeli, joten funktio saavuttaa suurimman
Juniori-kansio Irtokuvat
Juniori-kansio Irtokuvat Juniori-kansio irtokuvilla on kommunikointikansio, joka on suunniteltu lapsikäyttäjille. Evantian kommunikoinnin tuote- ja palvelukokonaisuus on tehty tukemaan käyttäjän ja hänen
Nominaalit ja verbaalit. Metodinen perusta. Sanaluokkatutkimuksen filosofinen perusta. Tommi Jantunen, SVKS112,
Sanaluokkatutkimuksen filosofinen perusta Nominaalit ja verbaalit Tommi Jantunen, SVKS112, 25.3.2015 Ihmisillä on samankaltaiset biologis- kognieiviset / psyko- fyysiset valmiudet (esim. liikkumakomuuden
Yhdyssana suomen kielessä ja puheessa
Yhdyssana suomen kielessä ja puheessa Tommi Nieminen Jyväskylän yliopisto Anna Lantee Tampereen yliopisto 37. Kielitieteen päivät Helsingissä 20. 22.5.2010 Yhdyssanan ortografian historia yhdyssanan käsite
[a] ={b 2 A : a b}. Ekvivalenssiluokkien joukko
3. Tekijälaskutoimitus, kokonaisluvut ja rationaaliluvut Tässä luvussa tutustumme kolmanteen tapaan muodostaa laskutoimitus joukkoon tunnettujen laskutoimitusten avulla. Tätä varten määrittelemme ensin
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
B. 2 E. en tiedä C. 6. 2 ovat luonnollisia lukuja?
Nimi Koulutus Ryhmä Jokaisessa tehtävässä on vain yksi vastausvaihtoehto oikein. Laske tehtävät ilman laskinta.. Missä pisteessä suora y = 3x 6 leikkaa x-akselin? A. 3 D. B. E. en tiedä C. 6. Mitkä luvuista,,,
3SAT-ongelman NP-täydellisyys [HMU ]
3SAT-ongelman NP-täydellisyys [HMU 10.3.4] erotukseksi yleisestä CNF-esityksestä, kaikilla kaavoilla ei ole 3-CNF-esitystä; esim. x 1 x 2 x 3 x 4 esitämme muunnoksen, jolla polynomisessa ajassa mielivaltaisesta
Laskennan teoria
581336-0 Laskennan teoria luennot syyslukukaudella 2003 Jyrki Kivinen tietojenkäsittelytieteen laudatur-kurssi, 3 ov pakollinen tietojenkäsittelytieteen suuntautumisvaihtoehdossa esitiedot käytännössä
Suomenkielisten tekstien morfologinen analysointi
hyväksymispäivä arvosana arvostelija Suomenkielisten tekstien morfologinen analysointi Pirjo Suominen Helsinki 10.10.2010 HELSINGIN YLIOPISTO Tietojenkäsittelytieteen laitos HELSINGIN YLIOPISTO HELSINGFORS
Ohjelmoinnin perusteet Y Python
Ohjelmoinnin perusteet Y Python T-106.1208 28.2.2011 T-106.1208 Ohjelmoinnin perusteet Y 28.2.2011 1 / 46 Ohjelmointiprojektin vaiheet 1. Määrittely 2. Ohjelman suunnittelu (ohjelman rakenne ja ohjelman
Määrittele ensin oma tavoitteesi tämän opintojakson (Unit 4) osalta. Alta löydät kuvaukset siitä, mitä kullakin tasolla on osattava jakson lopussa.
SPOTLIGHT 7 UNIT 4: FOOD S READY! Etene omaan tahtiin joko itsenäisesti, parin kanssa tai ryhmässä näiden ohjeiden mukaan. Tunneilla tehdään myös yhteisesti asioita, joihin kaikki osallistuvat. Kysy kaverilta
joissa on 0 4 oikeata vastausta. Laskimet eivät ole sallittuja.
ÄÙ ÓÒ Ñ Ø Ñ Ø ÐÔ ÐÙÒ Ð Ù ÐÔ ÐÙÒ Ô ÖÙ Ö Tehtäviä on kahdella sivulla; kuusi ensimmäistä tehtävää on monivalintatehtäviä, joissa on 0 4 oikeata vastausta. Laskimet eivät ole sallittuja. 1. Kauppias on ostanut
Tietojenkäsittelyteorian alkeet, osa 2
TIEA241 Automaatit ja kieliopit, syksy 2016 Antti-Juhani Kaijanaho TIETOTEKNIIKAN LAITOS 12. syyskuuta 2016 Sisällys vs Ovat eri asioita! Älä sekoita niitä. Funktiot Funktio f luokasta A luokkaan B, merkitään
JavaScript alkeet Esimerkkikoodeja moniste 2 (05.10.11 Metropolia)
JavaScript alkeet Esimerkkikoodeja moniste 2 (05.10.11 Metropolia) Esim 5.1 laskujärjestys operaattorit var tulos = 5 + 4 * 12 / 4; document.write("5 + 4 * 12 / 4 laskutoimituksen tulos
ICS-C2000 Tietojenkäsittelyteoria Kevät 2016
ICS-C2000 Tietojenkäsittelyteoria Kevät 2016 Kierros 6, 22. 26. helmikuuta Huom: arviointiviikolla 15. 19.2. ei ole laskuharjoituksia! Demonstraatiotehtävien ratkaisut D1: (a) Osoita, että seuraava yhteydetön
Algoritmit 2. Luento 14 To Timo Männikkö
Algoritmit 2 Luento 14 To 2.5.2019 Timo Männikkö Luento 14 Laskennallinen vaativuus Päätösongelmat Epädeterministinen algoritmi Vaativuusluokat NP-täydelliset ongelmat Kertaus ja tenttivinkit Algoritmit
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.
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)
Lausetyypit: on olemassa eri muotoisia lauseita, joilla tyypillisesti tehdään erilaisia asioita.
Kertausta Lausetyypit ja puheaktit Lausetyypit: on olemassa eri muotoisia lauseita, joilla tyypillisesti tehdään erilaisia asioita. Puheaktit: on olemassa monenlaisia asioita, joita kielellä tyypillisesti
KESKI-SUOMEN MAAKUNNAN JA LÄHIKUNTIEN LUKIOIDEN TIETOTEKNIIKAN II KILPAILU
KESKI-SUOMEN MAAKUNNAN JA LÄHIKUNTIEN LUKIOIDEN TIETOTEKNIIKAN II KILPAILU KESKI-SUOMEN MAAKUNNAN JA LÄHIKUNTIEN LUKIOIDEN FYSIIKAN, KEMIAN JA MATEMATIIKAN XXIII KILPAILUN OSANA 23.1.2014 Huom: Tehtävä
3. Semantiikka ja pragmatiikka
3. Semantiikka ja pragmatiikka 3.1 Merkitsemisen eri "tavat Lokakuu ja talvi tulivat taas yhdessä! Onko ilmauksen (?) merkitys sanoilla? (ehkä morfeemeilla?) lauseella? teolla? 1 Merkitys ja konteksti
MAB3 - Harjoitustehtävien ratkaisut:
MAB3 - Harjoitustehtävien ratkaisut: 1 Funktio 1.1 Piirretään koordinaatistoakselit ja sijoitetaan pisteet: 1 1. a) Funktioiden nollakohdat löydetään etsimällä kuvaajien ja - akselin leikkauspisteitä.
Adjektiivit. Yleistä ja taivutus. Adjektiivi + substantiivi. Vertailumuodot
Adjektiivit Yleistä ja taivutus -> Bok ett -> Rakenteet -> Adjektiivit -> Tavallisia adjektiiveja Och: -> Bok tre -> Rakenteet -> Adjektiivi-palapeli http://www2.edu.fi/etalukio/psykka_ruotsi/index.php?cmscid=327&oid=488&subid=488
Java-kielen perusteita
Java-kielen perusteita valintalauseet 1 Johdantoa kontrollirakenteisiin Tähän saakka ohjelmissa on ollut vain peräkkäisyyttä eli lauseet on suoritettu peräkkäin yksi kerrallaan Tarvitsemme myös valintaa
Matemaattisen analyysin tukikurssi
Matemaattisen analyysin tukikurssi 11. Kurssikerta Petrus Mikkola 29.11.2016 Tämän kerran asiat Eksponenttifunktio Eksponenttifunktion määritelmä Eksponenttifunktion ominaisuuksia Luonnolinen logaritmi
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 =
Ohjelmoinnin perusteet Y Python
Ohjelmoinnin perusteet Y Python T-106.1208 10.2.2010 T-106.1208 Ohjelmoinnin perusteet Y 10.2.2010 1 / 43 Kertausta: listat Tyhjä uusi lista luodaan kirjoittamalla esimerkiksi lampotilat = [] (jolloin
make and make and make ThinkMath 2017
Adding quantities Lukumäärienup yhdistäminen. Laske yhteensä?. Countkuinka howmonta manypalloja ballson there are altogether. and ja make and make and ja make on and ja make ThinkMath 7 on ja on on Vaihdannaisuus