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 jazy­ka 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 usku­teč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 pro­gramming language into DIMACS format and creation of program in programming language C++ making this transfer. This work contains a description of the C pro­gramming language and its operators. It also con­tains a description of the conjunctive normal form and a descri­ption 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 reali­zation 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

Permalink: http://www.nusl.cz/ntk/nusl-606685


The record appears in these collections:
Universities and colleges > Public universities > Brno University of Technology
Academic theses (ETDs) > Master’s theses