文章基本信息

标题：Automata Serialization for Manipulation and Drawing
本地全文：下载
作者：Miguel Ferreira ; Nelma Moreira ; Rog{\'e}rio Reis 等
期刊名称：OASIcs : OpenAccess Series in Informatics
电子版ISSN：2190-6807
出版年度：2016
卷号：51
页码：1-7
DOI：10.4230/OASIcs.SLATE.2016.15
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：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