• Welcome to TUKE FÓRUM - Fórum pre študentov Technickej Univerzity v Košiciach.
 

teoreticka informatika

Started by libra2, 06.10.2008, 18:28:15

« predchdzajce - alie »

LM

pocujte nechce sa mi to citat cele,
co mi odporucate ako litaraturu,

hopcrofta a ulmana ?
Hardware: the parts of a computer that can be kicked.
- Jeff Pesis

   Who's General Failure and why's he reading my disk?
- Anonymous

   Internet is so big, so powerful and pointless that for some people it is a complete substitute for life.
- Andrew Brown

kane77

Quote from: LM on  14.01.2009, 06:34:21
pocujte nechce sa mi to citat cele,
co mi odporucate ako litaraturu,

hopcrofta a ulmana ?
na prvu cast asi hopcroft, ullman, na druhu ta hudakova kniha.. a riadit sa tymi okruhmi otazok co tam su vo vacsine pripadov to sedi s kapitolami v tej prvej knihe..
A: Because it messes up the order in which people normally read text.
Q: Why is top-posting such a bad thing?
A: Top-posting.
Q: What is the most annoying thing in e-mail?

LM

kde najdem hopcorfta s ulmanom ?
Hardware: the parts of a computer that can be kicked.
- Jeff Pesis

   Who's General Failure and why's he reading my disk?
- Anonymous

   Internet is so big, so powerful and pointless that for some people it is a complete substitute for life.
- Andrew Brown

LM

dik eminka,
este sa chcem spytat, okruhy otazok ?
Hardware: the parts of a computer that can be kicked.
- Jeff Pesis

   Who's General Failure and why's he reading my disk?
- Anonymous

   Internet is so big, so powerful and pointless that for some people it is a complete substitute for life.
- Andrew Brown

Ing. nemtom

ani somarinu nemusis mat a letis, knahmean?
brix will be shat

Mar0sh

staci mat stastie a neletis aj ked dodrbes pisomku (vid moj pripad)

Ing. nemtom

staci mat smolu a poletis aj ked si mal TOP pisomku (vid moj pripad)
brix will be shat

jaros51

#232
Ak je tu niekto kto mi poradi, ze kde najdem odpoved na otazky v 1. teme :
- Nerodove ekvivalencie: vzťah medzi regulárnymi a konečno-stavovými jazykmi.
- Metodológia na určovanie regulárnej povahy formálnych jazykov. (je to nieco s PumpLemma a Nerodovou vetou? bn)
- Aplikácia na konkrétnych príkladoch.

- bol by som velmi zaviazany Diki.

Ing.Veduci

Quote from: psicho on  15.01.2009, 19:20:52
akym stylom sa treba ucit TI aby to malo stastny konec ???? kto mato nauci ?
biflovackaaaaaaaaa :D
Co bolo, to bolo. Terazky som Ing.Veduci
Predpokladám, že väčšina z vás má doma počítač. Buď to, alebo ste si túto stránku vycucali z vredu na nohe.

psicho

Quote from: Bc.Veduci on  16.01.2009, 09:08:42
Quote from: psicho on  15.01.2009, 19:20:52
akym stylom sa treba ucit TI aby to malo stastny konec ???? kto mato nauci ?
biflovackaaaaaaaaa :D

pri ZI sato este daa, ale tuje tooo much shit a my brain is too fucked up on alkohol and shit
read my blog> www.codemazing.com <read my blog

LM

Quote from: jaros51 on  16.01.2009, 05:22:26
Ak je tu niekto kto mi poradi, ze kde najdem odpoved na otazky v 1. teme :
- Nerodove ekvivalencie: vzťah medzi regulárnymi a konečno-stavovými jazykmi.
- Metodológia na určovanie regulárnej povahy formálnych jazykov. (je to nieco s PumpLemma a Nerodovou vetou? bn)
- Aplikácia na konkrétnych príkladoch.

- bol by som velmi zaviazany Diki.

metodo logia je toto:
frazovy jezyk je kazdi jazyk ktory je vypocitatelny na nejako turingovom stroji
konteztovy jazyk je jazyk ktoreho pravidla (alfa -> beta je take, ze dlzka alfy je menzia ako dlzka bety kde alfa, beta patria do Vn zjednotenie Vt)
bezkontextovy jazyk je taky ktory obsahuje kontextove pravidla
a regularny jazyk ma take a take pravidla...

si to pozri u Hoprocta Ulmana, 2. alebo 3. kapitola, myslim.
(nieco o vztahu regularnych jazykov a konecnych automatoch, tusim )
Hardware: the parts of a computer that can be kicked.
- Jeff Pesis

   Who's General Failure and why's he reading my disk?
- Anonymous

   Internet is so big, so powerful and pointless that for some people it is a complete substitute for life.
- Andrew Brown

manro

The Pumping Lema

