Messages

asi myslis toto:

q0, (c(preskrtnute),Z,Z), (c(preskrtnute),Z,Z), q0, (R,R,R)

q0, (a,B,B), (a,B,B), qa, (R,-,-)

qa, (a,B,B), (a,B,B), qa2, (R,R,-)

qa2, (b,B,B), (b,B,B), q1, (R,-,R)

qa2, (a,B,B), (a,B,B), qa, (R,-,-)

q1, (b,B,B), (b,B,B), q1, (R,-,R)

q1, (c,B,B), (c,B,B), q2, (-,L,L)

q2, (c,B,B), (c,B,B), q2, (R,L,L)

q2, (s,B,B), (s,B,B), qF, (-,-,-)

hej, len pozeram, ze tu je zas asi chyba v poslednej instrukcii ja by som tam nedal Bcka ale Z.

no opravil som to na Z, mas pravdu.
len jedno mi nejde do hlavy, tato instrukcia : q0, (a,B,B), (a,B,B), qa, (R,-,-) - pride znak "a" a iba sa posunie, nikam si ho neulozi, ako potom mozu suhlasit tie pocty becok a cecok s poctom acok, jedno acko je neulozene

asi myslis toto:

q0, (c(preskrtnute),Z,Z), (c(preskrtnute),Z,Z), q0, (R,R,R)

q0, (a,B,B), (a,B,B), qa, (R,-,-)

qa, (a,B,B), (a,B,B), qa2, (R,R,-)

qa2, (b,B,B), (b,B,B), q1, (R,-,R)

qa2, (a,B,B), (a,B,B), qa, (R,-,-)

q1, (b,B,B), (b,B,B), q1, (R,-,R)

q1, (c,B,B), (c,B,B), q2, (-,L,L)

q2, (c,B,B), (c,B,B), q2, (R,L,L)

q2, (s,Z,Z), (s,Z,Z), qF, (-,-,-)

takto nejak by to mohlo byt, opravte ma, ak sa mylim

(q0,(©,Z,Z),(©,Z,Z),q1,(R,-,-))
(q1,(a,Z,Z),(a,B,B),q2,(R,R,R))
(q2,(a,B,B),(a,B,B),q1,(R,-,-))
(q1,(a,B,B),(a,B,B),q2,(R,R,R))
(q1,(b,B,B),(a,B,B),q3,(R,L,-))
(q3,(b,B,B),(b,B,B),q3,(R,L,-))
(q3,(c,Z,B),(c,Z,B),q4,(R,-,L))
(q4,(c,Z,B),(c,Z,B),q4,(R,-,L))
(q4,($,Z,Z),($,Z,Z),qF,(-,-,-))

neviem ci nemas chybu v tejto instrukcii (q1,(b,B,B),(a,B,B),q3,(R,L,-)), pride ti na vstupe b a prepisujes ho na a.nerozumiem tomu

[uqi sj v]

nejako nemozem pochopit tomu prikladu k turingovmu stroju na f(x,y) = x + y

a je tam na zaciatku 11B11 cize ako tam pise potom m1 by malo byt tie prve dve jednotky, cize 2 a m2 tie druhe dve jednotky, cize dve

jedine co tam spravi, ze vymaze prvu jednotku a potom tam pise, ze vysledok je pocet jednotiek (cize <qk>) co je vo finalovom stave (1B11) = 3 a to ma byt m1 + m2 ?

2 + 2 = 3 mi nejako nesedi
neviem tomu pochopit ako je to tam myslene :-/

No ja som inac tiez nad tym dumal, ale ked som si cital o tom v skriptach tak tam sa pise:
                                             uqi sj v
, t.j. že aktuálna bunka obsahuje symbol sj , TS M je v stave qi a že obsah vstupnej pásky naľavo od
aktuálnej bunky je u a obsah vstupnej pásky napravo od aktuálnej bunky je v

Cize ked mas fin. konfiguraciu : B1m1 Bq4 11m2, tak to co je pred stavom q4 - to je to cez co vsetko si musel prejst po tej paske, kym si sa dostal do fin. konfiguracie -  z hladiska konecneho vypoctu pre teba nezaujimave znaky. Zaujima ta iba to co je za tym q4, pretoze v tom stave prave si - cize 11m2. co je spravny vysledok.

Tak som to pochopil ja,opravte  ma niekto ak je to nespravne.

V TIMgr7122010
[/quote]

