====== 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 psané multiplatformně v jazyce Java ===== ==== Požadavky ==== 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) * [[http://java.sun.com/javase/downloads|Oficiální stránka pro stažení na platformy Windows, Linux, Solaris]] (cca 10-20 MB) * [[http://java.sun.com/javase/6/webnotes/install/index.html|Instrukce k instalaci (v angličtině)]] * Záložní lokální/neaktualizovaná verze pro rychlé stažení pro operační systém Windows: * [[http://www.fit.vutbr.cz/~krivka/didefom/requirements/jre-6-windows-i586.exe|jre-6-windows-i586.exe]] (13 MB, OS Windows) Zda máte nainstalovanou Javu a jako verzi lze zjistit na tomto [[http://www.java.com/en/download/installed.jsp|odkazu]]. ==== Stažení spustitelných aplikačních balíků ==== **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**: * {{.download:didefom_lltableconstruction_0.9.3.zip|LLTableConstruction}} verze 0.9.3 (ZIP, 4.8 MB) * {{.download:didefom_lltableconstruction_0.9.3_readme.txt|informace o instalaci a spuštění}} (TXT) * {{.download:didefom_dfasimulation_0.9.1.zip|DFASimulation}} verze 0.9.1 (ZIP, 151 KB) * {{.download:didefom_dfasimulation_0.9.1_readme.txt|informace o instalaci a spuštění}} (TXT) === Známé chyby === * 2013-11-01: S novou JRE nefungují funkce pro ukládání a načítání gramatiky do XML. ==== Odkazy na Java aplety ==== Aplet vyžaduje podporu Javy verze 1.6 přímo v prohlížeči (např. formou pluginu). * **LLTableConstructionApplet:** (verze 0.9.3) * [[http://www.fit.vutbr.cz/~krivka/didefom/lltableconstructionapplet/index.html|aplet konstrukce LL tabulky]] * [[http://www.fit.vutbr.cz/~krivka/didefom/lltableconstructionapplet/help/help.html|odkaz na online nápovědu]] * **DFASimulationApplet:** (verze 0.9.1) * [[http://www.fit.vutbr.cz/~krivka/didefom/dkasimulationapplet/index.html|aplet simulátoru DKA/NKA]] * [[http://www.fit.vutbr.cz/~krivka/didefom/dkasimulationapplet/help.html|odkaz na online nápovědu]] === Omezení apletů === 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 === Návod pro povolení apletu ve vašem prohlížeči s Javou verze 7 a novější === 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// ([[https://www.java.com/en/download/help/jcp_security.xml|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. === Poznámka k využití apletů === * Studenti předmětu [[http://www.fit.vutbr.cz/study/courses/IFJ|IFJ]] mohou používat omezenou verzi na [[http://www.fit.vutbr.cz/study/courses/IFJ/public/LLTable/|speciální stránce s apletem]]. ==== Uživatelské příručky ==== * Konstrukce LL tabulky (LLTableConstruction) * {{.download:didefom_lltableconstruction.pdf|uživatelská dokumentace}} (PDF) * [[http://www.fit.vutbr.cz/~krivka/didefom/lltableconstructionapplet/help/help.html|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) * {{.download:didefom_dfasimulation.pdf|uživatelská dokumentace}} (PDF) * [[http://www.fit.vutbr.cz/~krivka/didefom/dkasimulationapplet/help.html|vestavěná nápověda]] (online HTML verze; například pro využití u apletů) ===== Nástroj psaný v jazyce C++ ===== * Grafický editor automatů (simulátor DKA, DZA): * {{.download:didefom_automata_1.0c.zip|Stažení binárního balíčku}} **Automata** (ZIP, 3.9 MB, verze 1.0) pro Windows * {{.download:didefom_automata_1.0_readme.txt|informace o obsahu balíku a instalaci}} (TXT) * {{.download:didefom_automata.pdf|Uživatelská příručka}} (PDF) * Vestavěná nápověda (součástí binárního balíčku) ===== Dokumenty ===== ==== Závěrečná zpráva ==== 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). * **{{.private:documents:prihlaska_projektu_1909.pdf|Přihláška projektu FR1909/2006/G1}}** (pouze v privátní sekci, PDF) * **{{.private:documents:final_report_1909.pdf|Závěrečná zpráva o projektu}}** (pouze v privátní sekci, PDF) * **{{.private:documents:frvs2006.v2.ppt|Prezentace pro ZOŘ}}** (pouze v privátní sekci, PPT) ==== Tisková zpráva ==== 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ů. ===== Starší verze ===== * {{.download:didefom_lltableconstructioin_0.9.2.zip|LLTableConstruction}} verze 0.9.2 (ZIP, 4.8 MB) * {{.download:didefom_lltableconstructioin_0.9.1_readme.txt|informace o instalaci a spuštění}} (TXT) * {{.download:didefom_dfasimulation_0.9.zip|DFASimulation}} verze 0.9 (ZIP, 200 KB) * {{.download:didefom_dfasimulation_0.9_readme.txt|informace o instalaci a spuštění}} (TXT) * {{.download:didefom_lltableconstructioin_0.9.1.zip|LLTableConstruction}} verze 0.9.1 (ZIP) * {{.download:didefom_dfasimulation_0.2.zip|DFASimulation}} verze 0.2 (ZIP, 140 KB)