HELSINGIN YLIOPISTO Tietojenkäsittelytieteen laitos PL 26 (Teollisuuskatu 23) HELSINGIN YLIOPISTO

Samankaltaiset tiedostot
T Syksy 2002 Tietojenkäsittelyteorian perusteet Harjoitus 5 Demonstraatiotehtävien ratkaisut. ja kaikki a Σ ovat säännöllisiä lausekkeita.

ICS-C2000 Tietojenkäsittelyteoria Kevät 2015

Q = {q 1, q 2, q 3, q 4 } Σ = {a, b} F = {q 4 },

Täydentäviä muistiinpanoja epädeterministisistä äärellisistä automaateista

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

ICS-C2000 Tietojenkäsittelyteoria Kevät 2016

Olkoon. M = (Q, Σ, δ, q 0, F)

3.3 KIELIOPPIEN JÄSENNYSONGELMA Ratkaistava tehtävä: Annettu yhteydetön kielioppi G ja merkkijono x. Onko

Olkoon. äärellinen automaatti. Laajennetaan M:n siirtymäfunktio yksittäisistä syötemerkeistä merkkijonoihin: jos q Q, x Σ, merkitään

11. Merkkijonot Merkkijonojen abstrakti tietotyyppi

6.2 Algoritmin määritelmä

Automaatin tunnistama kieli on sen hyväksymien merkkijonojen joukko. Täsmällinen muotoilu: δ,q 0,{q 2,q 3,q 6 }), missä

ICS-C2000 Tietojenkäsittelyteoria Kevät 2016

ICS-C2000 Tietojenkäsittelyteoria Kevät 2016

Laskennan mallit Erilliskoe , ratkaisuja (Jyrki Kivinen)

2.6 SÄÄNNÖLLISET LAUSEKKEET Automaattimalleista poikkeava tapa kuvata yksinkertaisia kieliä. Olkoot A ja B aakkoston Σ kieliä. Perusoperaatioita:

2.5 Säännöllisten kielten rajoituksista

2. Laadi regexp, jonka avulla egrep-ohjelma löytää tekstitiedostosta kaikki

Laskennan mallit (syksy 2010) 1. kurssikoe, ratkaisuja

Laskennan perusmallit 2013: Kertausta

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

Mutta esimerkiksi 0-kertaisesti pumpattaessa: Siten L ei voi olla säännöllinen.

Laaja matematiikka 2 Kevät 2005 Risto Silvennoinen

problem computational non computational problem problem unsolvable solvable problem problem efficient solution partially solvable

Käydään läpi: ääriarvo tarkastelua, L Hospital, integraalia ja sarjoja.

ICS-C2000 Tietojenkäsittelyteoria Kevät 2016

Automaattimalleista poikkeava tapa kuvata yksinkertaisia kieliä. Olkoot A ja B aakkoston Σ kieliä. Perusoperaatioita:

OSA 1: POLYNOMILASKENNAN KERTAUSTA, BINOMIN LASKUSÄÄNTÖJÄ JA YHTÄLÖNRATKAISUA

A-Osio. Valitse seuraavista kolmesta tehtävästä kaksi, joihin vastaat. A-osiossa ei saa käyttää laskinta.

MS-A0402 Diskreetin matematiikan perusteet

2.2 Automaattien minimointi

Kuvausta f sanotaan tällöin isomorfismiksi.

Q on automaatin tilojen äärellinen joukko; Σ on automaatin syöteaakkosto; δ : Q Σ Q on automaatin siirtymäfunktio; q 0 Q on automaatin alkutila;

Säännöllisten operaattoreiden täydentäviä muistiinpanoja

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

MS-A0402 Diskreetin matematiikan perusteet Esimerkkejä ym., osa I

NASTOLAN YRITYSPUISTO RAKENNUSTAPAOHJEET NASTOLAN YRITSPUISTON ALUEEN KORTTELEITA 500, 501, KOSKEVAT RAKENNUSTAPAOHJEET

HAVAINNOINTI JA TUTKIMINEN

// Tulostetaan liukulukutyyppinen muuttuja riviä vaihtamatta // yhden desimaalin tarkkuudella. System.out.printf("%.

F e. R kertaa ioniparien lukumäärä N. Kun laskemme tämän yhteen Coulombin attraktioenergian kanssa saamme kiteen kokonaisenergiaksi.

