keywords:"closure properties" - Výsledky hledání - Digitální repozitář

host :: přihlásit Digitální repozitář
		Hledej		Nový záznam		Nápověda		O repozitáři

Hlavní stránka > Výsledky hledání: keywords:"closure properties"

Hledej:

Tipy pro vyhledávaní :: Rozšířené hledání

Hledej ve sbírkách:

Seřadit podle:	Zobrazit výsledky:	Výstupní formát:

	Nové struktury a operace v matematické informatice Bureš, Richard ; Krčmář, Radim (oponent) ; Meduna, Alexandr (vedoucí práce) Cílem této práce je podívat se na některé známé a na některé v této práci vytvořené operace a na jejich vlastnosti nad především regulárními, ale i bezkontextovými jazyky. Dále si zde ukážeme, jak je možné takové operace provádět nad konečnými a zásobníkovými automaty a nakonec také jak je možné tyto automaty a operace nad nimi implementovat. Úplný záznam
	Regulované jazykové operace a jejich užití Chocholatý, David ; Kožár, Tomáš (oponent) ; Meduna, Alexandr (vedoucí práce) Tato práce představuje a studuje vymazávací systémy jako alternativní formální jazykový model k obecným skákajícím konečným automatům. Významným rozdílem oproti daným automatům je využití řídícího regulárního jazyka namísto stavového řízení v podobě obecného konečného automatu. Vymazávací systémy ponechávají práci s řetězci na vstupní pásce, přičemž samotné regulární jazyky mohou být přijímány klasickými konečnými automaty. Zároveň se zavedením nového formálního systému práce prokazuje jeho vztahy se známými jazykovými rodinami, rodinou jazyků zamíchání, Dyckovými jazyky a uzávěrové vlastnosti. Na základě formální specifikace vymazávacího systému je uvedeno více aplikací v oblasti bioinformatiky pro molekulární biologii, textových editorů a kompozičního šachu, včetně návrhu algoritmů a prezentování implementačního řešení. Úplný záznam
	Nové struktury a operace v matematické informatice Bureš, Richard ; Krčmář, Radim (oponent) ; Meduna, Alexandr (vedoucí práce) Cílem této práce je podívat se na některé známé a na některé v této práci vytvořené operace a na jejich vlastnosti nad především regulárními, ale i bezkontextovými jazyky. Dále si zde ukážeme, jak je možné takové operace provádět nad konečnými a zásobníkovými automaty a nakonec také jak je možné tyto automaty a operace nad nimi implementovat. Úplný záznam

Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.

Digitální repozitář :: :: :: ::
Powered by v1.1.2
Spravuje

Tato stránka je dostupná také v následujících jazycích:
Česky English