FAdo and GUItar

Authors:
André Almeida;Marco Almeida;José Alves;Nelma Moreira;Rogério Reis
Affiliations:
DCC-FC & LIACC, Universidade do Porto, Porto, Portugal 4169-007;DCC-FC & LIACC, Universidade do Porto, Porto, Portugal 4169-007;DCC-FC & LIACC, Universidade do Porto, Porto, Portugal 4169-007;DCC-FC & LIACC, Universidade do Porto, Porto, Portugal 4169-007;DCC-FC & LIACC, Universidade do Porto, Porto, Portugal 4169-007
Venue:
CIAA '09 Proceedings of the 14th International Conference on Implementation and Application of Automata
Year:
2009

Citing 10
Cited 3

AUTOMATE, a computing package for automata and finite semigroups

Journal of Symbolic Computation
Generating words in a context-free language uniformly at random

Information Processing Letters
Grail: a C++ library for automata and expressions

Journal of Symbolic Computation - Special issue on “algorithms: implementation, libraries and use”
Graph Drawing: Algorithms for the Visualization of Graphs

Graph Drawing: Algorithms for the Visualization of Graphs
Graph Drawing Software

Graph Drawing Software
Introducing VAUCANSON

Theoretical Computer Science - Implementation and application of automata
Interactive manipulation of regular objects with FAdo

ITiCSE '05 Proceedings of the 10th annual SIGCSE conference on Innovation and technology in computer science education
JFLAP: An Interactive Formal Languages and Automata Package

JFLAP: An Interactive Formal Languages and Automata Package
Enumeration and generation with a string automata representation

Theoretical Computer Science
Antimirov and Mosses's Rewrite System Revisited

CIAA '08 Proceedings of the 13th international conference on Implementation and Applications of Automata

On the average number of states of partial derivative automata

DLT'10 Proceedings of the 14th international conference on Developments in language theory
Incremental DFA minimisation

CIAA'10 Proceedings of the 15th international conference on Implementation and application of automata
Deciding regular expressions (in-)equivalence in coq

RAMiCS'12 Proceedings of the 13th international conference on Relational and Algebraic Methods in Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

FAdo is an ongoing project which aims to provide a set of tools for symbolic manipulation of formal languages. To allow high-level programming with complex data structures, easy prototyping of algorithms, and portability (to use in computer grid systems for example), are its main features. Our main motivation is the theoretical and experimental research, but we have also in mind the construction of a pedagogical tool for teaching automata theory and formal languages. For the graphical visualization and interactive manipulation a new interface application, GUItar, is being developed. In this paper, we describe the main components of the FAdo system as well as the basics of the graphical interface and editor, the export/import filters and its generic interface with external systems, such as FAdo .