法多

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


ZBMaCT中的参考文献(14篇文章中引用)

显示结果1至14的14。
按年份排序(引文

  1. 布罗达、Sabine、Machiavelo、蚂蚁·尼奥、莫雷拉、Nelma、赖斯、罗格里奥:强星范式下正则表达式的平均行为(2019)
  2. 布罗达,Sabine;Machiavelo,蚂蚁·尼奥;莫雷拉,Nelma;赖斯,罗格里奥:用混洗的正则表达式自动机(2018)
  3. Kari,Lila;康斯坦丁尼迪斯,斯塔夫罗斯,科佩基,斯特芬:反义问题的DNA编码性质和不可判定性的传感器描述(2018)
  4. Konstantinidis,斯塔夫罗斯;梅耶尔,凯西;莫雷拉,Nelma;赖斯,罗杰里奥:符号属性的符号操控(2018)
  5. Konstantinidis,斯塔夫罗斯;莫雷拉,Nelma;赖斯,罗格里奥:误差自控码随机化和自动换能器的随机生成(2018)
  6. Konstantinidis,斯塔夫罗斯;梅耶,凯西;莫雷拉,Nelma;赖斯,罗杰里奥:通过换能器实现代码性质(2016)
  7. 莫雷拉,Nelma;Pereira,戴维;Melo de Sousa,SIM O:决定COQ(2015)中的克莱恩代数术语等价性
  8. Dimayle,AkIM;Duret Lutz,亚历山大;伦巴第,西尔文;Saiu,卢卡;Sakarovitch,贾可:一个加权自动机和有理表达式的类型系统(2014)
  9. Lammich,彼得;Tuelk,托马斯:将一元程序的数据求精应用到Hoprof算法(2012)
  10. 莫雷拉,Nelma;Pereira,戴维;Melo de Sousa,SIM AO:判定COQ(2012)中的正则表达式(In)等价性
  11. 阿尔梅达,马珂;莫雷拉,Nelma;赖斯,罗杰里奥:增量DFA最小化(2011)
  12. 布罗达、Sabine、Machiavelo、蚂蚁·尼奥、莫雷拉、Nelma、赖斯、罗格里奥:偏导数自动机的平均态复杂度:解析组合数学方法(2011)
  13. 布罗达、Sabine、Machiavelo、蚂蚁·尼奥、莫雷拉、Nelma、赖斯、罗格里奥:偏导数自动机的平均数(2010)
  14. 阿尔梅达,安德烈;阿尔梅达,马珂;阿尔维斯,约瑟夫;莫雷拉,Nelma;赖斯,罗杰里奥:法多和吉他(2009)伊波尔特