Ristitulo ja skalaarikolmitulo

R4 Harjoitustehtävien ratkaisut

Riemannin integraalista

Diskreetin matematiikan perusteet Laskuharjoitus 6 / vko 13

Asennusopas. Daikin Altherma - Matalan lämpötilan Monoblocin varalämmitin EKMBUHCA3V3 EKMBUHCA9W1. Asennusopas. Suomi

TAMPEREEN YLIOPISTO Valinnaisten opintojen syventäviin opintoihin kuuluva tutkielma. Lauri Kumpulainen. Büchin automaateista

Riemannin sarjateoreema

Mikrotalousteoria 2, 2008, osa III

Tehtävä 1. Jatka loogisesti oheisia jonoja kahdella seuraavaksi tulevalla termillä. Perustele vastauksesi

Laskennan perusmallit (LAP)

MS-A010{3,4} (ELEC*) Differentiaali- ja integraalilaskenta 1 Luento 7: Integraali ja analyysin peruslause


Tehtävä 3. Määrää seuraavien jonojen raja-arvot 1.

MS-A010{2,3,4,5} (SCI,ELEC*, ENG*) Differentiaali- ja integraalilaskenta 1 Luento 7: Integraali ja analyysin peruslause

Laskennan mallit (syksy 2010) Harjoitus 8, ratkaisuja

Numeeriset menetelmät TIEA381. Luento 9. Kirsi Valjus. Jyväskylän yliopisto. Luento 9 () Numeeriset menetelmät / 29

SUORAKULMAINEN KOLMIO

10. MÄÄRÄTYN INTEGRAALIN KÄYTTÖ ERÄIDEN PINTA-ALOJEN LASKEMISESSA

5 Epäoleellinen integraali

Esimerkki 8.1 Määritellään operaattori A = x + d/dx. Laske Af, kun f = asin(bx). Tässä a ja b ovat vakioita.


Kirjallinen teoriakoe

Matematiikan tukikurssi

S if b then S else S S s. (b) Muodosta (a)-kohdan kieliopin kanssa ekvivalentti, so. saman kielen tuottava yksiselitteinen.

Kognitiivinen mallintaminen I, kevät Harjoitus 1. Joukko-oppia. MMIL, luvut 1-3 Ratkaisuehdotuksia, MP

Reaalinen lukualue. Millainen on luku, jossa on päättymätön ja jaksoton desimaalikehitelmä?

Asennusopas. Daikin Altherma Matalan lämpötilan Monoblocin varalämmitin EKMBUHCA3V3 EKMBUHCA9W1. Asennusopas. Suomi

OUML7421B3003. Jänniteohjattu venttiilimoottori KÄYTTÖKOHTEET TEKNISET TIEDOT OMINAISUUDET SOPIVAT VENTTIILIT TUOTETIEDOT. i OUV5049 i OUV5050

Yhteydettömän kieliopin jäsennysongelma

Riemannin integraali

1.3 Toispuoleiset ja epäoleelliset raja-arvot


