Name
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 . |
Year | DOI | Venue |
|---|---|---|
2009 | 10.1007/978-3-642-02979-0_10 | CIAA |
Keywords | Field | DocType |
main motivation,generic interface,main feature,graphical interface,fado system,interactive manipulation,main component,new interface application,graphical visualization,formal language,automata theory,complex data | Automata theory,Formal language,Programming language,Software engineering,Visualization,Computer science,Symbolic computation,Guitar,Graphical user interface,Software portability,Regular language | Conference |
Citations | PageRank | References |
5 | 0.50 | 10 |
Authors | ||
5 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| André Almeida | 1 | 5 | 0.50 |
| Marco Almeida | 2 | 31 | 3.99 |
| José Alves | 3 | 5 | 0.50 |
| Nelma Moreira | 4 | 180 | 33.98 |
| Rogério Reis | 5 | 140 | 25.74 |