Teoretická informatika

[radix]

  ty sa uz ucis

[Sxx]

Mozte niekto vysvetlit ako sa tvoria triedy pri zjednodusovani?

Q/S|  0   |  1
--------------
A   | B/1 | C/1
B   | B/0 | E/0
C   | D/1 | A/1
D   | D/0 | A/1
E   | E/1 | C/0
F   | A/0 | E/0

p1 robime podla vystupov ak su rovnake,cize {A,C}, {B,F},{D},{E} a p2 a dalsie?

[DeViLvs]

Mozte niekto vysvetlit ako sa tvoria triedy pri zjednodusovani?

Q/S|  0   |  1
--------------
A   | B/1 | C/1
B   | B/0 | E/0
C   | D/1 | A/1
D   | D/0 | A/1
E   | E/1 | C/0
F   | A/0 | E/0

p1 robime podla vystupov ak su rovnake,cize {A,C}, {B,F},{D},{E} a p2 a dalsie?

pozri si tie videa co tu su. tam je to krasne vysvetlene

[kamelot]

Mozte niekto vysvetlit ako sa tvoria triedy pri zjednodusovani?

Q/S|  0   |  1
--------------
A   | B/1 | C/1
B   | B/0 | E/0
C   | D/1 | A/1
D   | D/0 | A/1
E   | E/1 | C/0
F   | A/0 | E/0

p1 robime podla vystupov ak su rovnake,cize {A,C}, {B,F},{D},{E} a p2 a dalsie?

dalej porovnavas ze ci pri rovnakom vsupe prejdu do stavu v rovnakej skupine: tj. napr. pre A,C s nulou:
ide A do B a C do D, ktore su v rozdielnych skupinach => tj. rozpadne sa {A,C} na {A},{C} ...
ak by pre vstup 0 a sucasne aj 1 presli do stavov v jednej triede ekvivalencie, tak by ostali aj v danom kroku spolu

[Sxx]

DeViLvs: Nevsimol som si ze tam je tych videi viac

kamelot: dik

[slax]

pekne videa

ale budes davat aj videa o zasobnikovych automatoch a hlavne tu prvu otazku by som potreboval vysvetlit. To by bolo super fakt

[mctom]

no sak to je jasne, v prvom je vaha bazy rovna 2, preto tam musis mat 2 triedy. trieda [lambda] obsahuje parne, teda tie, kt. po deleni 2kou maju zvysok 0.
trieda [1] obsahuje cisla, ktore po deleni 2 maju zvysok rovny 1.

v tom dalsom priklade mas deleno 3, cize zvysok po deleni 3ky moze byt 0,1,2. preto mas 3.

pochopeno?

presne tak som to chápal aj ja, no čo nechápem potom je, že prečo v tom prvom príklade je v triede [1] fi11 a fi1001... toto mi nie je jasné...

[jim-beam33]

no sak to je jasne, v prvom je vaha bazy rovna 2, preto tam musis mat 2 triedy. trieda [lambda] obsahuje parne, teda tie, kt. po deleni 2kou maju zvysok 0.
trieda [1] obsahuje cisla, ktore po deleni 2 maju zvysok rovny 1.

v tom dalsom priklade mas deleno 3, cize zvysok po deleni 3ky moze byt 0,1,2. preto mas 3.

pochopeno?

presne tak som to chápal aj ja, no čo nechápem potom je, že prečo v tom prvom príklade je v triede [1] fi11 a fi1001... toto mi nie je jasné...

no aj ja mam otazku k tomuto: pri fi je premenna Xi alebo Yi ?

[domino3d]

no sak to je jasne, v prvom je vaha bazy rovna 2, preto tam musis mat 2 triedy. trieda [lambda] obsahuje parne, teda tie, kt. po deleni 2kou maju zvysok 0.
trieda [1] obsahuje cisla, ktore po deleni 2 maju zvysok rovny 1.

v tom dalsom priklade mas deleno 3, cize zvysok po deleni 3ky moze byt 0,1,2. preto mas 3.

pochopeno?

z kade vies jaka je vaha bazy este pred tym ako vies kolko je tried? 

[mctom]

no sak to je jasne, v prvom je vaha bazy rovna 2, preto tam musis mat 2 triedy. trieda [lambda] obsahuje parne, teda tie, kt. po deleni 2kou maju zvysok 0.
trieda [1] obsahuje cisla, ktore po deleni 2 maju zvysok rovny 1.

v tom dalsom priklade mas deleno 3, cize zvysok po deleni 3ky moze byt 0,1,2. preto mas 3.

pochopeno?

z kade vies jaka je vaha bazy este pred tym ako vies kolko je tried? 

zrejme už pozrel rovno na výsledok, keďže ho tam mám už aj napísaný

[scream]

budu este videjka? ci KSA to konci?

[Sxx]

ten prvy (10b) by sa fakt hodilo videjko :/ to je bordel

[scream]

jj tak... zasobnikove kludne nakoniec:)

[MackoZlesa]

jj tak... zasobnikove kludne nakoniec:)

nejako tam nvm najst video 7a 

[scream]

nejak tam nieje upnute... dufam ze marian nesiel spat

[DeViLvs]

tu su eminkine priklady, kedze v minulorocnom fore sa mi to nechcelo hladat:
http://leteckaposta.cz/848756924

BTW: Vie mi niekto po ludsky vysvetlit priklad 4.6 z Plocicovej zbierky?

PS: Greibachovej tvary a tie dalsie mutanty nebudu?