1. Derivaatan Testi. Jos funktio f on jatkuva avoimella välillä ]a, b[ ja x 0 ]a, b[ on kriit. tai singul. piste niin. { f (x) > 0, x ]a, x 0 [

ICS-C2000 Tietojenkäsittelyteoria Kevät 2016

9 A I N. Alkuperäinen piiri. Nortonin ekvivalentti R T = R N + - U T = I N R N. Théveninin ekvivalentti DEE SÄHKÖTEKNIIKAN PERUSTEET

J1 (II.6.9) J2 (X.5.5) MATRIISILASKENTA(TFM) MALLIT AV 6

Hanoin tornit. Merkitään a n :llä pienintä tarvittavaa määrää siirtoja n:lle kiekolle. Tietysti a 1 = 1. Helposti nähdään myös, että a 2 = 3:

Määritelmä Olkoon C R m yksinkertainen kaari ja γ : [a, b] R m sen yksinkertainen parametriesitys, joka on paloittain C 1 -polku.

Analyysi 2. Harjoituksia lukuihin 1 3 / Kevät Anna sellainen välillä ] 2, 2[ jatkuva ja rajoitettu funktio f, että

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

ANALYYSI I, kevät 2009

Pythagoraan lause. Pythagoras Samoslainen. Pythagoraan lause

Polynomien laskutoimitukset

VARASTO 3 ATK 2K ATK 2 VR.NR.

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

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

Joulukuun vaativammat valmennustehtävät ratkaisut

S BAB ABA A aas bba B bbs c

Mitä ovat blogit? Mitä blogit ovat. Mahdollisuuksia Verkostoitumista Viestintää Todistusta

Laskennan mallit (syksy 2007) Harjoitus 5, ratkaisuja

T /1002 Tietojenkäsittelyteorian perusteet T/Y

Kertymäfunktio. Kertymäfunktio. Kertymäfunktio: Mitä opimme? 2/2. Kertymäfunktio: Mitä opimme? 1/2. Kertymäfunktio: Esitiedot

601 Olkoon tuntematon kateetti a ja tuntemattomat kulmat α ja β Ratkaistaan kulmat. 8,4 = 12. Ratkaistaan varjon pituus x. 14 x = 44,

DEE Lineaariset järjestelmät Harjoitus 5, harjoitustenpitäjille tarkoitetut ratkaisuehdotukset

T /1002 Tietojenkäsittelyteorian perusteet T/Y

Laskennan perusmallit (LAP)

t P1 `UT. Kaupparek. nro Y-tunnus Hämeenlinnan. hallinto- oikeudelle. Muutoksenhakijat. 1( UiH S<

Kertausta: kielet ja automaatit. ICS-C2000 Tietojenkäsittelyteoria. Alue ja aiheet. Äärelliset automaatit

Vastaa tehtäviin 1-4 ja valitse toinen tehtävistä 5 ja 6. Vastaat siis enintään viiteen tehtävään.

763333A KIINTEÄN AINEEN FYSIIKKA Ratkaisut 1 Kevät 2014

Transkriptio:

G G G HELSINGIN YLIIST Tietojenäsitteytieteen itos L 26 (Teoisuustu 23) 00014 HELSINGIN YLIIST 581330-2 hjemoinnin j sennn perusmit Lsuhrjoitustehtäviä 1. oon j () "!#%$ () ( *) + (c) &' 2. soit indutio, että,.-/1032 546.798 7':.;<8<=?>. Kirjoit ui seurvt jouot: 3. erustee, että BCD E;? miä thns vähintään simerinen osto @ on eviventti inäärioston A nss siinä mieessä, että @ :n merijonot voidn heposti oodt A :n merijonoisi j ääntäen. Miten pjon merijonon pituus voi muuttu suunnitteemsssi oodusess (siis jos merijonon pituus on @ :ss, mitä sen pituus on A :ss)? 4. Trsten päätösongem nnettu ei-negtiiviset oonisuvut F, G ; ono FIHJG?. Muotoie ongem päätösongemformismin muisesi. (Vitse sopiv osto, uuprien oodus jne.) Miä on ongem vstv formi iei? 5. pe03-ieessä muuttujn nimesi ep oston @6KML5N /1/ merijono jo: MUMUEUT VW X MUEUMUY% CD MUMUEUT Z oostuu mereistä @RQ KTS, ei numero,. ei sisää uosnn mitään ieen vrttu sn, joit ovt: if, then, ese, whie, do, egin, end, not, nd, red j write Trsten päätösongem "nnettu oston @%KML[N /\/ merijono, ono ieen uvinen muuttujn nimi?". muotoie ongem päätösongemformismin muisesi, määrittee päätösongem vstv formi iei, pe03- tee humsi ieeä (pseudoieinenin äy) ohjem jo rtisee päätösongemn. hjem siis s syötteeseen merijonon j vst 1 jos merijono episi pe03:n muuttujn nimesi j muuten 0. 6. Trsten oston @ KML5N /1/ tspinoisesti suutettujen merijonojen ongem. Merijono on tspinoisesti suutettu jos sen jäeen un ii muut uin suumerit on / / pyyhitty pois, on muoto join ^]"_, ei esim. ` ;e: f=>`*gih dcwc j ovt tspinoisesti suutettuj, mutt ;*: =?> g(h j eivät. muotoie ongem päätösongemformismin muisesi, määrittee päätösongem vstv formi iei, tee humsi ieeä (pseudoieinenin äy) ohjem jo rtisee päätösongemn. 7. Kuv seurvt oston () ]j m () ]n m (c) ]j m ieet deterministisinä ääreisinä utomttein. sisätää täsmäeen si :t j vähintään yhden :n sisätää prittomn määrän :t sisätää priisen määrän :t j ome joisen määrän :tä

c 8. Kuv seurvt oston () ]j () ]n m (c) ]j m ieet deterministisinä ääreisinä utomttein. sisätää osjonon ti ei sisää osjono eiä sisätää osjonot j (jot voivt mennä pääeäin ) 9. Ldi epädeterministinen ti deterministinen ääreinen utomtti jo tunnist tehtävässä 5 määriteyn ieen. 10. Muodost ääreinen utomtti, jo tunnist seurvien sääntöjen muiset muuttujmääritteyt: - muuttujen edessä on tyyppimäärittey int ti fot, - muuttujnimi oostuu vin irjimist ti numeroist, - muuttujnimen ensimmäinen meri on irjin, - muuttujmääritteyn perässä on puoipiste. 11. Muodost seurv deterministist ääreistä utomtti vstv minimiutomtti: 12. Muodost seurv deterministist ääreistä utomtti vstv minimiutomtti: 1 2 3 5 6 4 13. Ldi W epädeterministinen ääreinen utomtti, jo test sisätääö nnettu oston merijono osjono c cwc. Determinisoi utomtti. Minimoi se. 14. Muodost säännöinen usee, jo uv oienmuotoisi suomisi tuosoitteit (esim. Mnnerheimintie 5 A 24 00100 Hesini). 15. Muodost seurvi ieiä vstvt säännöiset useeet: () () (c) ]j C <;?m :n pituus on vähintään 3 j oms io on C` ]nc <;?m :n prittomt positiot ovt 1 j :ssä on priinen määrä C :i ]j C <;?m :ssä ei oe merijono ;;<C`

16. Muodost seurvi ieiä vstvt säännöiset () ]j m sisätää täsmäeen si :t () ]n m sisätää vähintään si :t ]j sisätää priisen määrän :t (c) 17. Kuv seurvt oston () ]j m () ]n m (c) ]j m 18. Sievennä seurvi oston # () T () D Ef (c) f E (d) ieet säännöisinä useein: sisätää osjonon ti ei sisää osjono eiä sisätää osjonot j (jot voivt mennä pääeäin ) säännöisiä useeit: 19. Muodost oheist -utomtti vstv epädeterministinen (ei :iton) ääreinen utomtti., ε 2 3 4 ε 1 ε ε 8 7 6 C ;< 20. Muodost uenno esistetyä tv säännöistä useett oist -siirtymät. Determinisoi se. Minimoi se. 5 vstv -utomtti. 21. Muodost uenno esitetyn onstrution muisesti seurvi ääreisiä utomttej vstvt säännöiset useeet: () ()

c - g 8 c - @ @ 2 8-22. Muodost seurvn ääreisen utomtin tunnistm ietä uvv säännöinen usee: 24. Todist pumppusemm että iei C - 25. Todist pumppusemm että iei 6 26. Meritään merijono UMUEUf 2 ). Merijono on pindromi, jos Trsten oston. () soit, että iei AL ei oe säännöinen. ; " 7 () Ldi ieen tuottv ontestiton ieioppi. 27. vto seurvt ieet säännöisiä? Todist! ]n C` E on epäsäännöinen. on epäsäännöinen. tperin irjoitettun (so. jos, niin (esimerisi "isorissiissirosi"). pindromien muodostm ietä AL ] C CC CD; E;ECC <;;EC!jC `; R C` () () ]nc <;?m :n pituus on priton (c) ]j C <;?m :ss on yhtä mont C : j 1:ä (d) ]n m :n sisätämien -merien määrä on viideä joinen j -merien määrä on priton 28. Seurvien ontestittomien ieioppien tuottmt ieet ovt säännöisiä. Kuv ieet säännöisinä useein: () () C ; 29. Ldi ontestiton ieippi, jo uv yhden muuttujn c poynomej. Ysinertisuuden vuosi voit oett, että termien ertoimet j esponentit ovt ysinumeroisi ei-negtiivisi oonisuuj j ensimmäinen termi on etumeritön. Termien ei trvitse o missä tietyssä : ;, järjestysessä j smnsteisi termejä voi poynomiss o useit. Esim. c ˆ g c c ˆ Z g h%: : > c c, > c ˆ C, c,. 30. Ldi ontestittomt ieiopit seurvien ieten uvmiseen: () 7 C - () 8" m 7# C` -! (c) ]j :ssä on si ert niin mont :t uin :tä 31. Ldi oiee inerinen ieioppi ieen ] W ` ei sisää osjono D uvmiseen. UEUMU 23. soit, että minä thns oston @ säännöisten ieten uo on sujettu ompementtien j eiusten suhteen, so. jos ieet ^ ovt säännöisiä, niin smoin ovt myös ieet B % j!. (Vihje: Kompementointi vrten trstee :n tunnistv determinististä ääreistä utomtti j eiust vrten sove de Morgnin ej. Huomutus: Tämä tuos osoitt, että säännöisissä useeiss voitisiin si myös ompementtiopertio j eiusopertio imn, että uvttvien ieten uo muuttuisi.)

