Messages

Pls, mozete mi helpnut s nasledujucimi prikladmi?

1.priklad (ci spravne chapem):
sekvencne zobrazenie {0,1,2}*-->{p,n} ci je realizovatelne sekvencnym automatom
-tu sa berie, ze na vystupe je bud P alebo N (podla toho ci pocet niektoreho vstupneho symbola je parny alebo neparny)-a teda chyba v zadani, ktory symbol pocitame?

2.priklad:
je dany bezkontextovy jazyk L1, jazyk L2=(a1a4a7...a3k+1; k je vacsie rovne 1, ai patri L1) treba dokazat, ze L2 je tiez bezkontextovy jazyk
-tu mam zostrojit nejaky zasobnikovy automat? Ak ano, tak aky? Ake slova ma akceptovat, ked nie je presne definovana L1?

3.priklad:
Zostrojte algoritmus Dijstra pre triedenie postupnosti pouzitim Minimalneho prvku zostupne (tha alebo nieco v tom zmysle ak som neprepisal vsetko uplne presne)
-WTF? Neviete kde by som nasiel nejaky vyrieseny priklad?

4.priklad:
sekv stroj z L1={a^i b^j} zostrojit L2={a^k b^l c^m}, pricom (i=>0, j>1, i<=k+l<=2i, 1<=m<j)
-WTF? To ako ma vyzerat ten sekvencny stroj?

5.priklad:
stroj s 2 pocitadlami (a na 2n; b na n; c na n )
-to je niekde vyriesene v skriptach alebo kde?


Je toho trosku viac, ale urcite to pomoze aj ostatnym. Tak ak sa niekto najde, kto chape niektorym z vyssieuvedenych prikladov, tak dajte pls echo
Diky moc.

pr.1: vystup je "a", ak N2(xi) mod3 = 0 (pocet dvojek na vstupe modulo 3 = 0), a "n" v opacnom pripade.
Vstup je {0,1,2}* -> {a,n}*
(takto vyzeralo znenie prikladu pred rokom, toto tohtorocne bude asi len zle prepisane)

pr.2: riesi sa vraj sekvencnym automatom, rovnako ako priklad 4, ale nerozumiem im, zhanam niekoho kto to vypocita.

pr.3: toto som nikde nenasiel

pr.4  link na obrazok http://img141.imageshack.us/i/sekvencnystrojwv8.jpg/
este v tom obrazku maju chybat prechody:
b/ab z q0 do q1
a/lamba z q3 do q3
ale nerozumiem tomu prikladu

pr.5: nasiel som na fore takuto spravu:

"priklad sa vypocita presne tak, ako s dvoma zasobnikmi a potom sa na 2. a 3. mieste prepisu acka a bcka na velke Bcka.. napr. pri 2 zasobnikoch mas
(q2,(c,a,b),(c,B,b),q2,(R,L,L)) a ta ista instrukcia sa pri 2 pocitadlach zmeni na
(q2,(c,B,B),(c,B,B),q2,(R,L,L))"

dve pocitadla si myslim, ze nebudu.. to sme nebrali

a polynom zegalkina sme brali? alebo prevod do algebry janova? A tiez bolo na prvom termine..

ked som cital minulorocne forum, tak som si vsimol jednu zaujimavost - minuly rok mali prvu skusku 5.1, a ake mali otazky? Tie iste, co boli tohto roku na prvom termine. Mozno nahoda, mozno nie, kazdopadne velmi zaujimave. A na druhy termin bolo vlani nahlasenych malo ludi (14), z toho prislo len 11 a mali len 1 skupinu -
Otazky:
1.halting problem + dokaz + univerzalny turingov stroj
2.Dijkstrova algebra
Priklady:
1. stroj s 2 pocitadlami (a na 2n; b na n; c na n )
2. je dany bezkontextovy jazyk L1, jazyk L2=(a1a4a7...a3k+1; k je vacsie rovne 1, ai patri L1)
    a trebalo dokazat, ze L2 je tiez bezkontextovy jazyk

Takze ked sa teraz este 2 ludia odhlasia, je celkom mozne, ze to bude v stredu vyzerat rovnako

nejako sa odhlasujete.. 16/25, tak malo nebolo ani na prvom termine

McLarenPP si pisal ze mas nejake okruhy otazok z minulych rokov, mozes to niekde hodit ? alebo kde to najdem ? Vdaka