[DeViLvs]

vie mi niekto vysvetliť, prečo do jednotlivých tried [lambda], [1] a [11]  patria tie "fíčka", ktoré tam sú? lebop nejak sa nechytám

Odkial mas tieto priklady? Podla mna su zle.
V 1. priklade mas: trieda [lambda] je dobre
ale trieda [1] by mala byt napr: {fi 1, fi 01, fi 101, fi 110, fi 00111.....}
pozeras len na pocet jednotiek, nuly su v tomto pripade nepodstatne. Cize pocet jednotiek aby bol neparny pre [1]

Pozri do eminkinych prikladov, ona to ma dobre. Ak ste to pocitali s Lalovou, tak by som nebol prekvapeny, ze tam mate chybu

V 2.priklade>

Hned v tabulke je podla mna chyba, hned v 1.stlpci. Lebo pokial ti prisla len jedna 0, tak to znamena, ze mas parny pocet jednotiek, lebo este nemas ziadnu jednotku. Cize y(1) by podla mna malo byt 1 a nie 0, ako je v tabulke. Dalsie cisla v tabulke su podla mna dobre.
Lenze vedla tabulky mas:
fi00000(010)=011   a podla mna by tam malo byt fi 00000(010)=100
fi 0000 (101)=011   a podla mna by tam malo byt fi 0000 (101)=000

Pozri si to v eminkinych prikladoch. Tam su oba vyriesene spravne.

Neviem, je mozne, ze sa mylim, ak hej, tak ma opravte ale nepredpokladam

[LNC]

no sak to je jasne, v prvom je vaha bazy rovna 2, preto tam musis mat 2 triedy. trieda [lambda] obsahuje parne, teda tie, kt. po deleni 2kou maju zvysok 0.
trieda [1] obsahuje cisla, ktore po deleni 2 maju zvysok rovny 1.

v tom dalsom priklade mas deleno 3, cize zvysok po deleni 3ky moze byt 0,1,2. preto mas 3.

pochopeno?

presne tak som to chápal aj ja, no čo nechápem potom je, že prečo v tom prvom príklade je v triede [1] fi11 a fi1001... toto mi nie je jasné...

tak to je chybne. je predsa jasne, ze  fi11 a fi1001 ma parny pocet jednotiek, takze nemoze byt delitelne.. do [1] by mohli patrit fi1011, fi1, fi 1110011 atd..

[marian]

ten prvy (10b) by sa fakt hodilo videjko :/ to je bordel

Radšej neskoro ako nikdy.
youtube.com/watch?v=mOaGc51RCMM

[DeViLvs]

Pocujte, v tom 11. priklade v eminkinych: Nestacili by nam len 3 triedy? [lambda], [01] a [01 10]. Ta posledna trieda co tam ona ma by sa dala zlucit s triedou [lambda] nie?

[scream]

sice sa neska nevyspim ale pozriem si rozhodne videjko na zobrazenia... dikes

[marian]

Pocujte, v tom 11. priklade v eminkinych: Nestacili by nam len 3 triedy? [lambda], [01] a [01 10]. Ta posledna trieda co tam ona ma by sa dala zlucit s triedou [lambda] nie?

Určite nie, Ty potrebuješ KA, ktorý povie, že ti ako posledné vstupy prišli 01,10,11 a ešte musíš ošetriť nejakým stavom, že ti neprišiel taký vstup aký si očakával.

[DeViLvs]

Pocujte, v tom 11. priklade v eminkinych: Nestacili by nam len 3 triedy? [lambda], [01] a [01 10]. Ta posledna trieda co tam ona ma by sa dala zlucit s triedou [lambda] nie?

Určite nie, Ty potrebuješ KA, ktorý povie, že ti ako posledné vstupy prišli 01,10,11 a ešte musíš ošetriť nejakým stavom, že ti neprišiel taký vstup aký si očakával.

Ano, ale to by som mal poriesene, ze by boli rozne vystupy. Podobne je rieseny hned prvy priklad v eminkinych, ze ten posledny stav je vlastne akoby zluceny s povodnym. Osetrene to je rozdielnym vystupom, kedze mame Mealy automat. Rano ho skusim zredukovat

[marian]

Pocujte, v tom 11. priklade v eminkinych: Nestacili by nam len 3 triedy? [lambda], [01] a [01 10]. Ta posledna trieda co tam ona ma by sa dala zlucit s triedou [lambda] nie?

Určite nie, Ty potrebuješ KA, ktorý povie, že ti ako posledné vstupy prišli 01,10,11 a ešte musíš ošetriť nejakým stavom, že ti neprišiel taký vstup aký si očakával.

Ano, ale to by som mal poriesene, ze by boli rozne vystupy. Podobne je rieseny hned prvy priklad v eminkinych, ze ten posledny stav je vlastne akoby zluceny s povodnym. Osetrene to je rozdielnym vystupom, kedze mame Mealy automat. Rano ho skusim zredukovat

Lenže ten prvý príklad sme si povedali, že keď aj keď je nula jednotiek, tak ich je párny počet. Ale tu nemôžeš povedať, že keď ti ešte nič neprišlo, tak už si rozoznal reťazec 011011. Zbytočne by si skúšal zredukovať a ešte pozerám, že si tie stavy urobil duplicitne [lambda], [01] a [01 10], predpokladám, že 11 si dal do lamda, ale potom ti chýba ešte 00.
Ale i tak sa to nedá.

[dodo]

tie videa su fakt super    , diky za tu namahu.