Název:
BDD knihovna
Překlad názvu:
A BDD Library
Autoři:
Troška, Karol ; Holík, Lukáš (oponent) ; Lengál, Ondřej (vedoucí práce) Typ dokumentu: Bakalářské práce
Rok:
2014
Jazyk:
cze
Nakladatel: Vysoké učení technické v Brně. Fakulta informačních technologií
Abstrakt: [cze][eng]
Binární rozhodovací diagram je datová struktura využívaná v mnoha oblastech informatiky. Tato práce popisuje BDD ako matematický formalizmus a navrhuje možnou reprezentaci BDD v počítači. Návrh je zaměřen především na rychlost snížením počtu alokací paměti a na jednoduchost a intuitivnost využívaní knihovny. V práci je několik jednoduchých příkladů užití knihovny a výstrahy, kterým by se měl programátor při používaní knihovny vyvarovat. Navržená reprezentace byla implementována v jazyce C.
Binary decision program is a data structure used in many areas of information technology. This thesis describes BDD as a mathematical formalism and proposes possible representation of BDD in a computer. The propose is focused mainly on a reduction speed of number of memory allocation and on a simplicity and an intuitive system of using a library. There are several examples of a library usage and warnings which programmer should avoid of in the thesis. Proposed representation was implemented in C language.
Klíčová slova:
Binární rozhodovací diagram; logická funkce; logická proměnná; výroková logika.; Binary decision diagram; logic function; logic variable; propositional logic.
Instituce: Vysoké učení technické v Brně
(web)
Informace o dostupnosti dokumentu:
Plný text je dostupný v Digitální knihovně VUT. Původní záznam: http://hdl.handle.net/11012/56405