a to kde najdem?
[/quote]
no na moodli, heslo je jahodka,a vola sa to "Ucebne materialy k TI"

ludia nevedli by ste sem hodit co je to transformacii, vela som toho v skriptach nenasiel
DIKY

V TIMgr7122010 je to na strane 211 - 11.2 Metapravidlo transformácie schém a optimizácia triediaci-ch algoritmov, v podstate cela kapitola popisuje o tranformacii.

suhrn otazok zo semestra:
=====================4.1.2011==========================
A)
T1:  Uzaverove operacie. Uzaverove operacie nad jazykom.
       Elementerne uzaverove operacie nad triedami jazykov
T2 Algebra: baza, poly mono druhova algebra. Alegebraicke systemy. Logicko funkcne modely.
P: Zostrojte algoritmus Dijkstra pre triedenie postupnosti pouzitim Minimalneho prvku zostupne.

B)
T1 - Automatove zobrazenia - vlastnosti k tomu
T2 - Metaalgebra algoritmov, kriterium funkcionalnej uplnosti v dijkstrovej metaalgebre.
P - Polynom zegalkina z dvoch funkcii.

=====================11.1.2011==========================
Len jedna skupina bola

TI2I.6 : Turingovsky-vypocitatelne funkcie. Definicia a ilustracia na priklade.

TI2II.6 : Algebra logiky a problem funkcionalnej uplnosti.
     Algebra boolovskych funkcii (BF) a problem funkcionalnej uplnosti systemov BF.

Priklad
Previest do algebry Janova z Dijkstru.

=====================13.1.2011==========================
A)
Dijkstrova algebra + napisat konvoluciu evoluciu
Univerzalny turingov stroj + Halting Problem
Priklad bol stroj s dvoma pocitadlami (a na 2n,b na n,c na n)

B)
Nerodove ekvivalencie
Algebra algoritmov
Prepisat asi Bubblesort do Dijkstry

=====================17.1.2011==========================
A)
1.otazka:
Uzaverove operacie. Uzaverove operacie nad jazykom.
Elementerne uzaverove operacie nad triedami jazykov
2.otazka:
baza, poly mono druhova algebra. Alegebraicke systemy. Logicko funkcne modely.
Priklad: Zostrojte algoritmus Dijkstra pre triedenie postupnosti pouzitim Minimalneho prvku zostupne.

B)
1 otazka: turing. vypocitatelne funkcie
2 otazka: alegbra logiky a boolova algebra
priklad: previest do Alg. Janova nejaky bordel...

=====================20.1.2011==========================
A)
prva otazka bol PCP a MPCP a druha otazka graf reprezent. a graf-schema (toto som necakal)

priklad bol turingov stroj rozpoznava L x pricom x patri 0,1,2 * ... kazdy mohol napisat riesenie vlastne niekto pouzil zasobniky niekto ne... s este som zabudol ze podmienka bola aby pocet 1 a 0 bol rovnaky 2 bolo jedno kelo budze...

B)
1. Zobrazenia definovane na jazykoch. Uzavretost tried jazykov vzhladom na zobrazenia.
2. Metapravidla konstrukcie schem a strategie spracovania dat: konvolucia, evolucia, metapravidlo transformacie schem.
PR.: Dijkstra - bubblesort zostupne.

=====================24.1.2011==========================
A)
1.otazka:
Turingovsky vypočítateľné funkcie ( + príklad )
2.otazka:
Algebra logiky a problém funkcionálnej úplnosti. Algebra boolovských funkcií BF a problém funkcionálnej úplnosti BF

B)
1.otazka:
baza, poly mono druhova algebra. Alegebraicke systemy. Logicko funkcne modely.
2.otazka:
Uzaverove operacie. Uzaverove operacie nad jazykom. Elementerne uzaverove operacie nad triedami jazykov

priklad- prevod AD do AJ

=====================27.1.2011==========================
1.skupina
- Nerodove ekvivalencie
- Algebra algoritmov
- Turingov stroj s jednou vstupnou paskou a dvomi zasobnikovymi - a^2n b^n c^n

2.skupina
- Uzáverové operácie nad jazykmi - Uzavretosť tried jazykov vzhľadom na zobrazenia
- Metapravidlá konštruovania schém a stratégií spracovania dát - Konvolúcia, Evolúcia, Transformácia
- Prepisat Bubblesort do Dijkstry, zostupne