zacinam mat strach z tej skusky

nie okruhy, ale zhromazdil som otazky, co boli minuly rok - najdes to na FTP Kane.sk pod nazvom
TI-skuska (minulorocne otazky).doc. Spolu tam je 6 skupin z minuleho roku a tohto roku boli na skuske 2 z nich. Takze je dost mozne, ze na dalsich terminoch sa vyskytnu zvysne 4, pripadne sa niektore mozno aj zopakuju na neskorsich terminoch.

Okruhy .. to akoze z toho ?? I2TISkTemOkruhyZS0809.pdf

ano.

okruhy 2,3,4,5,6 su cele v Hopcroft, Ulllmann - Formalne jazyky a automaty; neviem, ci by Hudakovi stacilo len to, co je v TI.pdf. Zvysne okruhy o algebrach su v SH_algAloritmov_final.pdf, a este prvy okruh ako som uz pisal vyssie - str. 41 skripta + TI.pdf. Ja sa ucim takto.

nemate nahodou nejake dobre materialy, kde je dobre vysvetlena sekvencnost? V skriptach to akosi neviem najst thx

nieco je v skriptach na str. 41, o inom neviem (okrem TI.pdf).

aj ta druha dnesna skupina je uplne rovnaka ako bola jedna zo skupin minuly rok.. aj priklady aj teoria. Dam na FTP dokument s otazkami z minuleho roku.

Joooj si to tam mohol dat aj v .doc pre ludi co nejdu s dobou

ok mas to tam.

aj ta druha dnesna skupina je uplne rovnaka ako bola jedna zo skupin minuly rok.. aj priklady aj teoria. Dam na FTP dokument s otazkami z minuleho roku.

este hodte niekto otazky z druhej skupiny.. Prva nebola najhorsia, ale viem si predstavit aj lepsie.

EDIT: mam poznacene otazky z minuleho roku, a jedna zo skupin mala presne tie iste otazky aj typy prikladov ako boli dnes - prispevok z fora:

1.priklad -   dokazat ze jazyk  L = {a0n1n} U {0n12n} je deterministicky bezkontextovy
2.priklad -   zostrojit polynom zegalkina pre  nejaku funkciu  (uz nepamatam presne jaku)

1.otazka  - konecnoautomatove zobrazenia a ich vlastnosti.
               Sekvencne zobrazenia, zobrazenia zachovavajuce dlzku, pridruzene zobrazenia.
               Realizovatelnost zobrazeni koencym automatom.
2.otazka - Metaalgebra algoritmiky a vlastnosti štruktúry jej podalgebier.
               Kritérium funkcionálnej úplnosti v Dijkstrovej metaalgebre.

este hodte niekto otazky z druhej skupiny.. Prva nebola najhorsia, ale viem si predstavit aj lepsie.

vsetky nie, ja mam 13eho v A529
ked som sa prihlasoval, vsetko som si v ttej chvili hadzal do kalendaru mobilu, verim maisu:-P

ja mam tiez 13teho a som cely cas bol v tom, ze to bude v PC6
Kazdopadne dovtedy snad Mais pojde...

Ale teraz realne, viete niekto na isto kedy a kde to ma byt?

nie som si uplne isty, ale vidi sa mi, ze vsetky terminy boli vypisane na PC6, tam kde sme mali aj cvicenia.

To mozu byt na skuske priklady aj z toho co nebolo na cviceniach? Napriklad minuly rok bol na skuske nejaky prevod do gramatiky janovej ci akej  . To aj teraz mozem nieco take cakat? Alebo nejake "PKP"...

PKP je Postov korespondencny problem a na cviceniach u Lalovej sme na to mali 1 priklad (nemam ho poznaceny).

praveze mne pistone ide a hypnos nie..

idu obidva, len Hypnos sa teraz vola kane.sk

lidicky ved prvy termin je obsadeny komplet, tak sa podelte so vsetkymi co a z coho sa ucite ... si pomozme trochu ... ja sa ucim tie prve veci okruhy 1 a 2 z toho co tu dala eminkaa + z prednasok 3,4,5 je v SkriptaFromHudak_Turingove_stroje_slidesMain.pdf 6,7,8 eminkaa + prednasky + 7,8,9 je v SH_algAloritmov_final.pdf a o 10, 11 nikde ani chyru ani slychu ... co vy nato ? (teda este toho vela neviem, ale taka je vizia ) ale najlepsi material pre mna asi eminkine TI.pdf, aj ked to pre prof. Hudaka bude asi velmi strucna verzia ...