32. () soit, että seurv ieioppi on moniseitteinen: e e # () Muunn ieioppi LL(1)-muotoon uennoi esitetyä tv. no se nyt ysiseitteinen? 33. () Seurv ieippi ei oe LL(1)-muodoss: % Muunn ieioppi LL(1)-muotoon. () Ldi pseudooodi reursivisee jäsentäjäe ieiopin uvme ieee. 34. no oheinen ontestion ieioppi ysiseitteinen? erustee vstusesi. ( (# ( M 35. Muunn edeisen tehtävän ieioppi Chomsyn normimuotoon. Esitä myös väiviheet. 36. Muunn ieioppi % Chomsyn normimuotoon. Esitä myös väiviheet. 37. Muunn ieioppi (`# # T e Chomsyn normimuotoon. Esitä myös väiviheet. 38. Ljennetn pe03:ietä siten että Käytetyt muuttujt on määritetävä smn tpn uin esim. jvss: int n, i, j; ii muuttujmääritteyt tehdään ennen ohjemn äsyosn määritteyä ennen äsyosn määritteyä voidn määriteä myös iohjemi äytössä on hdentyyppisiä iohjemi, oonisuvun puttvi j uu puttmttomi. Ensimmäiset määriteään tyiin function nimi... end function, j jäimmäiset tyyiin procedure nimi... end procedure. Aiohjemi voi o piisi muuttuji, mutt ei utsuprmetrejä! Aiohjem ei voi o sisääisiä iohjemi. iohjemien nimet ovt syntsitn smnisi uten muuttujnimet Ljenn monisteen sivu 102 oev ieioppi siten että se tt myös yä uvtun jennusen. 39. Trsten ontestitont ieioppi ( (# ( M () no ieioppi ysiseitteinen? erustee vstusesi. () Muunn ieioppi Chomsyn normimuotoon. Esitä myös väiviheet. 40. Simuoi CYK-goritmin toimint sen rtistess uuuvto merijonot 11001 j 00110 ieiopin ; BC tuottmn ieeen. Myönteisissä tpusiss esitä merijonoie ieiopin muiset jäsennyspuut.

41. Simuoi CYK-goritmin toimint sen rtistess, uuuvto merijonot j ieiopin ( e ^ tuottmn ieeen. Myönteisissä tpusiss esitä merijonoie ieiopin muiset jäsennyspuut. 42. Simuoi CYK-goritmin toimint sen rtistess, uuuvto merijonot 11001 j 00110 ieiopin ; BC tuottmn ieeen. Myönteisissä tpusiss esitä merijonoie ieiopin muiset jäsennyspuut. 43. soit, että iei 6 oevi merijonoj.) ] ei oe ontestion. (Vihje: Trstee muoto 44. soit, että ontestittomien ieten % C uo ei oe sujettu eiusten eiä ompementtien hden ontestittomn ieen eiusen.) suhteen. (Vihje: Esitä iei 45. Ldi pinoutomtit seurvien ieten tunnistmiseen: () () 6 (c) ]j ]j M ]n T :ss on yhtä mont :t j :tä 46. Ldi rjoittmton ieioppi ieen e ]n tunnistmiseen.