Omezení oboru hodnot výrazu v AST z definičních oborů proměnných
Range restriction of expression in AST from a domain of variables
dc.contributor.advisor | Plachý Štěpán | |
dc.contributor.author | Jan Pokorný | |
dc.date.accessioned | 2020-06-25T22:53:53Z | |
dc.date.available | 2020-06-25T22:53:53Z | |
dc.date.issued | 2020-06-25 | |
dc.identifier | KOS-862365927305 | |
dc.identifier.uri | http://hdl.handle.net/10467/88803 | |
dc.description.abstract | Tato bakalářská práce se zabývá omezením možných hodnot výrazu reprezentovaného pomocí abstraktního syntaktického stromu na základě omezení hodnot vstupních proměnných. Výrazy mohou obsahovat hodnoty různých datových typů. Práce představuje průchod abstraktním syntaktickým stromem, jehož výsledek obsahuje všechny hodnoty, které mohly vzniknout vyhodnocením výrazu s každým ohodnocením proměnných splňující omezení. Práce se zaobírá návrhem potřebných datových struktur a vyhodnocením vybraných funkcí. Navržený průchod je implementován do vyhodnocovače výrazů elektronické klasifikace Grades, který podporuje datové typy číslo, řetězec a boolean. Rozšíření vyhodnocovače umožní přídání funkcionality do aplikace Grades pro zjištění všech potencionálních klasifikací v jednotlivých předmětech a také pro automatizovanou kontrolu definice hodnocení. | cze |
dc.description.abstract | Aim of this bachelor thesis is to restrict possible values of an expression represented by abstract syntax tree and based on restrictions of input variables. Expressions can contain values of different data types. This thesis introduces abstract syntax tree traversal, which results contain all values that could be acquired by evaluating expression with any of the variable values satisfying restrictions. The thesis discusses necessary data structures and the evaluation of selected functions. Designed traversal is implemented in expression evaluator in electronic classification application Grades, which supports data types number, string, and boolean. The extension of the expression evaluator will enable the addition of functionality to the Grades application for the identification of all possible classifications in individual subjects and also for the automated verification of the subject definition. | eng |
dc.publisher | České vysoké učení technické v Praze. Vypočetní a informační centrum. | cze |
dc.publisher | Czech Technical University in Prague. Computing and Information Centre. | eng |
dc.rights | A university thesis is a work protected by the Copyright Act. Extracts, copies and transcripts of the thesis are allowed for personal use only and at one?s own expense. The use of thesis should be in compliance with the Copyright Act http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf and the citation ethics http://knihovny.cvut.cz/vychova/vskp.html | eng |
dc.rights | Vysokoškolská závěrečná práce je dílo chráněné autorským zákonem. Je možné pořizovat z něj na své náklady a pro svoji osobní potřebu výpisy, opisy a rozmnoženiny. Jeho využití musí být v souladu s autorským zákonem http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf a citační etikou http://knihovny.cvut.cz/vychova/vskp.html | cze |
dc.subject | abstraktní syntaktický strom | cze |
dc.subject | vyhodnocovač výrazů | cze |
dc.subject | Grades FIT ČVUT | cze |
dc.subject | matematická optimalizace | cze |
dc.subject | určení možných výsledků výrazu | cze |
dc.subject | abstract syntax tree | eng |
dc.subject | expression evaluator | eng |
dc.subject | Grades FIT CTU | eng |
dc.subject | mathematical optimization | eng |
dc.subject | determination of possible expression evaluations | eng |
dc.title | Omezení oboru hodnot výrazu v AST z definičních oborů proměnných | cze |
dc.title | Range restriction of expression in AST from a domain of variables | eng |
dc.type | bakalářská práce | cze |
dc.type | bachelor thesis | eng |
dc.contributor.referee | Janoušek Jan | |
theses.degree.discipline | Teoretická informatika | cze |
theses.degree.grantor | katedra teoretické informatiky | cze |
theses.degree.programme | Informatika | cze |
Soubory tohoto záznamu
Tento záznam se objevuje v následujících kolekcích
-
Bakalářské práce - 18101 [337]