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)