吉他

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