• Nebyly nalezeny žádné výsledky

F A K U L TA I N F O R M A T I KY

N/A
N/A
Info
Stáhnout
Protected

Academic year: 2022

Podíl "F A K U L TA I N F O R M A T I KY"

Copied!
1
0
0

Načítání.... (zobrazit plný text nyní)

Stáhnout nyní ( 1 Stránka )

Fulltext

(1)

n u NT F A K U L T A

I N F O R M A T I K Y

P O S U D E K V E D O U C Í H O BAKALÁŘSKÉ PRÁCE

Název práce:

Autor práce:

Web Editor of Finite Automata Patrícia Salajová

Vedoucí práce: Jan Strejček

Cílem práce bylo vytvořit nový grafický webový editor konečných automatů, který by umožnil komfortně zadávat automaty (a okrajově i regulárni gramatiky či regulárni výrazy) do odpovědníků v IS M U . Podobné editory byly již vytvořeny v rámci předchozích bakalářských prací, ale byly většinou postaveny na zastaralé technologii a navíc vykazovaly řadu ergonomických i funkčních nedostatků.

Cíl práce byl beze zbytku naplněn. Autorka na tématu pracovala průběžně a funkčnost i ergonomii editoru opakovaně diskutovala s vedoucím i konzultantem. Výsledkem je zcela funkční, vizuálně příjemný a snadno ovladatelný editor. V souladu se zadáním vznikl také skript na vkládání editoru do odpovědníků. Zdrojové kódy editoru i skriptu jsou dostupné na GitHubu. Editor byl v semestru jaro 2021 již nasazen v odpovědnících k předmětu IB005 včetně zkouškových odpovědníků. Reakce studentů byly velmi pozitivní. Na odhalené drobné nedostatky autorka pružně reagovala. Jediná zvláštnost, na kterou jsem během testování nyní narazil, je situace, kdy student vytvoří automat bez určení počátečního stavu a editor odešle automat v textovém formátu, kde je jeden ze stavů implicitně určen jako počáteční. Tento problém však považuji za okrajový a snadno řešitelný.

Textová část práce je vhodně členěná a napsaná srozumitlnou angličtinou s minimem jazykových a typografických chyb. Obsah práce odpovídá očekávání. Jedním z mála nedostatků je skutečnost, že práce zavádí syntaxi a sémantiku deterministických konečných automatů, regulárních gramatik i výrazů, ale u jiných typů konečných automatů se z neznámých důvodů omezuje pouze na jejich syntaxi.

Závěrem konstatuji, že praktická i textová část práce jsou velmi zdařilé. Vzniklý editor vyhovuje všem kladeným požadavkům a je již úspěšně nasazen. Navrhuji proto hodnotit práci stupněm výborně (A).

Brno 10. června 2021 Jan Strejček

Odkazy

Stáhnout nyní ( PDF - 1 Stránka - 417.71 KB )

Související dokumenty

U N I T A R Y R E P R E S E N T A T I O N S D E F I N E D B Y B O U N D A R Y C O N D I T I O N S - - T H E C A S E O F 1 ( 2 , R )

Let ~F(a, c; x) denote Tricomi's confluent hypergeometric function. This theorem can be proved independently of the earlier development. The following theorem is

M U L T I D I M E N S I O N A L P R I N 0 1 P A L I N T E G R A L S , B O U N D A R Y V A L U E P R O B L E M S A N D I N T E G R A L E Q U A T I O N S .

Multidimensional Principal Integrals, Bound. Value Problems and Integral Equations.. Multidimensional Principal Integrals, Bound. Value Problems and Integral Equations. Without

L ' I N S T I T U T M A T H E M A T I Q U E M I T T A G - L E F F L E R , d e D j u r s h o l m - S t o c t c h o l m a y a n l d d ~ c e r n e r p o u r l a p r e m i d r e l o i s s a g r a n d e M ~ d a i l l e d ' O r , a d d c i d ~ d e l " a l l r i

gohan Erik LINDBERG, membre de l'Acaddmie des Beaux-Arts de Sudde, Correspondanl de l'Institut de France, le porlrait de M.. Torsten CARLEMAN, d'apporter cette

A D D I T I O N A U M E M O I R E " S U R L A C O N V E R G E N C E D E S S E R I E S F O R M E E S A V E C L E S I T E R E E S S U C C E S S I V E S D ' U N E F R A C T I O N R A T I O N N E L L E " ( A C T A , T O M E 5 6 ) .

FORMEES AVEC LES ITEREES SUCCESSIVES D'UNE FRACTION RATIONNELLE" (ACTA,

o) o, i+, f f l o G r A*, 4,r(Z+3# )

LICHTENSTEIN Permanente Bewegungen einer homogenen, i~kompressiblen, ziihen Fliissigkeit [Matematische Zeitschrift, Band 28 (I928), Heft 3, P... LICttTENSTEIN, Uber die

S U R U N T H I 0 R E M E D E M O N G E E T S U R U N E G I N I R A L I S A - T I O N D E C E T H I 0 R M E .

(Voyez Comptes Rendus,

3 0 7 S U R L ' I N T I ~ G R A T I O N D E S S Y S T I ~ M E S D I F F I ~ R E N T I E L S O U I A D M E T T E N T D E S G R O U P E S C 0 N T I N U S D E T R A N S F O R M A T I O N S

1895).. :Notre travail est divis6 en deux chapitres. Dans ]e premier, nous dtudions la dgtermination des syst~mes automorphes, qui correspondent 5` un groupe,

2 5 7 O N C E R T A I N D I S C O N T I N U I T I E S C O N N E C T E D W I T H P E R I O D I C O R B I T S

The results proved in the last section rigorously apply only to the very limited region surrounding a point of zero force within which the motion can be