Teoretická informatika

[DeViLvs]

minuly rok sa to stalo...boli myslim 2

Minuly rok sa to nestalo, prave preto som opakoval tento predmet. Pochybujem, ze vypise dalsie terminy, ale tak ktovie, mozno...

[Achilus13]

viete teda niekto vysvetlit tie AJ / DJ prikaldy

popis predikátov a operátorov je v skriptách na str. 163
na str. 168 a 169 sú operátory Dijsktrovej algebry
na str. 174 a 175 Janovej algebry
a aby si pochopil, ako sa vytvára popis algoritmu, pozri do eminkinych vypočítanách príkladov, teda do TI-priklady.pdf na str. 9 (príklad 31), tam je priamo aj prevod z AD do AJ
mne toto stačilo na pochopenie..

A to v ktorých skriptách?? hľadám a neviem ako sa volajú

[Squirrel_sK]

V rámci Algebier sa začalo operovať s termínom TERM. Čítam si poučku aj sto krát ale myslím že tomu úplne nerozumiem. Vedel by mi niekto vysvetliť nejako polopatisticky, že čo ten TERM je

1. Termom moze byt prvok z mnoziny generatorov.
2. Tiez funkcia - term, ktorej argumenty su prvky z mn. generatorov
3. Funkcia, ktorej argumenty su funkcie - termy
4. Dva termy su ekvivalentne, ak generuju rovnaky prvok..

Priklady:
Nech A~=(A,W) , A=mn. prirodzenych cisel N, G={1} je system generatorov, f(x,y)= x + y patri do W
1. 1 je term
2. 1+1 je term
3. ((1+1)+1) je term
4. termy (((1+1)+1)+1) a ((1+1)+(1+1)) su ekvivalentne - totozne

[JankoHrasko]

viete teda niekto vysvetlit tie AJ / DJ prikaldy

popis predikátov a operátorov je v skriptách na str. 163
na str. 168 a 169 sú operátory Dijsktrovej algebry
na str. 174 a 175 Janovej algebry
a aby si pochopil, ako sa vytvára popis algoritmu, pozri do eminkinych vypočítanách príkladov, teda do TI-priklady.pdf na str. 9 (príklad 31), tam je priamo aj prevod z AD do AJ
mne toto stačilo na pochopenie..

A to v ktorých skriptách?? hľadám a neviem ako sa volajú

v tých, ktoré sú na moodli.. k tým má prístup každý z nás, a keďže sú priamo na tento predmet, tak ma ich nenapadlo presne menovať..

[bludar]

V rámci Algebier sa začalo operovať s termínom TERM. Čítam si poučku aj sto krát ale myslím že tomu úplne nerozumiem. Vedel by mi niekto vysvetliť nejako polopatisticky, že čo ten TERM je

1. Termom moze byt prvok z mnoziny generatorov.
2. Tiez funkcia - term, ktorej argumenty su prvky z mn. generatorov
3. Funkcia, ktorej argumenty su funkcie - termy
4. Dva termy su ekvivalentne, ak generuju rovnaky prvok..

Priklady:
Nech A~=(A,W) , A=mn. prirodzenych cisel N, G={1} je system generatorov, f(x,y)= x + y patri do W
1. 1 je term
2. 1+1 je term
3. ((1+1)+1) je term
4. termy (((1+1)+1)+1) a ((1+1)+(1+1)) su ekvivalentne - totozne

Vďaka, dobre vysvetlené.

[JankoHrasko]

ak mal tiež niekto problém pochopiť, kedy je funkcia totálna, podarilo sa mi nájsť dobré vysvetlenie:
   "Parciálne a totálne funkcie
    Funkcia je zobrazenie prvkov definičného oboru na prvky oboru hodnôt (relácia), pričom každému prvku definičného oboru zodpovedá najviac jeden prvok oboru hodnôt
    Definičný obor – doména (domain)
    Obor hodnôt – kodoména (range)
    Funkcia je parciálna, ak nie je definovaná pre všetky prvky domény
          Funkcia top napr. nie je definovaná pre prázdny zásobník
          top : Stack[E] -\-> E
    Funkcia je totálna, ak nie je parciálna
          Príklad: funkcia empty
          empty : Stack[E] --> Boolean"
