Automata Serialization for Manipulation and Drawing

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… (More)
DOI: 10.4230/OASIcs.SLATE.2016.15

Topics

4 Figures and Tables

Cite this paper

@inproceedings{Ferreira2016AutomataSF, title={Automata Serialization for Manipulation and Drawing}, author={Miguel Ferreira and Nelma Moreira and Rog{\'e}rio Reis}, booktitle={SLATE}, year={2016} }