OASIcs.SLATE.2016.15.pdf
- Filesize: 1.24 MB
- 7 pages
Document
Automata Serialization for Manipulation and Drawing
Authors
-
Part of:
Volume:
5th Symposium on Languages, Applications and Technologies (SLATE'16) (SLATE 2016)
Series: Open Access Series in Informatics (OASIcs)
Conference: Symposium on Languages, Applications and Technologies (SLATE) - License:
Creative Commons Attribution 3.0 Unported license
- Publication Date: 2016-06-21
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)
https://doi.org/10.4230/OASIcs.SLATE.2016.15
https://doi.org/10.4230/OASIcs.SLATE.2016.15
Abstract
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.
Keywords
- automata
- serialization
- visualization
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads
References
-
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.
-
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.
-
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.
-
Giuseppe Di Battista. Graph drawing: algorithms for the visualization of graphs. Pretice Hall, 1999.
- The Qt Company. Qt, Access date:1.12.2015. URL: http://www.qt.io.
- Project FAdo. FAdo: tools for formal languages manipulation, Access date:1.11.2015. URL: http://fado.dcc.fc.up.pt/.
- Shane Grant and Randolph Voorhies. cereal - A C++11 library for serialization, Access date:4.14.2016. URL: http://uscilab.github.io/cereal/.
- Project GUItar. GUItar, Access date:1.06.2016. URL: http://guitar.dcc.fc.up.pt/.
- S. Lombardy and J. Sakarovitch. Vaucanson-G, Access date:1.12.2015. URL: http://igm.univ-mlv.fr/~lombardy/Vaucanson-G/.
- Sylvain Lombardy, Yann Régis-Gianas, and Jacques Sakarovitch. Introducing Vaucanson. Theor. Comput. Sci., 328(1-2):77-96, 2004. URL: http://dx.doi.org/http://dx.doi.org/10.1016/j.tcs.2004.07.007.
- Sylvain Lombardy and Jacques Sakarovitch. Vaucanson, Access date:1.12.2015. URL: http://vaucanson-project.org.
-
Darrell Raymond and Derick Wood. Grail: A C++ Library for automata and expressions. J. Symb. Comp., 17(4):341-350, 1994.
- Michael Riley. OpenFst, Access date:1.3.2016. URL: http://www.openfst.org.
-
Susan Rodger and Thomas Finley. JFLAP: An Interactive Formal Languages and Automata Package. Jones and Bartlett Publishers, 2006.
- Susan H. Rodger. JFLAP, Access date:1.12.2015. URL: http://www.jflap.org.
- Julian Smart, Robert Roebling, Vadim Zeitlin, and Robin Dunn. wxWidgets 2.6.3: A portable C++ and Python GUI toolkit, 2006. URL: http://wxpython.org.
- Graph Visualization Software. Graphviz, Access date:1.12.2015. URL: http://graphviz.org/.
- Sheng Yu and Cezar Campeanu. Grail+, Access date:1.3.2016. URL: http://www.csit.upei.ca/~ccampeanu/Grail.