====== Didaktické demonstrace modelů pro popis formálních jazyků ======
Webové stránky projektu Fondu rozvoje vysokých škol MŠMT kategorie G1 číslo FR1909/2006 **Didaktické demonstrace modelů pro popis formálních jazyků** (zkráceně **DIDEFOM**) jsou průběžně aktualizovány a doplňovány o nové verze výsledků projektu během jeho trvání i po jeho ukončení.

Zkrácené pojmenování projektu je **DIDEFOM** (od DIdaktické DEmonstrace FOrmálních Modelů), formální označení je MŠMT FRVŠ FR1909/2006/G1.


===== O projektu =====

V současné době se na Fakultě informačních technologií v bakalářském i magisterském studijním programu (pro rok 2006) přednáší několik předmětů zaměřených na formální jazyky a teorii překladačů ([[http://www.fit.vutbr.cz/study/courses/IFJ|Formální jazyky a překladače]], [[http://www.fit.vutbr.cz/study/courses/VYP|Výstavba překladačů]]). I přes veškerou píli a kvalitní pedagogický přístup přednášejících jsou tyto předměty pro studenty velmi náročné, především na pochopení vazeb mezi teoretickými definicemi a konkrétními příklady, či dokonce programovými implementacemi. Pro tento účel se náš řešitelský tým snaží vypracovat sadu kvalitních a didakticky účelných nástrojů pro usnadnění studia těžkých pasáží učiva jeho názornou demonstrací s možností interakce uživatele a kvalitní prezentace s využitím multimedií (grafika, hypertext). 


===== Výsledky projektu =====

Seznam didaktických nástrojů pro výuku formálních jazyků a překladačů:
  - Konstrukce LL tabulky
  - Simulace deterministického konečného automatu a deterministického zásobníkového automatu
  - Simulace převodu nedeterministického na deterministický konečný automat










===== Ke stažení =====

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

**Konstrukce LL tabulky: Nástroje psané multiplatformně v jazyce Java:**
  * [[download#pozadavky|Požadavky]] - Java Runtime Environment verze 1.6 (JRE)
  * [[download#stazeni_spustitelnych_aplikacnich_baliku|Stažení spustitelných aplikačních balíků]]
  * [[download#odkazy_na_java_aplety|Odkazy na Java aplety]]
  * [[download#uzivatelske_prirucky|Uživatelské příručky]]

**Konečné automaty: Nástroj psaný v jazyce C++:**  
  * [[download#nastroj_psany_v_jazyce_c|Stažení binárního balíčku]] pro Microsoft Windows 2000 a vyšší
  * [[download#nastroj_psany_v_jazyce_c|Uživatelská příručka]]

**Dokumenty k projektu**
  * [[download#zaverecna_zprava|Závěrečná zpráva]] k projektu FRVŠ 1909/2006/G1
  * [[download#tiskova_zprava|Tisková zpráva]]

===== Realizace projektu =====


==== Řešitelský tým ====
**Hlavní řešitel**
    * [[http://www.fit.vutbr.cz/~krivka|Ing. Zbyněk Křivka]] (student DSP, 2.-3. ročník)

**2. spoluřešitel**
    * [[http://www.fit.vutbr.cz/~lukas|Ing. Roman Lukáš]] (student DSP, 3. ročník)

**1. spoluřešitel**
    * [[http://www.fit.vutbr.cz/~meduna|Prof. RNDr. Alexander Meduna, CSc.]] (akademický pracovník, školitel řešitelů)


==== Implementace ====

Při [[implementation|implementaci]] jsme využili mnoho technologií, návrhových vzorů, programovací jazyky a jejich knihovny.

**Využité technologie a postupy:**
  * Java verze 1.6 (Java Developement Kit, Java Runtime Environment)
  * NetBeans - vývojové prostředí pro Javu
  * Event-driven component-based GUI programming
  * Resources/Properties pro vícejazyčnost některých nástrojů
  * XML a knihovnu XStream pro serializaci a deserializaci objektů
  * Swing libraries (Model-View koncept) - knihovna pro tvorbu pokročilého grafického uživatelského rozhraní


==== Prezentace výsledků ====
[[presentation|Prezentace výsledků]] se týkala jak výsledků čistě praktických (nástrojů pro výuku), tak výsledků teoretických z oblasti formálních modelů. Především přímočarých modifikací jinak běžně vyučovaných modelů jako jsou bezkontextové gramatiky a zásobníkové automaty.

  * WFM 2006 (25.-26. duben 2006, Přerov)
  * EEICT 2006 (27. duben 2006, Brno)
  * Pedagogický Software 2006 (7.-8. června 2006, České Budějovice)
  * MEMICS 2006 (27.-29. říjen 2006, Mikulov)


===== Závěrem =====
Projekt má za sebou první řešitelskou fázi a skončilo jeho financování z projektu FRVŠ. 
Projekt však nezaniká, protože bude dále rozšiřován formou bakalářských a diplomových projektů (viz sekce Budoucnost v dokumentu závěrečné zprávy).

Nakonec bych rád poděkoval oběma spoluřešitelům za spolupráci nejen během roku 2006 a těším se na pokračování v tomto projektu i na další nové projekty.

==== Podobné cizí projekty ====
  * [[http://ace.cs.hut.fi/|ACE]] - Aplikace demonstrující LL a LR překlad, k dispozici po požádání autora.