DFASimulation
Simulátor převodu nedeterministického na deterministický konečný automat
======================================================================

Projekt byl podporován projektem MŠMT FRVŠ FR1909/2006/G1.

Krátky popis:
 Balík obsahuje nástroj pro simulaci převodu konstrukce nedeterministického konečného automatu na deterministický konečný automat. Kromě determinizace lze odděleně také provádět odstranění epsilon-pravidel a demonstrovat funkci deterministického i nedeterministického konečného automatu při přijímání zadaného vstupního řetězce. Automat lze načítat/ukládat z/do XML souboru specifického formátu.
Uživatelské rozhraní je v češtině nebo angličtině.


WWW:
 http://www.fit.vutbr.cz/~krivka/didefom

Verze:
 0.9.1

Obsah balíku:
 - readme.txt ... tento soubor, který právě čtete
 - examples ... adresář s příklady (XML soubory pro gramatiky)
 - help ... adresář s html vestavěnou nápovědou
 - lib ... adresář s dodatečnými knihovnami nutnými pro běh aplikace
 - DKASimulation.jar ... spustitelný soubor s aplikací
 - help.html ... index soubor nápovědy
 - start.bat ... příkazová dávka OS Windows pro pohodlné spuštění aplikace v JVM


Požadavky:
 - Java Runtime Environment 6 (neboli JRE 1.6) a libovolný operační systém, který tento virtuální stroj podporuje.
 

Tipy pro instalaci a spuštění:
 - dekomprimujte archív do libovolného místa na disku se zachováním adresářové struktury v podadresáři DFASimulation
 - spusťte v adresáři DIDEFOM/DFASimulation dávku start.bat
 - Na UNIX systémech nebude možno využívat pro spuštění dávkový soubor start.bat:
     Místo dávky lze využít příkazovou řádku a příkaz: java -jar "DKASimulation.jar"

Známé chyby a nedostatky:
 - cyklické přechody jsou při převodech graficky zjednodušeny (2 pomocné body pro vytvoření čtyřúhelníku)