Original title:
Převod výrazů v C do DIMACS formátu
Translated title:
Translation of C Expressions to DIMACS Format
Authors:
Grim, Pavel ; Charvát, Lukáš (referee) ; Smrčka, Aleš (advisor) Document type: Master’s theses
Year:
2015
Language:
cze Publisher:
Vysoké učení technické v Brně. Fakulta informačních technologií Abstract:
[cze][eng]
Tato práce se věnuje návrhu převodu výrazů zapsaných v programovacím jazyce C do formátu DIMACS a realizaci programu v jazyce C++ provádějící tento převod. V textu práce se nachází popis programovacího jazyka C a jeho operátorů. Dále obsahuje popis konjunktivní normální formy a popis formátu DIMACS. Následuje návrh vytvoření programu pro uskutečnění převodu z výrazu v programovacím jazyce C do formátu DIMACS a popis realizace programu provádějící tento převod.
This work focuses on proposition of transfer of the expressions entered in the C programming language into DIMACS format and creation of program in programming language C++ making this transfer. This work contains a description of the C programming language and its operators. It also contains a description of the conjunctive normal form and a description of the DIMACS format. Following is a proposal for a program for the transfer of expression in the C programming language to the DIMACS format and description of realization of program performing this transfer.
Keywords:
bitwise operators; C; C expression; C language; CNF; conjunctive normal form; conversion; DIMACS; DIMACS format.; expression; integer operators; operators; transfer; translation; bitové operátory; C; celočíselné operátory; CNF; DIMACS; DIMACS formát.; jazyk C; konjunktivní normální forma; konverze; operátory; převod; výraz; výrazy jazyka C
Institution: Brno University of Technology
(web)
Document availability information: Fulltext is available in the Brno University of Technology Digital Library. Original record: http://hdl.handle.net/11012/52299