zdroj: http://www2.fiit.stuba.sk/~vranic/mps/p/p08.pdf

[jardo]

pri tych uzaverovych operaciach nad triedami jazykov, treba vypisat tych devet operacii, alebo tam treba aj potom tie odvodenia pre zjednotenie zretazenie uzaver a reverziu?

[Squirrel_sK]

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

[thom]

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 ?

[kilomassa]

no to je potom dost co pisat k tej otazke

[hrochodyl]

pri tych uzaverovych operaciach nad triedami jazykov, treba vypisat tych devet operacii, alebo tam treba aj potom tie odvodenia pre zjednotenie zretazenie uzaver a reverziu?

Ja som minule napisal tych 9 operacii a mi povedal ze to nemam z jeho skript, ze to je pre neho nic. Takze to by som uz nepisal. Staci podla mna napisat "len" to zjednotenie, zretazenie, uzaver a reverziu.

[jardo]

Ja som minule napisal tych 9 operacii a mi povedal ze to nemam z jeho skript, ze to je pre neho nic. Takze to by som uz nepisal. Staci podla mna napisat "len" to zjednotenie, zretazenie, uzaver a reverziu.

cize t dal za ne 0 bodov?

[bludar]

uz je jeden odhlaseny mimochodom ako ste na tom vy? ja uz to nemozem ani vidiet, myslim ze to bude u mna FAIL...

[hrochodyl]

cize t dal za ne 0 bodov?

Veru, 0.

[jardo]

cize treba vediet len tie odvodenia tych operacii zjednotenit zretazenie uzaver a reverzia?

[hrochodyl]

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

[JankoHrasko]

čo by ste písali k otázke Algebra algoritmov?

[jardo]

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?

[thom]

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??

[bludar]

"Subalgebra  B~ algebry A~ je jej maximálnou subalgebrou , ak v dôsledku výberu ľubovoľného takého
prvku q ∈  A~, ale q /∈  B~ získame systém generátorov algebry  A~."

Takže najprv B~ ešte nieje systém generátorov, ale ak vyberiem nejaké ľubovoľné q z A~ a získam tým systém generátorov, to znamená že pomocou B~ už viem vzjadriť každý prvok z A~. A teda platí, že každý systém generátorov je aj maximálnou subalgebrou? Rozumiem tomu dobre?

[jardo]

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?

[thom]

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.

[jardo]

no lenze ked si cital to pred tym, tak tych devet operacii vraj ze hudak nechce ze da za ne 0 bodov

[Macro]

to mi chcete povedat ze sa mam naucit take nieco?  ZJEDNOTENIE: G 3 =(V N(3) ,V T(3) ,P 3 ,S 3 ); V N(3) = V N(1) ∪ V N(2) ∪S 3 ; V T(3) = V T(1) ∪ V T(2) ; P 3 =P 1 ∪P 2 ∪{S 3 ->S 1 ,S 3 ->S 2 }∪{S  ->prazdny |S 1 ->prazdny  alebo S 2 ->prazdny } -{S 1 ->prazdny , S 2 ->prazdny }; L(G 3 )= L(G 1 )∪L(G 2 ); ...atd..
ved tomu ani nerozumiem a v skriptach to nejak neviem najst (tie co su na na moodly)

[Squirrel_sK]

no lenze ked si cital to pred tym, tak tych devet operacii vraj ze hudak nechce ze da za ne 0 bodov

hovorim, ja som napisal tych 9, + tie 4 ... zretazenie, zjednotenie, reverzia, iteracia.. pomocou tych gramatik.. ani som nenapisal ktorych tried jazykov sa to tyka.. a 20b.. samozrejme.. napiste ktorych sa to tyka.. lebo asi mal len dobru naladu pri mne.. proste uznal mi to
to marco: neni to tazke.. precitaj si definiciu gramatiky.. co su neterminalne, terminalne symboly, pravidla, startovaci, prazdny symbol.. toto su este lahke veci, ale dalej (pokracovanie uzaverovych) to je uz horsie