|
|
Systémy převodníků a jejich aplikace
Lupták, Filip ; Krčmář, Radim (oponent) ; Meduna, Alexandr (vedoucí práce)
Táto práca zavádza nový formálny model „systém prevodníkov." Systém prevodníkov sa skladá z niekoľkých konečných prevodníkov, ktoré spolupracujú. Práca skúma vyjadrovaciu silu tohto formálneho modelu a ukazuje, že je silnejší ako samotný konečný prevodník. Pomocou systému prevodníkov modeluje parser aritmetických výrazov, ktorý výrazy prekladá do postfixovej notácie.
|
|
|
Editor matematických rovnic pro Android
Janičko, Adam ; Herout, Adam (oponent) ; Zachariáš, Michal (vedoucí práce)
Tato bakalářská práce se zabývá návrhem a implementací editoru rovnic pro platformu Android. Součástí aplikace je grafické uživatelské rozhraní (GUI), možnost ukládat, editovat rovnice, výpočet rovnic a widget pro rychlejší vyhodnocování již uložených rovnic. V rovnicích je uživatel schopen používat kromě vybraných matematických funkcí a konstant i vlastní proměnné, jejichž hodnotu si je schopen nadefinovat při vyhodnocování rovnice. Rovnice ve standardní infixové notaci, nevhodné pro další zpracování je převedena na prefixovou notaci upraveným Shunting Yard algoritmem. Samotný výraz, který je vyhodnocen se sestaví jednou, což znamená rychlejší vyhodnocení v případě změny hodnot uživatelem definovaných proměnných.
|
|
|
Transducer Systems and Their Applications
Boros, Adrián ; Dvořák, Tomáš (oponent) ; Meduna, Alexandr (vedoucí práce)
This thesis introduces a new variant of translation devices. We propose a new formal model based on the interconnection of several cooperating pushdown transducers. This new model is called transducer system. The principle of operation of these systems is similar to the cooperating distributed (CD) grammar systems, enabling a cooperation of several grammar over a common sentential form. Furthermore, the thesis deals with the computational power of this formal model. The main result is an application that converts arithmetic expressions from infix to postfix notation.
|
|
|
Transducer Systems and Their Applications
Boros, Adrián ; Dvořák, Tomáš (oponent) ; Meduna, Alexandr (vedoucí práce)
This thesis introduces a new variant of translation devices. We propose a new formal model based on the interconnection of several cooperating pushdown transducers. This new model is called transducer system. The principle of operation of these systems is similar to the cooperating distributed (CD) grammar systems, enabling a cooperation of several grammar over a common sentential form. Furthermore, the thesis deals with the computational power of this formal model. The main result is an application that converts arithmetic expressions from infix to postfix notation.
|
|
|
Systémy převodníků a jejich aplikace
Lupták, Filip ; Krčmář, Radim (oponent) ; Meduna, Alexandr (vedoucí práce)
Táto práca zavádza nový formálny model „systém prevodníkov." Systém prevodníkov sa skladá z niekoľkých konečných prevodníkov, ktoré spolupracujú. Práca skúma vyjadrovaciu silu tohto formálneho modelu a ukazuje, že je silnejší ako samotný konečný prevodník. Pomocou systému prevodníkov modeluje parser aritmetických výrazov, ktorý výrazy prekladá do postfixovej notácie.
|
|
|
Editor matematických rovnic pro Android
Janičko, Adam ; Herout, Adam (oponent) ; Zachariáš, Michal (vedoucí práce)
Tato bakalářská práce se zabývá návrhem a implementací editoru rovnic pro platformu Android. Součástí aplikace je grafické uživatelské rozhraní (GUI), možnost ukládat, editovat rovnice, výpočet rovnic a widget pro rychlejší vyhodnocování již uložených rovnic. V rovnicích je uživatel schopen používat kromě vybraných matematických funkcí a konstant i vlastní proměnné, jejichž hodnotu si je schopen nadefinovat při vyhodnocování rovnice. Rovnice ve standardní infixové notaci, nevhodné pro další zpracování je převedena na prefixovou notaci upraveným Shunting Yard algoritmem. Samotný výraz, který je vyhodnocen se sestaví jednou, což znamená rychlejší vyhodnocení v případě změny hodnot uživatelem definovaných proměnných.
|
host ::
RSS.