Název: Formální popis deskových her
Překlad názvu: Formal description of board games
Autoři: Nowak, Stanislav ; Štěpánek, Petr (vedoucí práce) ; Kunčar, Ondřej (oponent)
Typ dokumentu: Bakalářské práce
Rok: 2011
Jazyk: cze
Abstrakt: [cze] [eng]
Cílem bakalářské práce bylo navrhnout matematický formalismus umožňující popis a zkoumání vlastností deskových her. Práce těží především z poznatků teorie automatů a logického programování. Z teorie automatů se práce zabývá konečnými automaty a jejich možnou aplikací pro potřeby deskových her. Výsledkem je rozšíření konečného automatu pokrývající specifika deskových her nazvané herní automat. Deskové hry jsou komplexní doménou a nabízí se využít k jejich popisu prostředků vyšší úrovně. Takovým prostředkem je i logické programovaní. S využitím logického programování byl navržen nástroj, který umožňuje deklarativní popis her, pojmenovaný herní systém. Tento deklarativní popis tvoří rámec pro implementaci interaktivních her. Propojení obou světů bude demonstrováno převodem herního systému na herní automat. The aim of thesis was to design a mathematical formalism that allows describing and exploring the properties of board games. The work benefits from the findings of automata theory and logic programming. First part of thesis deals with finite automata and their possible applications for the needs of board games. The result is an extension of finite-state automaton covering the specifics of board games called game automaton. Board games are a complex domain hight level tools should be used. Such a tools is a logical programming. Using logic programming was designed instrument that allows declarative descriptions of games, named gaming system. This declarative description is used as an framework for the implementation of interactive games. Linking the two worlds will be demonstrated by conversion of the gaming system to the game automaton.
Klíčová slova: automaty. logické programování; gramatiky; hry; automata; games; grammars; logic programming

Instituce: Fakulty UK (VŠKP) (web)
Informace o dostupnosti dokumentu: Dostupné v digitálním repozitáři UK.
Původní záznam: http://hdl.handle.net/20.500.11956/50247

Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-487594


Záznam je zařazen do těchto sbírek:
Školství > Veřejné vysoké školy > Univerzita Karlova > Fakulty UK (VŠKP)
Vysokoškolské kvalifikační práce > Bakalářské práce