rendered paste body - body
75 + 225 >= 170 (E)
- obsah
- 6 prikladu
--- 2007-01-09 ---
- 60b
rozhodnout bezkontextovost 3 jazyku
- 25b
popsat vsechny jazyky L s urcitou vlastnosti, zduvodnit
- 30b
automat A, napsat regex E popisujici jazyk L(A)
- 10+35b
- popsat problem syntakticke analyzy pro bezkontextove jazyky
- napsat deterministicky alg pro synt anl, slozitost
- 10+10+5b
- definovat vlastnost sebevlozeni u CFG
- definice prefixove ekvivalence (~_L)
- nazev tridy jazyku akceptovanych turingovymi stroji
- 15b
priklad CFG, ktera je necyklicka, neni vlastni a
neni jednoznacna. zduvodnit, proc neni vlastni a jednoznacna
--- 2007-01-19 ---
- 41b
navrhnout PDA pro jazyk
- 15+15b
pro CFG
- zkonstruovat rozsireny PDA pro synt anl zdola nahoru
- zapsat akceptujici vypocet nad slovem
- 12+12b
rozhodnout existenci jazyka, zduvodnit
- 40b
napsat alg pro odstraneni jednoduchych pravidel pro CFG
- 40b
dukaz nekonecnosti jazyka pro DFA
- 25b
definovat G a CFG
--- 2007-01-23 ---
- 40b
navrhnout CFG v greibachove normalni forme generujici jazyk L
- 30b
(???) LL analyzator
- 25b
zkonstruovat CFG pro urcite typy neterminalu
- 35b
platnost vyyrokuu o tridach jazyku
- 40b
napsat alg pro odstraneni eps pravidel z CFG
- 30b
definice turingova stroje
--- 2007-01-30 ---
- 45b
bezkontextovy, neregularni jazyk, CGF, dukaz
- 15+15b
PDA pro synt anl shora dolu
zapsat vypocet nad slovem
- 30b
PDA akceptujici koncovym stavem prevest na akceptujici prazdnym zasobnikem
- 25b
rozhodnout existenci CFG
- 10+35b
definovat synt analyzu pro bezkontextove jazyky
alg pro det synt anl
- 25b
zformulovat myhill-nerodovu vetu
--- 2008-01-11 ---
- 60b
rozhodnout bezkontextovost L, dukazy
- 25b
popsat vsechny jazyky s vlastnosti, zduvodnit
- 30b
pomoci synt anl zjistit prislusnost slova k jazyku
- 10+40b
definovat levorekurzivnost neterminalu
alg pro prevod vlastni CFG na nelevorekursivni CFG
- 15+15b
dokazat/vyvratit tvrzeni o CFG
- 25b
zformulovat myhill-nerodovu vetu
--- 2008-??-?? ---
- 45b
bezkontextovost jazykuu
- 30b
vyvraceni regularity pomoci myhill-nerodovy vety
- 22+18b
- zkonstruovat PDA pro ndet synt anl zdola nahoru
- zapsat akceptujici vypocet
- 40b
zapsat alg pro prevod NFA na totalni DFA bez nedosazitelnych stavu
- 15+15b
tvrzeni (uzaverove vlastnosti)
- 7+5+9+14b
PDA
- typ fce \delta
- definice konfigurace PDA
- definice relace krok vypoctu
- podminky determinicnosti PDA
--- 2008-??-?? ---
- 40b
navrhnout PDA
- 33b
vyvraceni regularity pomoci myhill-nerodovy vety
- 45b
prevod CFG do greibachove normalni formy
- 40b
alg pro odstraneni jednoduchych pravidel pro CFG
- 16+16b
tvrzeni (uzaverove vlastnosti)
- 20+10b
- definovat gramatiku
- definovat, kdy se jazyk nazyva rekursivne spocetny
--- 2009-01-07 ---
- 50b
bezkontextovost, dukaz
- 16+16b
zkonstruovat regex
- 20+15b
- PDA pro synt anl shora dolu
- zapsat akceptujici vypocet
- 40b
alg pro odstraneni jednoduchych pravidel pro CFG
- 15+15b
existence gramatik
- 8+8+12+5b
turinguv stroj
- definice \delta
- definice konfigurace
- definice pocatecni konfigurace pro vstup w, akceptujici konfigurace, zamitajici konfigurace
- nazev tridy jazyku akceptovanych turingovymi stroji
--- 2009-01-15 ---
- 40b
PDA pro jazyk
- 34b
vyvraceni regularity pomoci myhill-nerodovy vety
- 40b
prevod CFG do greibachove normalni formy
- 40b
alg pro det synt anl
- 16+16b
existence CFG, dukaz
- 20b
definice gramatiky
- 14b
7 operaci nad jazyky, na ktere je trida regularnich jazyku uzavrena
--- 2009-01-26 ---
- 50b
bezkontextovost, dukaz
- 30b
regex pro L(A)
- 22+18b
- rozsireny PDA pro nedet synt anl zdola nahoru
rozdil v notaci
- zapsat akceptujici vypocet
- 40b
alg pro NFA -> totalni DFA bez nedosazitelnych stavu
- 15+15b
existence CFG
- 10+10+10b
definice
- CFG sebevlozeni
- relace je pravou kongruenci
- kdy je CFL vnitrne viceznacny