DFASimulation
Simultor pevodu nedeterministickho na deterministick konen automat
======================================================================

Projekt byl podporovn projektem MMT FRV FR1909/2006/G1.

Krtky popis:
 Balk obsahuje nstroj pro simulaci pevodu konstrukce nedeterministickho konenho automatu na deterministick konen automat. Krom determinizace lze oddlen tak provdt odstrann epsilon-pravidel a demonstrovat funkci deterministickho i nedeterministickho konenho automatu pi pijmn zadanho vstupnho etzce. Automat lze natat/ukldat z/do XML souboru specifickho formtu.
Uivatelsk rozhran je v etin nebo anglitin.


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

Verze:
 0.9.1

Obsah balku:
 - readme.txt ... tento soubor, kter prv tete
 - examples ... adres s pklady (XML soubory pro gramatiky)
 - help ... adres s html vestavnou npovdou
 - lib ... adres s dodatenmi knihovnami nutnmi pro bh aplikace
 - DKASimulation.jar ... spustiteln soubor s aplikac
 - help.html ... index soubor npovdy
 - start.bat ... pkazov dvka OS Windows pro pohodln sputn aplikace v JVM


Poadavky:
 - Java Runtime Environment 6 (neboli JRE 1.6) a libovoln operan systm, kter tento virtuln stroj podporuje.
 

Tipy pro instalaci a sputn:
 - dekomprimujte archv do libovolnho msta na disku se zachovnm adresov struktury v podadresi DFASimulation
 - spuste v adresi DIDEFOM/DFASimulation dvku start.bat
 - Na UNIX systmech nebude mono vyuvat pro sputn dvkov soubor start.bat:
     Msto dvky lze vyut pkazovou dku a pkaz: java -jar "DKASimulation.jar"

Znm chyby a nedostatky:
 - cyklick pechody jsou pi pevodech graficky zjednodueny (2 pomocn body pro vytvoen tyhelnku)
   

