如何在Erlang中创建一个解析器来接收一个正确格式化的命题公式并将其转换为某种内部表示。
列出用于在Erlang中创建解析器的可用工具以及使用这些工具的项目可能会有所帮助。
列出用于在Erlang中创建解析器的可用工具以及使用这些工具的项目可能会有所帮助。
leex
、yecc
、spell1
和其他一些工具。
leex:一种基于正则表达式的词法分析器生成器,类似于lex或flex。Lexer文件包括Definition
、Rules
和Erlang代码部分。
yecc:一种LALR-1解析器生成器,类似于yacc。解析器生成器文件包括Non-terminals
、Terminals
、Rules
和Root-symbols
部分。
neotoma:用于Erlang的Packrat解析器生成器,用于解析表达式语法(PEGs)。
一些使用它们的开源项目:
此幻灯片包含一些关于如何使用它们的有用示例。