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čů (Formální jazyky a překladače, 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čů:

  1. Konstrukce LL tabulky
  2. Simulace deterministického konečného automatu a deterministického zásobníkového automatu
  3. Simulace převodu nedeterministického na deterministický konečný automat

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:

Konstrukce LL tabulky: Nástroje psané multiplatformně v jazyce Java:

Konečné automaty: Nástroj psaný v jazyce C++:

Dokumenty k projektu

Realizace projektu

Řešitelský tým

Hlavní řešitel

2. spoluřešitel

1. spoluřešitel

Implementace

Při 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ů

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

  • ACE - Aplikace demonstrující LL a LR překlad, k dispozici po požádání autora.
lectures/didefom/start.txt · Last modified: 2013/12/10 18:43 by krivka
 
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Noncommercial-Share Alike 4.0 International
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki