Ke stažení

V následující sekci máte k dispozici odkazy na stažení nástrojů, které jsou hlavní součástí výsledků projektu:

Nástroje projektu DIDEFOM implementované v jazyce Java vyžadují pro svoje spuštění:

• Java Runtime Environment (JRE) 6 (někdy označováno jako Java(TM) SE Runtime Environment 1.6)
  • Oficiální stránka pro stažení na platformy Windows, Linux, Solaris (cca 10-20 MB)
  • Instrukce k instalaci (v angličtině)
  • Záložní lokální/neaktualizovaná verze pro rychlé stažení pro operační systém Windows:
    • jre-6-windows-i586.exe (13 MB, OS Windows)

Zda máte nainstalovanou Javu a jako verzi lze zjistit na tomto odkazu.

Stručná návod k použití: Máte-li nainstalován Java Runtime Environment 6, tak si stáhněte ZIP soubor s nástrojem, který dekomprimujte (se zachováním adresářové struktury) a ve vytvořených podadresářích (didefom a “jmeno nastroje”) spusťte dávku start.bat.

Nástroje/aplikace:

• LLTableConstruction verze 0.9.3 (ZIP, 4.8 MB)
  • informace o instalaci a spuštění (TXT)
• DFASimulation verze 0.9.1 (ZIP, 151 KB)
  • informace o instalaci a spuštění (TXT)

• 2013-11-01: S novou JRE nefungují funkce pro ukládání a načítání gramatiky do XML.

Aplet vyžaduje podporu Javy verze 1.6 přímo v prohlížeči (např. formou pluginu).

• LLTableConstructionApplet: (verze 0.9.3)
  • aplet konstrukce LL tabulky
  • odkaz na online nápovědu
• DFASimulationApplet: (verze 0.9.1)
  • aplet simulátoru DKA/NKA
  • odkaz na online nápovědu

Kvůli omezeným oprávněním prohlížeče, ve kterém aplety běží, nejsou funkční následující vlastnosti:

• nelze přepínat jazyky (používá se pouze implicitní v operačním systému)
• nelze měnit nastavení fontů za běhu aplikace
• nelze ukládat ani načítat soubory tj. je vždy nutné celý model vytvářet znovu
• nelze otevírat vestavěná nápověda, takže je potřeba používat dokumentaci a nápovědu umístěnou na extra stránkách projektu (odkazy jsou na stránkách apletů)
• nefunguje položka menu Soubor - Konec, protože aplet lze ukončit pouze zavřením stránky
• v případě otevírání dialogovým oken je někdy problém s jejich umístěním při otevření (většinou pomůže změnit lehce velikost okna a to se následně překreslí tak, aby bylo možné jej přesunout na viditelnou pozici)
• aplety jsou nastaveny tak, aby zaplňovaly celou zobrazovanou část stránky

Pokud Vám spuštění apletu hlásí chybu Your security setting have blocked an untrusted application from running., tak je nutné spustit Java Control Panel (JCP) (v OS MS Windows jej najdete ve složce Program Files (případně Program Files (x86)) Java\jre7\bin\javacpl.exe; cesta se může lišit dle verze Javy, kterou používáte). V JCP v záložce Security přidejte URL stránky s nepodepsaným apletem do Exception Site List (přes tlačítko Edit Site List… a následně tlačítko Add) a dialogová okna potvrďte tlačítkem OK. Pak načtěte webovou stránku s apletem.

• Studenti předmětu IFJ mohou používat omezenou verzi na speciální stránce s apletem.

• Konstrukce LL tabulky (LLTableConstruction)
  • uživatelská dokumentace (PDF)
  • vestavěná nápověda (online HTML verze; například pro využití u apletů)
• Simulace nedeterministických a deterministických konečných automatů (DFASimulation)
  • uživatelská dokumentace (PDF)
  • vestavěná nápověda (online HTML verze; například pro využití u apletů)

• Grafický editor automatů (simulátor DKA, DZA):
  • Stažení binárního balíčku Automata (ZIP, 3.9 MB, verze 1.0) pro Windows
    • informace o obsahu balíku a instalaci (TXT)
  • Uživatelská příručka (PDF)
  • Vestavěná nápověda (součástí binárního balíčku)

Přihláška a závěrečná zprávu jsou k dispozici v informačním systému pro správu projektů FRVŠ ISAAR-F nebo v privátní sekci těchto stránka. Pro přístup k nimi musíte mít tedy vytvořen přístup (login a heslo).

• Přihláška projektu FR1909/2006/G1 (pouze v privátní sekci, PDF)
• Závěrečná zpráva o projektu (pouze v privátní sekci, PDF)
• Prezentace pro ZOŘ (pouze v privátní sekci, PPT)

Projekt se zabýval implementací softwarových nástrojů pro didaktické demonstrace vybraných formálních modelů a algoritmů nad těmito modely. V rámci projektu bylo vytvořeno aplikační jádro a nad ním několik konkrétních didaktických nástrojů:

• konstrukce LL-tabulky pro LL-gramatiku a ukázka syntaktické analýzy věty prediktivní metodou;
• ukázka činnosti deterministického konečného automatu a deterministického zásobníkového automatu;
• převod nedeterministického na ekvivalentní deterministický konečný automat;
• všechny nástroje obsahují vestavěnou nápovědu a uživatelskou dokumentaci.

Nástroje jsou vhodné pro předměty zaměřené na výuku teoretické informatiky, formálních jazyků a teorie překladačů. Grafické uživatelské rozhraní je vytvořeno ve dvou jazycích (čeština, angličtina). Samotné aplikace jsou implementovány v programovacích jazycích C++ a Java s využitím multiplatformních grafických knihoven (wxWidgets a Swing), což umožňuje nástroje používat na různých operačních systémech.

Projekt byl prezentován na konferenci Pedagogický Software 2006 a existují webové stránky projektu (http://www.fit.vutbr.cz/~krivka/didefom), kde jsou volně ke stažení vytvořené aplikace včetně dokumentace a několika příkladů.

• LLTableConstruction verze 0.9.2 (ZIP, 4.8 MB)
  • informace o instalaci a spuštění (TXT)
• DFASimulation verze 0.9 (ZIP, 200 KB)
  • informace o instalaci a spuštění (TXT)

• LLTableConstruction verze 0.9.1 (ZIP)
• DFASimulation verze 0.2 (ZIP, 140 KB)