Vajad kellegagi rääkida?
Küsi julgelt abi LasteAbi
Logi sisse

Rekursiooni ja keerukusteooria eksami konspekt (1)

5 VÄGA HEA
Punktid

Esitatud küsimused

  • Kuidas on sisend seotud väljundiga?
  • Kui SÜTa p 1 siis kas ap-1 p jääk on 1?
Vasakule Paremale
Rekursiooni ja keerukusteooria eksami konspekt #1 Rekursiooni ja keerukusteooria eksami konspekt #2 Rekursiooni ja keerukusteooria eksami konspekt #3 Rekursiooni ja keerukusteooria eksami konspekt #4 Rekursiooni ja keerukusteooria eksami konspekt #5 Rekursiooni ja keerukusteooria eksami konspekt #6 Rekursiooni ja keerukusteooria eksami konspekt #7 Rekursiooni ja keerukusteooria eksami konspekt #8 Rekursiooni ja keerukusteooria eksami konspekt #9 Rekursiooni ja keerukusteooria eksami konspekt #10 Rekursiooni ja keerukusteooria eksami konspekt #11 Rekursiooni ja keerukusteooria eksami konspekt #12
Punktid 100 punkti Autor soovib selle materjali allalaadimise eest saada 100 punkti.
Leheküljed ~ 12 lehte Lehekülgede arv dokumendis
Aeg2016-01-23 Kuupäev, millal dokument üles laeti
Allalaadimisi 79 laadimist Kokku alla laetud
Kommentaarid 1 arvamus Teiste kasutajate poolt lisatud kommentaarid
Autor Kastepiisad Õppematerjali autor
Rekursiooni ja keerukusteooria eksami jaoks tehu korralik ja sisukas konspekt koos joonistega.
Teemad: Lõplikud automaadid ja regulaarsed keeled.
Regulaarsete keelte omadusi. Regulaarsed avaldised.
Deterministlikud ja mittedeterministlikud lõplikud automaadid.
Regulaarsete avaldiste ja lõplike automaatide samaväärsus.
Keele regulaarsuse tarvilik tingimus (pumpamise lemma).
Myhill-Nerode teoreem.
Fraasisturktuuri grammatikad ja keeled.
KV keeled. KV keelte ühesus.
KV grammatika Chomsky normaalkuju.
KV-keelte süntaksanalüüsi ülesanne. CKY-algoritm.
Pinuautomaadid. KV grammatikat realiseeriv pinuautomaat.
Ühe olekuga pinuautomaatide ja Greibachi mõttes normaliseeritud KV-grammatikate ekvivalentsus.
Taandatud KV grammatikad.
KV-keelte tarvilikkuse tingimus.
Kontesist sõltuvad keeled ja Turingi masina keeled.
Turingi masin ja registermasin. Lahenduvad ja rekursiivselt loenduvad hulgad.
Turingi masina kodeerimine. Algoritmiliselt mittelahenduvad ülesanded. Church-Turingi tees.
Lihtrekursiivsed funktsioonid, nende arvutatavus Turingi mõttes.
Minimeerimisoperaator. Osaliselt rekursiivsed funktsioonid.
Cantori funktsioonid. Arvutatava funktsiooni ühekohalised esindajad.
Rekursiivsete funktsioonide arvutatavus.
Ühekohaliste funktsioonide arvutatavus. Gödeli numbrid.
Kleene' s-n-m-teoreem.
Rekursiivsete funktsioonide püsipunktiprintsiip.
Rice'i teoreem.
Posti vastavuse probleemi mittelahenduvus. Mittelahenduvate ülesannete näited.
Ülesannete redutseeritavus. KV keelte ühesuse mittelahenduvus.
Algoritmide keerukuse hindamine. Algoritmi keerukuse sõltuvus arvutamismudelist.
Ülesannete keerukusklassid. Deterministlik vs mittedeterministlik keerukus.
Ülesannete polünomiaalne redutseeritavus ja NP-täielikud ülesanded. SAT kui NP täielik ülesanne.
Randomiseeritud algoritmid. Las Vegase ja Monte Carlo tüüpi algoritmid.
Fermat väike teoreem ja algarvulisuse testid.

Sarnased õppematerjalid

thumbnail
37
doc

Teoreetilibe informaatika kordamisküsimused

o Laiendamine: Kui punkt on mitteterminaali ees, lisada sellesse lahtrisse seda mitteterminaali vasakus pooles eviv produktsioon peadiagonaalile sama VEERU alla o Taandamine: Kui punkt on produktsiooni lõpus, ning kusagil samas reas eespool on punkt mõne mitteterminaali ees, lisame selle produktsiooni tema endise rea samasse veegu, kus produktsiooni lõpus punkt. Algoritmi ajaline keerukus O(n3) ­ nii et praktikas suhteliselt vähe kasutatav. 18. Magasinmäluga automaadid Seadeldis, millel on magasin ja lint ning mis on mõeldud KV keelte aktsepteertimiseks. Lindilt saab lugeda iga sübolit üks kord sõna vasakult paremale. Stacki läheb viimase oleku tähis. Töö algul tühja magasini tähis. Automaadi käitumist määravad käsud kujul: a ­ lindilt loetav sümbol A ­ magasinist loetav sümbol X ­ magasini kirjutatav string

Teoreetiline informaatika
thumbnail
177
pdf

ÜHE MUUTUJA MATEMAATILINE ANALÜÜS

LTMS.00.022 ÜHE MUUTUJA MATEMAATILINE ANALÜÜS Loengukursus Tartu Ülikooli loodus- ja täppisteaduste valdkonna üliõpilastele 2019./2020. õppeaasta Toivo Leiger Joonised: Ksenia Niglas Pisitäiendused 2016–20: Märt Põldvere, Natalia Saealle, Indrek Zolk, Urve Kangro 2 Sisukord 1 Reaalarvud 6 1.1 Järjestatud korpused . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 1.1.1 Korpuse aksioomid . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 1.1.2 Järjestatud korpus . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 1.1.3 Täielik järjestatud korpus . . . . . . . . . . . . .

Algebra I
thumbnail
12
odt

Matemaatiline analüüs I 1. kollokvium

1. Norm ja kaugus (meetrika). Ümbrused. ε-ümbruse definitsioon. Reaalarvu ühepoolsed ümbrused. Lõpmatuse ümbrused. Kauguseks ruumis V nimetatakse reeglit, mis igale kahele selle ruumi elemendile u,v ∈V seab vastavusse skalaari d(u,v) ∈R, kusjuures on täidetud järgmised tingimused: 1 ∀u,v∈V d(u,v) ≥ 0; d(u,v) = 0⇔v = u 2 ∀u,v∈V d(u,v) = d(v,u) 3 ∀u,v,w∈V d(u,v) ≤ d(u,w) +d(w,v) Normiks vektorruumis V nimetatakse reeglit, mis igale vektorile u ∈ V seab vastavusse skalaari ||u|| ∈ R, kusjuures on täidetud järgmised tingimused: 1)∀u ∈ V ||u|| ≥ 0; ||u|| = 0 ⇔ u = 0, 2)∀u ∈ V, α ∈ R ||αu|| = |α| ||u||, 3)∀u, v ∈ V ||u + v|| ≤ ||u|| + ||v|| Punkti ümbrusest võib mõelda kui niisugusest seda punkti sisaldavast hulgast, kus ükskõik mis suunas saab punktist õige pisut eemalduda ilma sellest hulgast väljumata. Punkti ε-ümbrus Hulka Uε(a) := {x ∈ V|d(a, x) < ε, ε > 0} nimetat

Matemaatiline analüüs 1
thumbnail
32
docx

Tõenäosusteooria ja matemaatiline statistika

Teooria eksami probleemid I osa Tõenäosusteooria 1. Defineerige sündmuste algebra. Tooge vähemalt 2 sündmuste algebra mittetriviaalset näidet Klassi F0 nimetatakse sündmuste algebraks, kui: 1) ∅,Ω ∈ F0 (Ω < ∞; Ω – elementaarsündmuste ruum ehk hulk, mille elementideks on juhusliku katse kõikvõimalikud tulemused) 2) A ∈ F0 => Ā ∈ F0 3) A,B ∈ F0 => A + B ∈ F0 Nt: Ω = {1,2,3,4,5,6} a. F = {∅,Ω} b. A = {2,3,5}; F = {∅,Ω,A,Ā} c. F = {∅,Ω,{2,4,5},{5},{1,3,6},{1,2,3,4,6},{1,3,5,6}, {2,4}} 2. Tõenäosuse aksiomaatiline definitsioon. Tõestada aksioomide põhjal, et tühja hulga tõenäosus on null. Tuletada liitmislause 2 sündmuse (liidetava) puhul Kujutist P: F → [0;1] nimetatakse tõenäosuseks, kui: 1) P(Ω) = 1 2) AB = ∅ => P

