古伊塔 swMATH ID: 10336 软件作者： 安德烈·阿尔梅达；马尔科·阿尔梅达；何塞·阿尔维斯；内尔马·莫雷拉；罗杰里奥·里斯 描述： FAdo和GUItar。FAdo是一个正在进行的项目，旨在提供一套用于形式语言符号操作的工具。为了允许使用复杂数据结构进行高级编程，算法的简单原型和可移植性（例如在计算机网格系统中使用）是其主要功能。我们的主要动机是进行理论和实验研究，但我们还考虑构建一个教学工具来教授自动机理论和形式语言。为了实现图形可视化和交互式操作，正在开发一个新的界面应用程序GUItar。在本文中，我们描述了FAdo系统的主要组件，以及图形界面和编辑器的基础知识，导出/导入过滤器及其与外部系统（如FAdo）的通用接口。 主页： http://link.springer.com/chapter/10.1007/978-3-642-02979-0_10 相关软件： FAdo公司;蟒蛇;沃康松;打开Fst;常规集合;PDCoq公司;梅斯4;校准仪9;伊莎贝尔/HOL;Coq公司;语言;派比;圣杯;玛蒂塔;酯类;KAT-ML公司;佩尔;Coq/SS反射;树自动机;DiskPaxos公司 引用于： 11文件 全部的 前5名19位作者引用 8 内尔玛·莫雷拉 6 罗杰里奥·里斯 三 斯塔夫罗斯·康斯坦蒂尼迪斯 2 萨宾·布罗达 2 安东尼奥·马基雅维罗 2 西芒，索萨甜瓜 2 戴维·佩雷拉（David P.Pereira）。 1 阿尔梅达（Marco P.Almeida）。 1 阿基姆·德迈勒 1 亚历山大·杜雷特·卢茨 1 Han、Yo-Sub 1 Ko、Sang-Ki 1 彼得·兰米奇 1 西尔万·伦巴第 1 米贾·马斯特纳克 1 凯西·梅杰尔 1 卢卡·赛乌 1 雅克·萨卡洛维奇 1 托马斯·图尔克 4篇连载文章中引用 2 国际计算机科学基础杂志 1 理论计算机科学 1 RAIRO公司。理论信息学及其应用 1 程序设计中的逻辑和代数方法杂志 在2个字段中引用 11 计算机科学（68至XX） 1 信息和通信理论，电路（94-XX） 按年份列出的引文