Loading pages/bell/ib005.pst +47 −12 Original line number Diff line number Diff line --- preset: bell --- --- preset: bell --- ### Základné pojmy znak, abeceda, $\Sigma$, $\Sigma^*$, $\Sigma^+$, zreťazenie, prefix, sufix, iterácia, pozitívna iterácia, doplnok, zrkadlový obraz, substitúcia, nevypúšťajúca substitúcia, homomorfizmus, inverzný homomorfizmus znak, abeceda, $\Sigma$, $\Sigma^*$, $\Sigma^+$, zreťazenie, prefix, sufix, iterácia, pozitívna iterácia, doplnok, zrkadlový obraz, substitúcia, nevypúšťajúca substitúcia, homomorfizmus, inverzný homomorfizmus ### Konečná reprezentácia gramatika, terminály, neterminály, pravidlá, odvodenie, vetná forma, veta, reťaz gramatika, terminály, neterminály, pravidlá, odvodenie, vetná forma, veta, reťaz ### Chomského hierarchia frázová gramatika, kontextová gr., monotónna gr., bezkontextová gr., regulárna gr., pravolineárna gr., frázová gramatika, kontextová gr., monotónna gr., bezkontextová gr., regulárna gr., pravolineárna gr., ### Regulárne jazyky Loading @@ -23,25 +25,58 @@ výpočetným stromom, synchrónna paralelná kompozícia, lemma o vkládaní, h dvoch hráčov, Myhillova-Nerodova veta, dosažitelný stav, pravá kongruencia, zprava invariantná ekvivalencia, prefixová ekvivalencia, minimálny automat, determinizmus prechodovej funkcie, jazyková ekvivalencia stavov, redukt automat, minimalizácia automatu, nedeterministický konečný automat, FA $\har$ reg. gramatika automat, minimalizácia automatu, nedeterministický konečný automat, FA $\har$ reg. gramatika ### Rozšírenia konečných automatov nedeterminstický konečný automat, determinizácia, exponenciálne zložitý príklad determinizácie, epsilon kroky, odstraňovanie epsilon krokov nedeterminstický konečný automat, determinizácia, exponenciálne zložitý príklad determinizácie, epsilon kroky, odstraňovanie epsilon krokov ### Regulárne výrazy definícia regulárnych jazykov induktivne, regulárny výraz (syntax a sémantika), regex $\har$ FA, Kleeneho veta, regulárny prechodový graf, RPG $\to$ eNFA, RPG $\to$ RPG s dvoma stavmi definícia regulárnych jazykov induktivne, regulárny výraz (syntax a sémantika), regex $\har$ FA, Kleeneho veta, regulárny prechodový graf, RPG $\to$ eNFA, RPG $\to$ RPG s dvoma stavmi ### Uzáverove vlastnosti zjednoteni, prienik, komplement, zreťazenie, iterácia, regulárna substitúcia, homomorfizmus, inverzný homomorfizmus zjednoteni, prienik, komplement, zreťazenie, iterácia, regulárna substitúcia, homomorfizmus, inverzný homomorfizmus ### Bezkontextové gramatiky bezkontextová gramatika, derivačný strom, ľavá a pravá derivácia, jednoznačnosť/nejednoznačnosť, vnútorná nejednoznačnosť, nepoužiteľný symbol, redukovaná gramatika, nedosažiteľný neterminál, nenormovaný (redundantný) neterminál, jednoduché pravidlo, necyklická gramatika, vlastná gramatika, Chomského normálna forma, lemma o substitúcii, pumping lemma pre CFL, Greibachovej normálna forma, rekurzivný neterminál, ľavorekurzívny neterminál, pravorekurzívny neterminál, neľavorekurzívna gramatika, eliminácia bezprostrednej ľavej rekurzie, eliminácia ľavej rekurzie, vlastná neľavorekurzívna CFG $\to$ GNF, k-GNF, zdvojená GNF, operátorová normálna forma bezkontextová gramatika, derivačný strom, ľavá a pravá derivácia, jednoznačnosť/nejednoznačnosť, vnútorná nejednoznačnosť, nepoužiteľný symbol, redukovaná gramatika, nedosažiteľný neterminál, nenormovaný (redundantný) neterminál, jednoduché pravidlo, necyklická gramatika, vlastná gramatika, Chomského normálna forma, lemma o substitúcii, pumping lemma pre CFL, Greibachovej normálna forma, rekurzivný neterminál, ľavorekurzívny neterminál, pravorekurzívny neterminál, neľavorekurzívna gramatika, eliminácia bezprostrednej ľavej rekurzie, eliminácia ľavej rekurzie, vlastná neľavorekurzívna CFG $\to$ GNF, k-GNF, zdvojená GNF, operátorová normálna forma ### Zásobníkové automaty nedeterministický zásobníkový automat (push-down automaton - PDA), konfigurácia, vnútorná konfigurácia, zásobníková abeceda, akceptovanie prázdnym zásobníkom, akceptovanie koncovímy stavmi nedeterministický zásobníkový automat (push-down automaton - PDA), konfigurácia, vnútorná konfigurácia, zásobníková abeceda, akceptovanie prázdnym zásobníkom, akceptovanie koncovímy stavmi, rozšírený zásobníkový automat, syntaktická analýza zhora-dolu, syntaktická analýza zdola-hore, prevedenie PDA na jednostavové PDA, prevedenie PDA na CFG ### Vlastnosti bezkontextových jazykov uzavretie na (zjednotenie, zreťazenie, iteráciu, pozitívnu iteráciu, prienik s $\mathcal{L_3}$, substitúciu, homomorfizmus, inverzný homomorfizmus), neuzavretie na (prienik a doplnok), rozhodnuteľnosť (overenie práznosti $L = \emptyset$, $w \in L$, konečnosť, sebavloženie, $L = \Sigma^*$), vlastnosť sebevloženia, ### Deterministické zásobníkové automaty determinisický zásobníkový automat, deterministický bezkontextový jazyk (DCFL), bezprefixové jazyky, rozšírenie jazyka na bezprefixovosť, rozšírený deterministický zásobníkový automat, normálna forma PDA, Loading
pages/bell/ib005.pst +47 −12 Original line number Diff line number Diff line --- preset: bell --- --- preset: bell --- ### Základné pojmy znak, abeceda, $\Sigma$, $\Sigma^*$, $\Sigma^+$, zreťazenie, prefix, sufix, iterácia, pozitívna iterácia, doplnok, zrkadlový obraz, substitúcia, nevypúšťajúca substitúcia, homomorfizmus, inverzný homomorfizmus znak, abeceda, $\Sigma$, $\Sigma^*$, $\Sigma^+$, zreťazenie, prefix, sufix, iterácia, pozitívna iterácia, doplnok, zrkadlový obraz, substitúcia, nevypúšťajúca substitúcia, homomorfizmus, inverzný homomorfizmus ### Konečná reprezentácia gramatika, terminály, neterminály, pravidlá, odvodenie, vetná forma, veta, reťaz gramatika, terminály, neterminály, pravidlá, odvodenie, vetná forma, veta, reťaz ### Chomského hierarchia frázová gramatika, kontextová gr., monotónna gr., bezkontextová gr., regulárna gr., pravolineárna gr., frázová gramatika, kontextová gr., monotónna gr., bezkontextová gr., regulárna gr., pravolineárna gr., ### Regulárne jazyky Loading @@ -23,25 +25,58 @@ výpočetným stromom, synchrónna paralelná kompozícia, lemma o vkládaní, h dvoch hráčov, Myhillova-Nerodova veta, dosažitelný stav, pravá kongruencia, zprava invariantná ekvivalencia, prefixová ekvivalencia, minimálny automat, determinizmus prechodovej funkcie, jazyková ekvivalencia stavov, redukt automat, minimalizácia automatu, nedeterministický konečný automat, FA $\har$ reg. gramatika automat, minimalizácia automatu, nedeterministický konečný automat, FA $\har$ reg. gramatika ### Rozšírenia konečných automatov nedeterminstický konečný automat, determinizácia, exponenciálne zložitý príklad determinizácie, epsilon kroky, odstraňovanie epsilon krokov nedeterminstický konečný automat, determinizácia, exponenciálne zložitý príklad determinizácie, epsilon kroky, odstraňovanie epsilon krokov ### Regulárne výrazy definícia regulárnych jazykov induktivne, regulárny výraz (syntax a sémantika), regex $\har$ FA, Kleeneho veta, regulárny prechodový graf, RPG $\to$ eNFA, RPG $\to$ RPG s dvoma stavmi definícia regulárnych jazykov induktivne, regulárny výraz (syntax a sémantika), regex $\har$ FA, Kleeneho veta, regulárny prechodový graf, RPG $\to$ eNFA, RPG $\to$ RPG s dvoma stavmi ### Uzáverove vlastnosti zjednoteni, prienik, komplement, zreťazenie, iterácia, regulárna substitúcia, homomorfizmus, inverzný homomorfizmus zjednoteni, prienik, komplement, zreťazenie, iterácia, regulárna substitúcia, homomorfizmus, inverzný homomorfizmus ### Bezkontextové gramatiky bezkontextová gramatika, derivačný strom, ľavá a pravá derivácia, jednoznačnosť/nejednoznačnosť, vnútorná nejednoznačnosť, nepoužiteľný symbol, redukovaná gramatika, nedosažiteľný neterminál, nenormovaný (redundantný) neterminál, jednoduché pravidlo, necyklická gramatika, vlastná gramatika, Chomského normálna forma, lemma o substitúcii, pumping lemma pre CFL, Greibachovej normálna forma, rekurzivný neterminál, ľavorekurzívny neterminál, pravorekurzívny neterminál, neľavorekurzívna gramatika, eliminácia bezprostrednej ľavej rekurzie, eliminácia ľavej rekurzie, vlastná neľavorekurzívna CFG $\to$ GNF, k-GNF, zdvojená GNF, operátorová normálna forma bezkontextová gramatika, derivačný strom, ľavá a pravá derivácia, jednoznačnosť/nejednoznačnosť, vnútorná nejednoznačnosť, nepoužiteľný symbol, redukovaná gramatika, nedosažiteľný neterminál, nenormovaný (redundantný) neterminál, jednoduché pravidlo, necyklická gramatika, vlastná gramatika, Chomského normálna forma, lemma o substitúcii, pumping lemma pre CFL, Greibachovej normálna forma, rekurzivný neterminál, ľavorekurzívny neterminál, pravorekurzívny neterminál, neľavorekurzívna gramatika, eliminácia bezprostrednej ľavej rekurzie, eliminácia ľavej rekurzie, vlastná neľavorekurzívna CFG $\to$ GNF, k-GNF, zdvojená GNF, operátorová normálna forma ### Zásobníkové automaty nedeterministický zásobníkový automat (push-down automaton - PDA), konfigurácia, vnútorná konfigurácia, zásobníková abeceda, akceptovanie prázdnym zásobníkom, akceptovanie koncovímy stavmi nedeterministický zásobníkový automat (push-down automaton - PDA), konfigurácia, vnútorná konfigurácia, zásobníková abeceda, akceptovanie prázdnym zásobníkom, akceptovanie koncovímy stavmi, rozšírený zásobníkový automat, syntaktická analýza zhora-dolu, syntaktická analýza zdola-hore, prevedenie PDA na jednostavové PDA, prevedenie PDA na CFG ### Vlastnosti bezkontextových jazykov uzavretie na (zjednotenie, zreťazenie, iteráciu, pozitívnu iteráciu, prienik s $\mathcal{L_3}$, substitúciu, homomorfizmus, inverzný homomorfizmus), neuzavretie na (prienik a doplnok), rozhodnuteľnosť (overenie práznosti $L = \emptyset$, $w \in L$, konečnosť, sebavloženie, $L = \Sigma^*$), vlastnosť sebevloženia, ### Deterministické zásobníkové automaty determinisický zásobníkový automat, deterministický bezkontextový jazyk (DCFL), bezprefixové jazyky, rozšírenie jazyka na bezprefixovosť, rozšírený deterministický zásobníkový automat, normálna forma PDA,
