Automata Serialization for Manipulation and Drawing

Authors Miguel Ferreira, Nelma Moreira, Rogério Reis

Thumbnail PDF


  • Filesize: 1.24 MB
  • 7 pages

Document Identifiers

Author Details

Miguel Ferreira
Nelma Moreira
Rogério Reis

Cite AsGet BibTex

Miguel Ferreira, Nelma Moreira, and Rogério Reis. Automata Serialization for Manipulation and Drawing. In 5th Symposium on Languages, Applications and Technologies (SLATE'16). Open Access Series in Informatics (OASIcs), Volume 51, pp. 15:1-15:7, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)


GUItar is a GPL-licensed, cross-platform, graphical user interface for automata drawing and manipulation, written in C++ and Qt5. This tool offers support for styling, automatic layouts, several format exports and interface with any foreign finite automata manipulation library that can parse the serialized XML or JSON produced. In this paper we describe a new redesign of the GUItar framework and specially the method used to interface GUItar with automata manipulation libraries.
  • automata
  • serialization
  • visualization


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads


  1. André Almeida, Marco Almeida, José Alves, Nelma Moreira, and Rogério Reis. FAdo and GUItar: tools for automata manipulation and visualization. In Sebastian Maneth, editor, 14th International Conference on Implementation and Application of Automata, CIAA 2009. Proceedings, volume 5642, pages 65-74, Sidney, July 2009. Springer. Google Scholar
  2. André Almeida, Nelma Moreira, and Rogério Reis. GUItar and FAgoo: Graphical interface for automata visualization, editing, and interaction. In Luís S. Barbosa and Miguel P. Correia, editors, Inforum, Simpósio de Informática, pages 317-328, Braga,Portugal, 9-10 Setembro 2010. Google Scholar
  3. José Alves, Nelma Moreira, and Rogério Reis. XML description for automata manipulations. In Alberto Simões, Daniela Cruz, and José Carlos Ramalho, editors, Actas XATA 2010, XML: aplicações e tecnologias associadas, pages 77-88, ESEIG, Vila do Conde, 2010. Google Scholar
  4. Giuseppe Di Battista. Graph drawing: algorithms for the visualization of graphs. Pretice Hall, 1999. Google Scholar
  5. The Qt Company. Qt, Access date:1.12.2015. URL:
  6. Project FAdo. FAdo: tools for formal languages manipulation, Access date:1.11.2015. URL:
  7. Shane Grant and Randolph Voorhies. cereal - A C++11 library for serialization, Access date:4.14.2016. URL:
  8. Project GUItar. GUItar, Access date:1.06.2016. URL:
  9. S. Lombardy and J. Sakarovitch. Vaucanson-G, Access date:1.12.2015. URL:
  10. Sylvain Lombardy, Yann Régis-Gianas, and Jacques Sakarovitch. Introducing Vaucanson. Theor. Comput. Sci., 328(1-2):77-96, 2004. URL:
  11. Sylvain Lombardy and Jacques Sakarovitch. Vaucanson, Access date:1.12.2015. URL:
  12. Darrell Raymond and Derick Wood. Grail: A C++ Library for automata and expressions. J. Symb. Comp., 17(4):341-350, 1994. Google Scholar
  13. Michael Riley. OpenFst, Access date:1.3.2016. URL:
  14. Susan Rodger and Thomas Finley. JFLAP: An Interactive Formal Languages and Automata Package. Jones and Bartlett Publishers, 2006. Google Scholar
  15. Susan H. Rodger. JFLAP, Access date:1.12.2015. URL:
  16. Julian Smart, Robert Roebling, Vadim Zeitlin, and Robin Dunn. wxWidgets 2.6.3: A portable C++ and Python GUI toolkit, 2006. URL:
  17. Graph Visualization Software. Graphviz, Access date:1.12.2015. URL:
  18. Sheng Yu and Cezar Campeanu. Grail+, Access date:1.3.2016. URL:
Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail