Kui mittedeterministlikul on k olekut, siis talle vastaval deterministlikul võib olla kuni 2k olekut. T: eeldame, et N-is pole ε-üleminekuid. 4 Regulaarsete avaldiste ja lõplike automaatide samaväärsus. Teoreem: Regulaarse avaldisega defineeritud keel on aktsepteeritav (mittedeterministliku) lõpliku automaadiga. T: vastavalt avadlise struktuurile saame rekursiivselt teha automaadi: Teoreem: Lõpliku automaadi poolt aktsepteeritav keel on defineeritav regulaarse avaldisega. T: Olgu M = (Q,Σ,δ,Q1,F) lõplik automaat olekute hulgaga Q = {q0,q1,…,qn}. Defineerime Rk ij kui sõnede hulga, mis viivad automaadi olekust qi olekusse qj vahepeal olekuid qk,...,qn läbimata. Hulk R0 ij = {a∈Σ | qj ∈ δ(qi ,a)} on lõplik ja seega esitatav regulaarse avaldisega. Oletame, et Rk ij on esitatav regulaars...
Sisaldab vähemalt 3 elementi 2. On tühi 3. On lõputu 4. On rekursiivselt loenduv (RL) Millised neljast omadusest: on rekursiivne on rekursiivselt loenduv omab rekursiivst täiendit omab rekursiivselt loenduvat täiendit on antud hulkade põhjal 1. A = {x | x o...
phl.univie.ac.at/~chris/gateway/formular-uk-zentral.html Millistel muutuja väärtustel on lause (Av(B&A))v(-A&(Cv(B&-C))) väär? Panna tuleb results only, 0 on väär 1 on õige Tutvu ajalooga saidis kuni II maailmasõda: http://www.maxmon.com/history.htm Loe läbi jutt ja proovi andmetega mängida: http://math.hws.edu/TMCM/java/DataReps/index.html Kahend s...
Kuid iga rekursiivset algoritmi saab esitada ka iteratiiselt, nagu enne juttugi oli. Kui juur välja jätta, siis kõigil teistel tipul on olemas ematipp ja ematippudel(parent) on omakorda tütartipud(child). Sama emaga tipud on õed(siblings). Kui meil on mitu puud, võime rääkida metsast(forest). Luline on rääkida veel puu...
Diskreetne matemaatika II Suulise eksami konspekt IABB 2011 [1]. Hulgad. Alam- ja ülemhulgad. Tehted hulkadega. [2]. Hulga võimsus. Kontiinumhüpotees. [3]. Järjendid. Permutatsioonid. Kombinatsioonid. [4]. Binoomi valem. Pascali kolmnurk. [5]. Liitmis- ja korrutamisreegel kombinatoorikas. [6]. Kordusteg...
YMM3731 Matemaatilne analu¨ us ¨ I Gert Tamberg Matemaatikainstituut Tallinna Tehnikaulikool ¨ gtamberg@staff.ttu.ee http://www.ttu.ee/gert-tamberg ¨ G. Tamberg (TTU)...
DNS-i päringu ja vastuse sõnumid on samas formaadis (vt. joonist), neid eristatakse ühebitise flagi abil – päringu puhul 0 ja vastuse puhul 1. Esimesed 12 baiti on mitme väljaga päis, siis 16-bitine päring, mis jäetakse ka päringu vastusesse, vastus, info autoritatiivsete serverite kohta ja lisainfo. Flagidega eristatakse ka soovi teha päring rekursiivselt , rekursiooni võimalikkust ning autoritatiivset päringut. 20. Töökindel andmeedastus Töökindel andmeedastus on oluline transpordi-, rakendus- ja kanalikihi jaoks. On üks olulisemaid probleeme võrgunduses üldse. Töökindel kanal tagab selle, et ükski bitt ei muunduks või ei läheks kaduma ning bittide järjekord jääks samaks. Töökindel andmeedastusprotokoll (reliable data transfer protocol) peab läbi viima andmeedast...
then ... else tsükkel: while(x<10) x=x+1; Funktsioonid: defineerime: int kuup(int x) { return x * x * x} kasutame: x = kuup(1+kuup(3))+kuup(y); kasutame rekursiivselt : int fact(int x) { if (x<=0) return 1; else return x*(fact(x-1)); } Keeled: näited lisavõimalustest eri keeltes Kiired bitioperatsioonid, otsepöördumine mälu kallale: C Keerulisemad andmetüübid: listid, hash tabelid jne: Lisp, Python, Javascript Erikonstruktsioonid stringitöötluseks: Perl, PHP Objektid: C++, Java, C#, Python, Lisp Moodulid (enamasti ühendatud objektidega): C++...
Töötati välja Carnegie Mellon Ülikooli pool. Koosneb kahest osast. Neid kahte osasid rekursiivselt kogu aeg ketratakse. o 1. osa – taktika. § Kontrolli, et nõuded oleks piisavad. § Vali süsteemi osa, mida komponentideks lahutada. § Identifitseeri arhitektuuri juhtivad nõuded. § Vali kontseptsioon, mis täidab juhtivad nõuded. o 2. osa – dokumenteerimine. § Algväärtusta arhitektuuri elemendid ja jaota v...
Kontrolli korraldusega diff , kas kataloogid etc ja varbackupsetc-copy on identse sisuga. Käsk cp (copy) kopeerib faile ja katalooge. Lipuga -d ei järgita sümboolseid viitasid kopeeritavas kataloogis. Lipuga -R (recursive) kopeeritakse kataloogi sisu rekursiivselt ehk kopeeritakse kõik kataloogis olevad alamkataloogid koos nendes sisalduvate failidega. Lipuga -v (verbose) näeme detailset informatsiooni käsu täitmise kohta. Lipuga --preserve=all säilivad kõik kataloogide ja failidega seotud atribuudid, sealjuures omanikud ja ajatemplid. Käsk cp nõuab, et kopeeritava faili või kataloogi aadress kirjutatakse enne koopia aadressi. Kasutame korraldust sudo (super-user do),...
student@server:~$ sudo mkfs -t ext4 devsda3 Monteeri see ajutisse asukohta ja kopeeri kogu varwww . Kontrolli, et sisud on identsed. Monteerime sda3 ajutisse monteerimispunkti mnt ja määrame lipuga -t failisüsteemi tüübiks ext4 . student@server:~$ sudo mount -t ext4 devsda3 mnt Kopeerime varwww sisu mnt sisuks lipuga -a : rekursiivselt ja jättes muutmata kõik atribuudid. student@server:~$ sudo cp -a varwww* mnt Kontrollime sisu erinevusi käsklusega diff . Erinevusi ei ole. student@server:~$ sudo diff -rq varwww mntwww Kustuta varwww sisu ja monteeri uus failisüsteem varwww alla. Kustutame varwww sisu, jättes kataloogi alles. student@server:~$ sudo rm -r varwww* Monteerime uue failisüsteemi varwww alla. student@server:~$ sudo mount -t ext4 mnt varwww V...
Suuruse numbrid ja mida nad tähendavad ? 1 bit = 1 binary digit 1bait = 8bitti 1kilobait = 1024 baiti Megabait = 1,048,576 baiti Gigabait = 1,073,741,824baiti Terabait = 1 trillion baiti Esimene mikroprose: intel 4004 von Neumann-type computer - Stored-program Computer KÜSIMUSED: Nimeta vähemalt üks oluline teooria- alane tulemus Alan Turing...
Grupeerida 1de piirkonna arvud tabelisektsioonidesse kokku vastavalt 4. Korrata rekursiivselt eelmist sammu seni kuni võimalik — viimasel nende indeksitele: kleepimisel saadud intervallide edasikleepimiseks veelgi suuremateks. index 1de pk (käesolevas näites ei saa enam 4-seid intervalle kokku kleepida 8-steks) 0 0 Kleepimisel moodustu...
Me tähistame 2 := S(1) = {∅}, 3 := S(2) = {∅, {∅}}, 4 := S(3) = {∅, {∅}, {∅, {∅}}} jne. Kõigi ülaltoodud konstruktsiooni põhjal saadud hulkade hulka tähistame sümboliga N ning tema elemente nimetame naturaalarvudeks (natural numbers, натуральные числа). Järgnevalt viime naturaalarvude hulka sisse liitmise ja korrutamise. See toimub rekursiivselt : nõuame, et a+1 = S(a) ja a+S(b) = S(a+b), kus a, b ∈ N. Korrutamine: a·1 = a ja a·S(b) = a+(a·b). Kontroll näitab, et liitmine ja korrutamine on assotsiatiivsed, kommutatiivsed ning on seotud distributiivsuse võrdustega. Defineerime veel, et a < b ⇔ ∃c ∈ N : a+c = b. Saadud seos < rahuldab trihhotoomia, transitiivsuse, liitmise ja korrutamise monotoonsuse nõudeid. Märkus. Sageli defineeritakse hoopis 0 = ∅...