Formální popis deskových her

Abstract

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.