Interactive manipulation of regular objects with FAdo

Authors:
Nelma Moreira;Rogério Reis
Affiliations:
DCC-FC& LIACC, Universidade do Porto, Porto, Portugal;DCC-FC& LIACC, Universidade do Porto, Porto, Portugal
Venue:
ITiCSE '05 Proceedings of the 10th annual SIGCSE conference on Innovation and technology in computer science education
Year:
2005

Citing 9
Cited 2

AUTOMATE, a computing package for automata and finite semigroups

Journal of Symbolic Computation
Programming python

Programming python
Increasing visualization and interaction in the automata theory course

Proceedings of the thirty-first SIGCSE technical symposium on Computer science education
Visualizing principles of abstract machines by generating interactive animations

Future Generation Computer Systems
Handbook of Formal Languages

Handbook of Formal Languages
Introduction to Automata Theory, Languages and Computability

Introduction to Automata Theory, Languages and Computability
A framework to visualize equivalences between computational models of regular languages

Information Processing Letters
FIRE Lite: FAs and REs in C++

WIA '96 Revised Papers from the First International Workshop on Implementing Automata
A visual and interactive automata theory course with JFLAP 4.0

Proceedings of the 35th SIGCSE technical symposium on Computer science education

Enumeration and generation with a string automata representation

Theoretical Computer Science
FAdo and GUItar

CIAA '09 Proceedings of the 14th International Conference on Implementation and Application of Automata

Quantified Score

Hi-index	0.00

Visualization

Abstract

FAdo1 is an ongoing project which aims the development of an interactive environment for symbolic manipulation of formal languages. In this paper we focus in the description of interactive tools for teaching and assisting research on regular languages, and in particular finite automata and regular expressions. Those tools implement most standard automata operations, conversion between automata and regular expressions, and word recognition. We illustrate their use in training and automatic assessment. Finally we present a graphical environment for editing and interactive visualisation.