Teoretická informatika

[radix]

k 1. bude zrejme toto vsetko:Sekvenčné zobrazenia (sqz): definícia, vlastnosť monotonnosti. Sekvenčné a zachovávajúce dĺžku zobrazenia (zdz).  pridružené k sqz zobrazenia a ich vlastnosti. Relácia nerozlíšiteľnosti sqz a u-pridružených zobrazení. Báza a váha sqz. Podmienky realizovateľnosti sq a zd zobrazení v konečnom automate

k 2. to som si nenasiel v cvikach

[drtic]

Chcem sa spytat, brala sa na poslednej prednaske kapitola zo skript na moodli 11. Konštruovanie a klasifikácia algoritmov a stratégií spracovania dát. ?

[puq]

Mam 2 otazky:
1. Otazka: V minulorocnych otazkach bolo znenie jednej ulohy "Sekvencne zobrazenia" . To k tomu akoze co treba? Konecno-automatove zobrazenia alebo su este nejake ine?
2. Otazka: Brali sme na cvikach priklady typu ze dokazte ze je nejaky jazyk deterministicky a bezkontextovy?

Prosiiiim vie niekto odpovedat na tieto otazkyyy? 

pri tej dvojke tam ide o to ze musis zrobit zasobnikovy automat a tym sa to dokazuje, ze ak existuje k jazyku zas. automat tak je jazyk bezkontextovy a deterministicky zistis tiez podla zas. automatu podla toho ako sa v nom rozhoduje

[hrochodyl]

Nie je tu nejaky clovek ktory bol na vsetkych prednaskach, a ktory by vedel povedat ktore veci sa tento rok presne brali? Lebo pochybujem ze tie temy ktore su na hornade budu rovnake s temami tento rok... 

[JankoHrasko]

je podľa vás príklad 6.3 v moodlovských skriptách správny?    je na strane 157 a ďalej..

[Ofinka]

2. Otazka: Brali sme na cvikach priklady typu ze dokazte ze je nejaky jazyk deterministicky a bezkontextovy?

taketo ulohy su dost zakerne. nemuseli ste ich preberat v takomto zneni na hodine, ale pokial vies, co znamena, ked je jazyk deterministicky alebo bezkontextovy, potom musis vediet, akym sposobom sa to da dokazat - a na to mozes pouzit niektory z prikladov, ktore sa preberali na hodine.

taak dakujem za odpovede..aa uz si viem teda predstavit ze urcime ze jazyk je bezkontextovy a deterministicky tym ze mu zostrojime zasobnikovy automat..alee akym sposobom by sa riesil takyto typ prikladu?=>

Je dany bezkontextovy jazyk L1, jazyk L2=(a1a4a7...a3k+1; k je vacsie rovne 1, ai patri L1) a treba dokazat, ze L2 je tiez bezkontextovy jazyk.

to treba tiez nejako riesit pomocou zasobnikovych automatov?..alebo je nato nejake ine pravidlo?

[drtic]

je podľa vás príklad 6.3 v moodlovských skriptách správny?    je na strane 157 a ďalej..

Neviem ti povedat. Ale v skriptach vseobecne je dost vela chyb. V takych pripadoch ked nie som si isty treba porovnat viac rozlicnych zdrojov.

[jim-beam33]

Hm ludia sa nejak odhlasuju postupne z toho prveho terminu 4.1. 

[sikik]

Inac je nejaka sanca na skuske, ze sa podari aj nieco opisat ??Alebo sanca nulova??

Ako opakujuci ti to poviem pravdivo. Ak sa ti aj podari opisat, hudak si to velmi rychlo overi ci je to z tvojej hlavy alebo nie, lebo potom ides k nemu na ustnu a vsetko mu musis vysvetlit

[Sxx]

Inac je nejaka sanca na skuske, ze sa podari aj nieco opisat ??Alebo sanca nulova??

Ako opakujuci ti to poviem pravdivo. Ak sa ti aj podari opisat, hudak si to velmi rychlo overi ci je to z tvojej hlavy alebo nie, lebo potom ides k nemu na ustnu a vsetko mu musis vysvetlit

to bude dalsia skuska na ktoru pridem o 9 rano a odidem o 18:20?

[puq]

oplati sa odist aj o 19:00 ked mas skusku...horsi pripad je tam byt 10 hodin a ta na konci hudak odjebe

[thom]

Inac je nejaka sanca na skuske, ze sa podari aj nieco opisat ??Alebo sanca nulova??

Ako opakujuci ti to poviem pravdivo. Ak sa ti aj podari opisat, hudak si to velmi rychlo overi ci je to z tvojej hlavy alebo nie, lebo potom ides k nemu na ustnu a vsetko mu musis vysvetlit

to bude dalsia skuska na ktoru pridem o 9 rano a odidem o 18:20?

No podla mna urcite, Hudak si kazdeho osobne preskusa.

[radix]

tak z prveho terminu sa odhlasilo uz 11 ludi len aby sa nestalo ze posledny termin bude niekoho len 1. riadny

[navarro]

na cvikach sme pocitali priklad na stroj s dvomi pocitadlami pre vyraz (a na n; b na n; c na n ).
Ale ako by vyzeral stroj s dvomi pocitadlami pre vyraz (a na 2n; b na n; c na n ) ? Dakujem za pomoc 

[JankoHrasko]

Inac je nejaka sanca na skuske, ze sa podari aj nieco opisat ??Alebo sanca nulova??

Ako opakujuci ti to poviem pravdivo. Ak sa ti aj podari opisat, hudak si to velmi rychlo overi ci je to z tvojej hlavy alebo nie, lebo potom ides k nemu na ustnu a vsetko mu musis vysvetlit

to bude dalsia skuska na ktoru pridem o 9 rano a odidem o 18:20?

No podla mna urcite, Hudak si kazdeho osobne preskusa.

A asi ako dlho preveruje jednu osobu? Keď sa odhlasujú ľudia, tak tam asi budeme kratšie než do 18:20..  

[bubo]

Less pipl = more one on one time with the Hudak boss. 

[Ofinka]

na cvikach sme pocitali priklad na stroj s dvomi pocitadlami pre vyraz (a na n; b na n; c na n ).
Ale ako by vyzeral stroj s dvomi pocitadlami pre vyraz (a na 2n; b na n; c na n ) ? Dakujem za pomoc 

mne vyslo take nieco..ale nie som si ista ci to je dobre..cize to moze niekto skontrolovat!

[pinderko]

jak stojite na to??? mate vsetko prebrate a aj vsetko viete???

[radix]

da sa to vobec?

[pinderko]

ani prd...priklady celkom ale teoria tak to na slucku...

[deCode666]

neviem ako vy, ale ja sa idem zajtra ráno do školy len zohriať tak na 30 - 45 min. a padám ... príklady akurát tak to, čo bolo na zápočte a teória ani prd  ... takžeeeee ... 

[navarro]

Dnesne otazky co mala moja skupina :

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.

Kedze nas bolo len 16 t.j. 8 sme mali tuto skupinu, z toho sme hned na zaciatku 5 odovzdali hned cisty papier  cize tak, treba mat stastie na skupinu podla mna.

[radix]

a druha skupina?

[bludar]

Hmm ved to vyzera akoby to boli rovnake otazky ako minuly rok. Bola druha skupina nieco ako :

1.halting problem + dokaz + univerzalny turingov stroj
2.Dijkstrova algebra

lebo ak ano, tak to bolo presne minuly rok na prvom termine.

[thom]

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