FAdo and GUItar: Tools for Automata Manipulation and Visualization

• Tipo: Artigo em Revista Científica Internacional
• Data: 2009

Autores

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

Revista

Título: Lecture Notes in Computer Science

Vol. 5642

Páginas: 65-74

ISSN: 0302-9743

Editora: Springer Nature

Indexação

ISI Web of Knowledge - 16 Citações

Scopus - 26 Citações

Classificação Científica

FOS: Ciências exactas e naturais > Ciências da computação e da informação

Outras Informações

ID Authenticus: 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.

Idioma: Inglês

Tipo (Avaliação Docente): Científica

Nº de páginas: 10