Inac neviem ci ste si to niekto vsimli, ale ja som si zapisoval co bolo na akom termine a vsimol som si, ze na kazdom druhom termine boli skoro tie iste otazky.
Takze na 31.1.2011 podla mojich vypoctov vychadza nieco take

A)
1.otazka:
Turingovsky vypočítateľné funkcie ( + príklad )
2.otazka:
Algebra logiky a problém funkcionálnej úplnosti. Algebra boolovských funkcií BF a problém funkcionálnej úplnosti BF

B)
1.otazka:
baza, poly mono druhova algebra. Alegebraicke systemy. Logicko funkcne modely.
2.otazka:
Uzaverove operacie. Uzaverove operacie nad jazykom. Elementerne uzaverove operacie nad triedami jazykov

priklad- prevod AD do AJ  + nejaky TS s dvoma zasobnikmi, alebo s dvoma pocitadlami

A taktiez 3.1.2011 by malo byt nieco take ako bolo dnes.
Ale to si vie zistit kazdy pozorny citatel

Nejake info z dnesnej skusky??

ja si myslim ze ano. Ale urcite uz by som nepisal tych 9 operacii.

no lenze k tej otazke ze uzavrete operacie nad jazykmi, je aj podotazka ze operacie an fromalnych jazykoch a tie su ktore?

Nerozumiem tvojej otazke. Ktore su tie operacie, alebo ktore su tie jazyky??

no mal som na skuske otazku: Operacie na formalnych jazykoch, Uzavretosť operacii nad jazykmi. Uzavretost na elementarne operacie nad jazykmi.
NO co ktomu treba?
staci tan napisat tie odvodenia pre operacie zjednotenia zretazenia, uzaveru a reverzie, alebo este neico?

No tak operacie na formalnych jazykoch su zretazenie, iteracia, mocnina, ..., inverzny homomorfizmus(cize tich 9 operacii). A potom dokazujes uzavretost operacii(zjednotenie, zretazenie, iteracia, reverzia, prienik, doplnok) na jednotlive triedy jazykov(0,1,2,3) co je -  Uzavretosť operacii nad jazykmi. Uzavretost na elementarne operacie nad jazykmi.

A inac ako to dopadlo vcera, spravili ste vsetci???

ja si myslim ze ano. Ale urcite uz by som nepisal tych 9 operacii.

no lenze k tej otazke ze uzavrete operacie nad jazykmi, je aj podotazka ze operacie an fromalnych jazykoch a tie su ktore?

Nerozumiem tvojej otazke. Ktore su tie operacie, alebo ktore su tie jazyky??

radsej napis obidve.. ja som napisal oboje a dal mi za to 20b

a co vsetko si k tomu pisal?Pisal si iba o povahe uzavretosti tried jazykov 0,1,2 alebo aj o triede 3 ?

ach jo lidi... 570 stran??? sak to je chore sa ucit... sedim nad tym dva dni a mi to pripada ze je tam toho mrte.... proste by dost pomohlo kedy aspon boli zverejnene otazky ake moze clovek cakat abo co je a co nie je potrebne... ale sak co mozme cakat.... a chcel by som potriast rukou tomu co mu dal ten papierik  RESTECPA .... rozsahovo je to narocnejsie ako TI .. co uz je brutal 

otazky staci najst par stran dozadu.

Dnes bola iba jedna skupina? Ked sa pisalo iba o jednej.

drtic, ľudia ako ty sú, aspoň mnou, na fóre veľmi vážení ďakujem za vyčerpávajúcu odpoveď

A teda stači sa učiť z Eminho oskenovaného zošita podľa tých 11.okruhov z minulého roka a pánovi H to bude stačiť ?

no tak diki za pochvalu 

pozeral som to a mozem ti povedat len svoj nazor, skutocnost je mozno ina ...
niektore otazky su tam velmi dobre spracovane, v niektorych je tam toho dost naviac a v niektorych nieco chyba ale stacilo by to mozno na polovicu a viac bodov , ale co je najdolezitejsie niektore veci sa z toho len tazko daju pochopit, cize idealne by bolo kazdu jednu otazku si prejst v skriptach a z eminkinych sa ucit to co napisat do papiera na pisomke, lebo je dost pravdepodobne, ze prof. Hudak bude chciet k niecomu vysvetlenie

Mas pravdu, urcite sa naucit to co chces ku kazdej otazke napisat.Velmi dobra kniha je Hopcroft.Ullman.-.Formalne.jazyky.a.automaty, urcite su tam spracovane skoro vsetky otazky, takze na pochopenie velmi dobra.Ja som v nej hladal nejake otazky, napr. Halting problem a Postov problem, kde v inych zdrojoch som to bud nepochopil alebo velmi malo tam toho bolo.

ako napisem ten selection sort pomocou Dijkstrovej algebry, alebo z kadial sa to mozem naucit

No selection sort najdes kdekolvek na nete, a na prevod do DA si mozes vymysliet aj vlastne predikaty a vlastne funkcie s ktorymi budes pracovat, samozrejme ich musis opisat.
Lenze ktosi napisal, ze  :

"- priklad: napisat algoritmus Dijkstrovej algebry pre triedenie vzostupne ( BUBBLE klasika) "
Takze teraz neviem.

Inac aby som poznamenal k tomuto predmetu, kedze som bol vcera na skuske. Este aj vcera bola v zadani skusky tlacova chyba, cize sme si museli opravit ju .
Super predmet, na kazdom jednom cviku nam povedali, ze je cosi zle v prikladoch a skuska to iba doklepla

Ze vraj ten algoritmus sa vola SELECTION SORT. Postup by mal byt taky, ze vyberies najmensie cislo z postupnosti a zaradis ho na koniec a takto pokracujes dalej pre zostavajucu cast nezotriedenej postupnosti.

No takze Vasou ulohou bolo aj zostrojit algoritmus? alebo ste mali dany algoritmus a z toho len prepisat na dijkstru.

Ulohou bolo aj zostrojit ten algoritmus.

aha 1 neprisiel, pardon. tak ako to prebiehalo???bol zhovievavy alebo ako??/

WUAAAAAAAA TOTO BOL TURINGOVSKY MASAKER NEKONECNOU PASKOU!!! uspesnost 12 zo 14(1neprisiel na vyhodnotenie)  

Hudak neprisiel a kto skusal??

Viete niekto poradit v cvic. c.9(navrhnut OA).
Nastavuje sa tam cosi take : NL :=I1, NC := I2, O1 := NL, O2 := SC. Podla coho to nastavim tak, podla coho viem,ze prave ten a ten register mam nastavit vst. sign. a ten vyst. signalom Na cviku to nejako vysvetlovali ale som to velmi nepobral.

bol uz niekto na skuske z tohot predmetu, ako to vyzera?
je to klikacka v moodli, alebo treba spravit nejaky mikroprogram?

Co som pocul  a co aj Plocica spominal tak na skuske ma byt normalne klikacka v moodli + je tam aj priklad za 10b, ktory kontroluje on osobne.
Cize podla mna nieco doplnit, spravit cosi co sa aj na cvikach robilo. Takze ak je skuska za 60b - 10b priklad tak klikacka je za 50b. Plocica spominal,ze niektori ked mali body tak sa s prikladom ani neobtazovali .

Nasiel som v mojom pc cosi take :

stroj s 2 pocitadlami (a na 2n; b na n; c na n )



q0, (c(preskrtnute),Z,Z), (c(preskrtnute),Z,Z), q0, (R,R,R)

q0, (a,B,B), (a,B,B), qa, (R,-,-)

qa, (a,B,B), (a,B,B), qa2, (R,R,-)

qa2, (b,B,B), (b,B,B), q1, (R,-,R)

qa2, (a,B,B), (a,B,B), qa, (R,-,-)

q1, (b,B,B), (b,B,B), q1, (R,-,R)

q1, (c,B,B), (c,B,B), q2, (-,L,L)

q2, (c,B,B), (c,B,B), q2, (R,L,L)

q2, (s,B,B), (s,B,B), qF, (-,-,-)

mal som ho ja na skuske, takto som ho spravil a 10b bolo za neho

Si sa nepomylil? Co ja viem, predtermin bol len jeden a to 10.12.2010. Otazky boli, teoria: 1. multiplexor, 2.scitacky, priklad: Mealyho automat pre riadenie realizacie mikroprogramu.

No v maise su zapisane terminu 9.12 a 15.12 tak mozno preto sa pytal.
Chcem sa ja opytat, k tomu prikladu : Mealyho automat pre riadenie realizacie mikroprogramu, stacilo iba nakreslit automat Mealyho alebo trebalo aj tie dalsie veci, ktore sa aj na cvikach ratali - tab.prechodov, vypis tich funkcii.