najlepsie materialy pre okruhy 2,3,4,5 (a asi aj 6) su jednoznacne Hopcroft.Ullmann - Formalne jazyky a automaty. Su tam tie iste veci ako v TI.pdf od Eminky, ale je to aj podrobne vysvetlene. Zvysne okruhy asi len z Hudakovych skript + TI.pdf.

Nema niekto nejake materialy, z coho by sa to dalo ucit? Okrem prednasok (prednasky mam napisane vsetky, ale ked su aj ine materialy, tak sa zidu).
Precital som si skusenosti zo skusky z predminuleho roku a az ma zmrazilo... http://www.tu-ke.com/forum/4-rocnik-32/skuska-mas-)/
Spomina sa tam nejaky tahak na FTP, nema to niekto?

Ten tahak je na FTP - Pistone.

pockat, ... tak rozmyslam .. ohladom toho chlapca co pozdravuje sujansky, mal si na mysli cvicenia v piatok??, alebo v stredu?

bolo to cvicenie v stredu o 9:10.

asi mam sprostu otazku, ale vam idu nainstalovat tie cpn toolsy? lebo odo mna to na stranke pyta daku licenciu ci keru mater a som z toho mierne na vetvy  alebo to mam stiahnut z inej stranky?

neviem, odkial si to stahoval, ale malo by ti to ist po stiahnuti z Koreckovej stranky http://hornad.fei.tuke.sk/~korecko/mas/
Po mne to ziadnu licenciu nepytalo.

ak nie si veduci skupiny, tak ta to ani trapit nemusi..
preberali sme cosi dalej a v druhej polke cvika/prednasky sme si ukazali co-to v solid edge

btw, jeden chalan tam mal dve neucasti a chcel od neho nejaky referat, alebo matlab, neviem.. tak bacha na to..

ak je to typek v stredu rano o pol 8 tak on mal viac ako 3 abstinencie, tak preto mu dal referat

nie, to bol clovek z nasledujuceho cvicenia, ale hned po cviceni rychlo zdrhol prec kym sa Sujo stihol spamatat, takze zadanie nedostal. Ale Sujo odkazal, ze ho mame pozdravovat, takze mozno s nim ma este nejake plany.

a este spred 2 rokov otazky:

1.Obvody pre generovanie predikatov(vseobecne a jeden popisat-definicia, funkcia,
mikroinstrukcia, schema alebo znacka)
2.Synteza OC.
Priklad Mealy

to "|" je len oddelovac, jazyk ma byt "x c", za oddelovacom su podmienky. x ma patrit {0,1}* a zaroven N0(x) = N1(x)

co mam info od spoluziaka :
boli 2 skupiny, obidve mali 2 rovnake typy prikladov -
1.priklad - boli zadane pravidla gramatiky a bolo treba z nich spravit KSA, potom determinizovat a redukovat.
2.priklad - zasobnikovy automat pre jazyk zatvorkovych vyrazov (hranate zatvorky, medzi zatv. vyrazy patria aj alfa, beta, alfa krat beta - take daco)
a 3.priklad bol iny v kazdej skupine - jedna mala Turingov stroj, co som rozumel tak pre L = { x c | x patri {0,1}* , N(0) = N(1) }, druha skupina mala nejake sekvencne zobrazenie

vsetko za 4b, a este ze ti, co pojdu dnes, dostanu rovnake priklady (neviem ci len u Kozurka alebo aj u Lalovej), a ze zajtra maju byt priklady pozmenene.

u nas Lalova vravela, ze vsetky priklady vymysli Hudak, budu rovnake typy prikladov v kazdej z piatich skupin, spolu 10 variantov. 1 priklad by mal byt z tych lahsich. Nebudu vraj rovnake priklady ako su v zbierke, takze sa nemame ucit naspamat, lebo ak opravujuci uvidi rieseny iny priklad tak sa bude davat za pisomku 0b.

...ta druha otazka je spravne? iload dava na vrchol zasobnika obsah LP ak sa nemylim...

jasne, omylom som dal odpoved z otazky c.9. Spravna odpoved v dvojke je a) sipush 1, mozno aj c) ale to neviem.
Uz je to opravene aj na ftp. Ked sa najde este nieco tak piste.