吉他

法多和吉他。FAdo是一个正在进行的项目，旨在为形式语言的符号操作提供一套工具。它的主要特点是允许使用复杂的数据结构进行高级编程、算法的简单原型化和可移植性（例如在计算机网格系统中使用）。我们的主要动机是理论和实验研究，但我们也想到了建立一个教学工具来教授自动机理论和形式语言。为了实现图形可视化和交互式操作，正在开发一种新的界面应用程序GUItar。在本文中，我们描述了FAdo系统的主要组成部分，以及图形界面和编辑器、导出/导入过滤器及其与FAdo等外部系统的通用接口。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换

zbMATH中的参考文献（参考

显示第1到第10个结果，共10个。
按年份排序(引用)

  1. Konstantindis，Stavros；Moreira，Nelma；Reis，Rogério:使用自动机和传感器随机生成错误控制代码（2018）
  2. Konstantindis，Stavros；Meijer，Casey；Moreira，Nelma；Reis，Rogério：通过传感器实现代码属性（2016）
  3. Nelma Moreira；David Pereira；Melo de Sousa，Simão:在Coq中决定Kleene代数项等价性（2015）
  4. 德迈尔，阿基姆；杜雷特·卢茨，亚历山德拉；伦巴第，西尔文；赛乌，卢卡；萨卡罗维奇，雅克：加权自动机和有理表达式的类型系统（2014）
  5. Lammich，Peter；Tuerk，Thomas:将数据精化应用于Hopcroft算法（2012）
  6. Moreira，Nelma；Pereira，David；Melo de Sousa，Simão:在Coq中决定正则表达式（in-）等价性（2012）
  7. Almeida，Marco；Moreira，Nelma；Reis，Rogério:增量DFA最小化（2011）
  8. Broda，Sabine；Machiavero，António；Moreira，Nelma；Reis，Rogério:偏导数自动机的平均状态复杂性：一种分析组合学方法（2011）
  9. Broda，Sabine；Machiavero，António；Moreira，Nelma；Reis，Rogério:偏导数自动机的平均状态数（2010）
  10. 阿尔梅达，安德烈；阿尔梅达，马可；阿尔维斯，何塞；莫雷拉，内尔玛；里斯，罗格里奥：法多和吉他（2009）ioport公司