有限自动机的 Lex 和 Yacc

Question

我想开发一个工具来使用 Lex 和 Yacc 在给定其转移表、开始状态和最终状态的情况下构建任何有限自动机的转移图。工具还应该提供一个工具来检查自动机是否接受了一个字符串。

谁能告诉我怎么做。

Answer 1

这可能是一个有用的introduction。在 lex 中实现 DFA，带有源代码和非常详细的插图。