Vysoké učení technické v Brně. Fakulta informačních technologií
Abstract
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.