2026-07-22T12:48:50Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:6020 2024-03-06T10:29:55Z ddc:004 open_access

Automata Serialization for Manipulation and Drawing Ferreira, Miguel Moreira, Nelma Reis, Rogério automata serialization visualization 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Miguel Ferreira and Nelma Moreira and Rogério Reis 2016 Is Part Of OASIcs, Volume 51, 5th Symposium on Languages, Applications and Technologies (SLATE'16) (2016) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/OASIcs.SLATE.2016.15 urn:nbn:de:0030-drops-60209 https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2016.15 eng https://creativecommons.org/licenses/by/3.0/legalcode