FAdo and GUItar: Tools for Automata Manipulation and Visualization

• Type: Article in International Scientific Journal
• Date: 2009

Authors

André Almeida (Author) FCUP; Marco Almeida (Author) FCUP; José Alves (Author) FCUP; Nelma Moreira (Author) FCUP; Rogério Reis (Author) FCUP

Journal

Title: Lecture Notes in Computer Science

Vol. 5642

Pages: 65-74

ISSN: 0302-9743

Publisher: Springer Nature

Indexing

ISI Web of Knowledge - 16 Citations

Scopus - 26 Citations

Scientific classification

FOS: Natural sciences > Computer and information sciences

Other information

Authenticus ID: P-003-QHW

DOI: 10.1007/978-3-642-02979-0_10

Abstract (EN): 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.

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 10