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 .
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Almeida, M., Moreira, N., Reis, R.: Enumeration and generation with a string automata representation. Theoret. Comput. Sci. 387(2), 93–102 (2007)
Almeida, M., Moreira, N., Reis, R.: Antimirov and Mosses’s rewrite system revisited. In: Ibarra, O.H., Ravikumar, B. (eds.) CIAA 2008. LNCS, vol. 5148, pp. 46–56. Springer, Heidelberg (2008)
Almeida, M., Moreira, N., Reis, R.: Exact generation of acyclic deterministic finite automata. In: DCFS 2008, Charlottetown, Canada (2008)
Almeida, M., Moreira, N., Reis, R.: Exact generation of minimal acyclic deterministic finite automata. I. J. of F. of Com. Sci. 19(4), 751–765 (2008)
Barker, C.: Floatcanvas, http://morticia.cs.dal.ca/FloatCanvas/ (access date: 1.12.2008)
Behnel, S., Bradshaw, R.: Cython: C-extensions for Python, http://www.cython.org/ (access date: 03.01.2009)
Battista, G., Eades, P., Tamassia, R., Tolli, I.G.: Graph Drawing, Algorithms for the Visualisation of Graphs. Prentice Hall, Englewood Cliffs (1999)
Champarnaud, J.M., Hanset, G.: AUTOMATE, a computing package for automata and finite semigroups. J. of Symb. Comput. 12, 197–220 (1991)
World Wide Web Consortium. XML specification WWW page, http://www.w3.org/TR/xml (access date: 1.12.2008)
World Wide Web Consortium. XSLT specification WWW page, http://www.w3.org/TR/xslt (access date: 1.12.2008)
PostgreSQL DBMS. PostgreSQL website, http://www.postgressql.org (access date: 1.12.2008)
Frishert, M., Watson, B.W.: Fire Station, http://www.fastar.org/ (access date: 1.4.2009)
Graphviz — Graph Visualization Software. The dot language, http://www.graphviz.org/ (access date: 1.12.2008)
GraphML Working Group. Graphml file format, http://graphml.graphdrawing.org/ (access date: 01.12.2008)
Vaucanson Group. FSMXML format, http://www.lrde.epita.fr/cgi-bin/twiki/view/Vaucanson/XML (access date: 1.3.2009)
Jünger, M., Mutzel, P. (eds.): Graph Drawing Software. Mathematics and visualization. Springer, Heidelberg (2004)
Jansen, V., Potthoff, A., Thomas, W., Wermuth, U.: A short guide to the AMoRE system. Aachener informatik-berichte (90) 02, Lehrstuhl fur Informatik II, Universitat Aachen (January 1990)
Lombardy, S., Régis-Gianas, Y., Sakarovitch, J.: Introducing Vaucanson. Theoret. Comput. Sci. 328, 77–96 (2004)
Lombardy, S., Sakarovitch, J., Vaucanson, G.: http://igm.univ-mlv.fr/~lombardy/ (access date: 1.12.2008)
Mairson, H.G.: Generating words in a context-free language uniformly at random. Information Processing Letters 49, 95–99 (1994)
Moreira, N., Reis, R.: Interactive manipulation of regular objects with FAdo. In: ITiCSE 2005, pp. 335–339. ACM, New York (2005)
FAdo project. FAdo: tools for formal languages manipulation, http://www.ncc.up.pt/FAdo (access date: 1.12.2008)
Rodger, S., Finlea, T.: JFLAP - An Interactive Formal Languages and Automata Package. Jones and Bartlett (2006)
Riley, M.: OpenFst, http://www.openfst.org (access date: 1.4.2009)
Raymond, D., Wood, D.: Grail: A C++ Library for automata and expressions. J. Symb. Comp. 17(4), 341–350 (1994)
Smart, J., Roebling, R., Zeitlin, V., Dunn, R.: wxWidgets 2.6.3: A portable C++ and Python GUI toolkit (2006)
Yu, S.: Grail+, http://www.csd.uwo.ca/Research/grail/ (access date: 1.3.2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Almeida, A., Almeida, M., Alves, J., Moreira, N., Reis, R. (2009). FAdo and GUItar: Tools for Automata Manipulation and Visualization. In: Maneth, S. (eds) Implementation and Application of Automata. CIAA 2009. Lecture Notes in Computer Science, vol 5642. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-02979-0_10
Download citation
DOI: https://doi.org/10.1007/978-3-642-02979-0_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-02978-3
Online ISBN: 978-3-642-02979-0
eBook Packages: Computer ScienceComputer Science (R0)