|
Převody mezi CF gramatikami a zásobníkovými automaty
Makovský, Benjamin ; Goldefus, Filip (oponent) ; Masopust, Tomáš (vedoucí práce)
Tato práce navrhuje a řeší implementaci transformací bezkontextových gramatik a převody mezi bezkontextovými gramatikami a zásobníkovými automaty. Obsahuje seznámení s modely, které se používají v moderní teorii formálních jazyků. V práci jsou uvedeny všechny potřebné algoritmy pro transformace a vzájemné převody mezi bezkontextovými gramatikami a zásobníkovými automaty. Je představen objektový návrh reprezentující gramatiku a automat v programu. Je popsáno řešení zadávání definice gramatiky a automatu, řešení vykreslování automatu na obrazovku a vytvoření grafického uživatelského rozhraní aplikace. Výsledný program je zpracován jako Java applet, který je umístěn na veřejných internetových stránkách www.convertcfg.php5.cz.
|
|
Implementace Ford-Fulkersonova algoritmu
Makovský, Benjamin ; Rychnovský, Lukáš (oponent) ; Masopust, Tomáš (vedoucí práce)
Tato práce navrhuje a řeší grafickou implementaci Ford-Fulkersonova algoritmu pro hledání maximálního toku a minimálního řezu v síti. Obsahuje stručné seznámení s teorií grafů a toků v sítích, popisuje princip Ford-Fulkersonova algoritmu. V práci je uveden objektový návrh reprezentující graf v programu, je popsáno řešení vykreslování grafu programem a vytvoření grafického uživatelského rozhraní aplikace. Výsledný program je zpracován jako Java applet, který je umístěn na veřejných internetových stránkách www.ffaplikace.php5.cz.
|
|
Implementace Ford-Fulkersonova algoritmu
Makovský, Benjamin ; Rychnovský, Lukáš (oponent) ; Masopust, Tomáš (vedoucí práce)
Tato práce navrhuje a řeší grafickou implementaci Ford-Fulkersonova algoritmu pro hledání maximálního toku a minimálního řezu v síti. Obsahuje stručné seznámení s teorií grafů a toků v sítích, popisuje princip Ford-Fulkersonova algoritmu. V práci je uveden objektový návrh reprezentující graf v programu, je popsáno řešení vykreslování grafu programem a vytvoření grafického uživatelského rozhraní aplikace. Výsledný program je zpracován jako Java applet, který je umístěn na veřejných internetových stránkách www.ffaplikace.php5.cz.
|
|
Převody mezi CF gramatikami a zásobníkovými automaty
Makovský, Benjamin ; Goldefus, Filip (oponent) ; Masopust, Tomáš (vedoucí práce)
Tato práce navrhuje a řeší implementaci transformací bezkontextových gramatik a převody mezi bezkontextovými gramatikami a zásobníkovými automaty. Obsahuje seznámení s modely, které se používají v moderní teorii formálních jazyků. V práci jsou uvedeny všechny potřebné algoritmy pro transformace a vzájemné převody mezi bezkontextovými gramatikami a zásobníkovými automaty. Je představen objektový návrh reprezentující gramatiku a automat v programu. Je popsáno řešení zadávání definice gramatiky a automatu, řešení vykreslování automatu na obrazovku a vytvoření grafického uživatelského rozhraní aplikace. Výsledný program je zpracován jako Java applet, který je umístěn na veřejných internetových stránkách www.convertcfg.php5.cz.
|