Let L be any regular language that has infinitely many words. Then there exist three strings x, y, and z such that y is non-null and all strings of the form
  xynz  for n=1,2,3,...

are words in L.

libra

To sme vsetky casti z tych okruhov prebrali? Nie je tam nieco, co chcel pan Hudak vyskrtnut? NIeco spominal na poslednej/preposlednej prednaske...

jaros51

Quote from: LM on  17.01.2009, 20:20:19
Quote from: jaros51 on  16.01.2009, 05:22:26
Ak je tu niekto kto mi poradi, ze kde najdem odpoved na otazky v 1. teme :
- Nerodove ekvivalencie: vzťah medzi regulárnymi a konečno-stavovými jazykmi.
- Metodológia na určovanie regulárnej povahy formálnych jazykov. (je to nieco s PumpLemma a Nerodovou vetou? bn)
- Aplikácia na konkrétnych príkladoch.

- bol by som velmi zaviazany Diki.

metodo logia je toto:
frazovy jezyk je kazdi jazyk ktory je vypocitatelny na nejako turingovom stroji
konteztovy jazyk je jazyk ktoreho pravidla (alfa -> beta je take, ze dlzka alfy je menzia ako dlzka bety kde alfa, beta patria do Vn zjednotenie Vt)
bezkontextovy jazyk je taky ktory obsahuje kontextove pravidla
a regularny jazyk ma take a take pravidla...

si to pozri u Hoprocta Ulmana, 2. alebo 3. kapitola, myslim.
(nieco o vztahu regularnych jazykov a konecnych automatoch, tusim )

Diki uz som co-to nasiel inde, - snad to bude nieco s tou Nerodovou vetou + lemma pre reg. jazyky (snad).

No co uz je v tom bordel riadny :(.

MKI

takze niekto nic nema ziadne vypracovane otazky ? nikto nic neverim ....

co ste boli an sksuke musite neico mat tak sa podelte :)
www.mki.sk Kvalitne a lacne TONERY :)

LM

Quote from: MKI on  18.01.2009, 20:43:40
takze niekto nic nema ziadne vypracovane otazky ? nikto nic neverim ....

co ste boli an sksuke musite neico mat tak sa podelte :)

myslim ze kazdi je tom tak ako ty.
spolieha sa na to ze otazky spracuje niekto iny.
:)

neostava ti nic ine ako zacat citat skripta : )
Hardware: the parts of a computer that can be kicked.
- Jeff Pesis

   Who's General Failure and why's he reading my disk?
- Anonymous

   Internet is so big, so powerful and pointless that for some people it is a complete substitute for life.
- Andrew Brown

MKI

ajtak neverim ze nikto nic nema :)
www.mki.sk Kvalitne a lacne TONERY :)

Ing. nemtom

jasne ze ma, ale nepodeli sa so svojou robotou co krvopotne pisal, potil, nespal
brix will be shat

joker

...ja som tusim zcasti vypracoval prve dva okruhy....
.. a skenovat nemienim kedze zajtra skuska.... a potrebujem to este na skusku,kedze som ju este nemal... cize sorry

bliky

thak to rozdistribuuj aspon do 3.2. (please)

LM

#245
Ako veta na zabitie:
Zoskupenie vsetkych subalgebier albery metaalgebry ma mohutnost kontinua.

Co tym chcel basnik povedat ????

a dalsi trhak:
Medzi take systemi sa radia nam uz zname 4 alegebry algoritmov:
1. Dikstrova metaalgebra
2. Kaluzninova metaalgebra
3. Gluskovova metaalgebra...

kurde... hlaven a pazba... :)
Hardware: the parts of a computer that can be kicked.
- Jeff Pesis

   Who's General Failure and why's he reading my disk?
- Anonymous

   Internet is so big, so powerful and pointless that for some people it is a complete substitute for life.
- Andrew Brown

psicho

read my blog> www.codemazing.com <read my blog

MKI

hmm no neviem ja som robil tolko tahakov a stale som sa podelil tak nevime v com je problem
www.mki.sk Kvalitne a lacne TONERY :)

joker

Quote from: MKI on  19.01.2009, 04:18:21
hmm no neviem ja som robil tolko tahakov a stale som sa podelil tak nevime v com je problem

ked budem mat tahak, tak poskytnem, neboj

LM

mne staci ked mi poradis aspon s niecim.
ale tak ja opisovat nemienim,

dufam, ze nebudu obe teoreticke otazky dokazy a ak aj budu, tak ze jeden bude taky co sa da napisat, t.j. postov korespondencny problem, halting problem alebo neico take.
a dufam ze to nebude veta typu:
ze subalbegry To T1 S M L su uzavrete.
to sa mi nechce dokazovat :)
Hardware: the parts of a computer that can be kicked.
- Jeff Pesis

   Who's General Failure and why's he reading my disk?
- Anonymous

   Internet is so big, so powerful and pointless that for some people it is a complete substitute for life.
- Andrew Brown