该软件讨厌基于确定性有限自动机的可执行规范语言,这使用户可以在由其定义的状态机中执行单词识别测试。 而且,用户可以分配要在每个转换自动机上执行的代码段,这些代码段可以用Lua或PHP编程语言来描述。 为了测试使用该语言进行的测试,开发了一种可识别单词并生成目标代码的编译器。