Instrumente Vizuale și Interactive

Sursă originală: https://users.cs.duke.edu/~rodger/tools/tools.html

Susan H. Rodger

Universitatea Duke


Această cercetare se concentrează pe proiectarea de instrumente pentru vizualizarea și interacțiunea cu concepte teoretice de informatică.

*

Instrumentele includ: JFLAP 6.0 – O versiune nouă a JFLAP este acum disponibilă (Sep. 2006). Începând cu Versiunea 4.0b14, JFLAP rulează în Java 1.5. Noile caracteristici din 6.0 includ jocul de lemne de pompare, mașinile Moore și Mealy și clasarea loturilor. Noile caracteristici din 4.0 includ o interfață complet nouă și încorporează ambele părți din alte instrumente, precum jeLLRap (parcurgerea LL și LR) și Pate (transformarea gramatiilor de la CFG la CNF, parsarea gramatiilor restrânse și nerestricționate). 

Pentru a intra pe lista de discuții JFLAP pentru notificări, trimiteți e-mail la

JFLAP 3.1 – versiunea Java a FLAP, este acum disponibilă (august 1999). Caracteristicile noi din 3.1 includ expresii regulate, inclusiv conversii de expresii regulate în NFA și DFA expresii regulate. Funcțiile noi de la 3.0 includ mai multe conversii de la o reprezentare la alta. Conversiile sunt automate finite nedeterministe (NFA) la automate finite determinate (DFA), DFA pentru DFA de stat minim, NFA pentru gramatică regulată, gramatică regulată pentru NFA, automată de împingere nedeterministă (NPDA) pentru gramatică fără contexte (CFG) algoritmi pentru CFG la NPDA. Două dintre conversiile CFG la NPDA sunt utile în studiul parcurgerii LL și LR. În plus, acum puteți glisa etichetele de-a lungul arcurilor și puteți întinde buclele (prindeți punctul de sus) pentru mai mult spațiu.

Pentru a intra pe lista de discuții JFLAP pentru notificări, trimiteți e-mail la rodger.

JAWAA 2.0 – Un instrument pentru crearea de animații de algoritmi pe web. – software-ul disponibil acum pentru a încerca. August 2002 Acest instrument este gata pentru testare.


Pâté – Un instrument pentru parsarea gramatiilor restricționate și nerestricționate și transformarea grammetrelor fără contextual la CNF. – Noua versiune a patei este acum disponibilă (martie 2000) 



JAWAA – Un instrument pentru crearea de animații de algoritmi pe web. – Aceasta este versiunea veche a JAWAA care nu va mai fi acceptată.


jeLLRap – versiunea Java / combinația dintre LLparse și LRparse  este disponibilă acum (26 ianuarie 1998). LLparse și LRparse au fost combinate într-un singur instrument. Caracteristicile suplimentare aratã arborele de analizã sau o derivare la parsare.


PumpLemma – Un instrument pentru experimentarea cu Lemma de pompare pentru limbile obișnuite și limbile fără limite de context – Acesta este un instrument foarte vechi din jurul anului 1997 și nu mai este suportat.


FLAP – X versiunea Windows (OLD, încercați versiunea mai nouă Java de FLAP de mai sus! Este mult mai ușor de instalat și acest lucru nu mai este acceptat.)


LLparse – Această versiune nu mai este acceptată. Vedeți versiunea JAVA numită jeLLRap de mai sus.


LRparse – Această versiune nu mai este acceptată. Vedeți versiunea JAVA numită jeLLRap de mai sus.


Crearea animațiilor Xtango sau Samba



Obținerea acestor instrumente

JFLAP și multe dintre aceste instrumente sunt disponibile pe site-urile individuale de mai sus. Faceți clic pe instrument și vă va duce la site-ul web cu mai multe informații.

Pentru unele dintre instrumentele OLDER și versiuni mai vechi ale instrumentelor există un site OLP FTP cu cod sursă vechi prin ftp anonim aici . Xtango și Samba sunt disponibile de la Georgia Tech aici . 

Utilizarea acestor instrumente în Cursul teoriei automate

Am folosit FLAP, LLparse și LRparse în CPS 140, Fundațiile matematice ale informaticii, la Universitatea Duke. Prelegerea, laboratorul și misiunile pentru acest curs sunt aici pentru anul 1998 și aici pentru anul 1999 . aici pentru anul 2002 . aici pentru anul 2003 .

Pentru mai multe informatii

Lucrarea curentă include instrumente pentru experimentarea cu gramatică, parsarea, conversia unui automat într-o formă echivalentă și animarea algoritmilor și a structurilor de date.

Pentru mai multe informații, contactați Susan Rodger de la Duke University  Toate aceste instrumente au fost susținute de Fundația Lilly, Rensselaer și Fundația Nationala de Stiinta DUE-9354791(transferat la DUE-9596002). Finanțare suplimentară de la NSF pentru a continua această lucrare a fost în subvenție DUE-9555084 Și acum mai multe fonduri de la NSF pentru a continua această lucrare este sub grantul DUE-9752583 . Orice opinii, constatări și concluzii sau recomandări exprimate în acest material sunt cele ale autorului (autorilor) și nu reflectă neapărat punctele de vedere ale Fundației Naționale de Științe. 

Iată referințele la lucrările mele recente.