法多

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


zbMATH参考文献(14篇文章引用)

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

  1. Broda,Sabine;Machiavero,António;Moreira,Nelma;Reis,Rogério:强星范式中正则表达式的平均行为(2019)
  2. Broda,Sabine;Machiavero,António;Moreira,Nelma;Reis,Rogério:带shuffle的正则表达式自动机(2018)
  3. Kari,Lila;Konstantindis,Stavros;Kopecki,Steffen:DNA编码特性的传感器描述和反形态问题的不可判定性(2018)
  4. Konstantindis,Stavros;Meijer,Casey;Moreira,Nelma;Reis,Rogério:代码属性的符号操作(2018)
  5. Konstantindis,Stavros;Moreira,Nelma;Reis,Rogério:使用自动机和传感器随机生成错误控制代码(2018)
  6. Konstantindis,Stavros;Meijer,Casey;Moreira,Nelma;Reis,Rogério:通过传感器实现代码属性(2016)
  7. Nelma Moreira;David Pereira;Melo de Sousa,Simão:在Coq中决定Kleene代数项等价性(2015)
  8. 德迈尔,阿基姆;杜雷特·卢茨,亚历山德拉;伦巴第,西尔文;赛乌,卢卡;萨卡罗维奇,雅克:加权自动机和有理表达式的类型系统(2014)
  9. Lammich,Peter;Tuerk,Thomas:将数据精化应用于Hopcroft算法(2012)
  10. Moreira,Nelma;Pereira,David;Melo de Sousa,Simão:在Coq中决定正则表达式(in-)等价性(2012)
  11. Almeida,Marco;Moreira,Nelma;Reis,Rogério:增量DFA最小化(2011)
  12. Broda,Sabine;Machiavero,António;Moreira,Nelma;Reis,Rogério:偏导数自动机的平均状态复杂性:一种分析组合学方法(2011)
  13. Broda,Sabine;Machiavero,António;Moreira,Nelma;Reis,Rogério:偏导数自动机的平均状态数(2010)
  14. 阿梅达,阿尔梅德2009;阿尔梅达,阿尔梅多吉他;阿尔梅达,里欧ioport公司