Tõenäosusteooria ja matemaatiline statistika
thumbnail
10
docx

Matemaatiline analüüs I 1. kollokvium

1* Normi ka kauguse Def. 1o puudu ||f||∞ = sup|f(x)|(x∈X) 5*(Jada definitsioon. Koonduvad jadad , jada piirväärtus. Normiks vektorruumis V nimetatakse reeglit, mis igale vektorile u ∈V Koonduva jada piirväärtuse omadused + tõestus) piirväärtuse ühesuse tõestus.jada Jadaks nimetatakse funktsiooni, mille määramispiirkonnaks on naturaalarvude hulk N seab vastavusse skalaari ¿∨u∨¿ ∈ R , kusjuures on täidetud

Matemaatiline analüüs 1
thumbnail
20
pdf

Tõenäosusteooria ja matemaatiline statistika

Teooria eksami probleemid I osa Tõenäosusteooria 1. TT ja MatStat kui üksteise pöördteadused. Tõenäosusteooria on matemaatika osa, mis uurib juhuslike nähtuste üldisi seaduspärasusi sõltumatult nende nähtuste konkreetsetsest sisust ja annab meetodid nendele nähtustele mõjuvate juhuslike mõjude kvantitatiivseks hindamiseks. Juhuslikkusel põhinev lähenemine nõuab erilisi meetodeid, mida võimaldab tõenäosusteooria. Matemaatiline statistika on

Tõenäosusteooria ja matemaatiline statistika
thumbnail
13
pdf

SML kordamisküsimustele vastused.

SISSEJUHATUS MATEMAATILISSE LOOGIKASSE Kordamisküsimused (orienteeruv) Mõnede sümbolite tähendused sõna Materjal puudub & Konjuktsioon Ekvivalents üldisuskvantor Järeldumine Disjunktisoon ¬ Eitus olemasolukvantor Signatuur Implikatsioon Samaväärsus Loogiline järeldumine I. Lausearvutus Laused. Lausearvutuse tehted. Valem. Valemi tõeväärtus. Tõeväärtustabel. Laused Põhilised uuritavad objektid lausearvutuses on laused, mis võimaldavad pärineda ükskõik millisest valdkonnast. Oluline on, et igale lausearvutusele saaks vastavusse seada tõeväärtuse, mis kirjeldab lause tegelikkusele vastava määra. Eeldame, et käsitlevad laused rahuldavad järgmisi tingimusi: · Välistatud kolmanda seadus. Iga lause on kas tõene või väär · Mittevasturääkivuse seadus. Ükski lau

Sissejuhatus matemaatilisse loogikasse
thumbnail
82
docx

Matemaatiline analüüs I kordamine eksamiks

1. Reaalarvud Reaalarvude hulga R kirjeldamisel peab oskama välja tuua järgmist: 1) Q ⊂ R – ratsionaalarvude hulk sisaldub reaalarvude hulgas 2) Aritmeetika (tehted reaalarvudega) ja järjestus Aritmeetika. Eeldame, et hulgas R on defineeritud reaalarvude liitmine ja korrutamine järgmiste omadustega: (A1) a + b = b + a kõikide a,b € R korral (liitmise kommutatiivsus) (A2) (a + b)+ c =a +(b + c) kõikide a,b,c € R korral (liitmise assotsiatiivsus) (A3) b + 0 = b iga b € R puhul (nullelemendi olemasolu) (A4) iga b € R puhul leidub -b € R korral omadusega b + (-b) = 0 (vastandelemendi olemasolu) (M1) ab = ba kõikide a,b € R korral (korrutamise kommutatiivsus) (M2) (ab) c = a (bc) kõikide a,b,c € R korral (korrutamise assotsiatiivsus) (M3) 1b = b iga b € R puhul (ühikelemendi olemasolu) (M4) iga b € R {0} puhul leidub b-1 € R omadusega bb-1=1 (pöördelemendi olemasolu) (D) (a + b)

Matemaatiline analüüs




Kommentaarid (1)

RainerMMM profiilipilt
RainerMMM: Väärt kraam :)
11:19 16-01-2019



Sellel veebilehel kasutatakse küpsiseid. Kasutamist jätkates nõustute küpsiste ja veebilehe üldtingimustega Nõustun