解决FCG会员资格的计划

Question

我需要帮助，我正在使用语言和自由上下文语法，我需要知道是否存在有助于解决成员资格问题的算法或程序，这意味着给出字符串“w”和FCG G，决定它是在语言上的字符串还是不是。

我正在寻找一个可以执行此操作的库或程序，以便以后将字符串转换为自动机。

Answer 1

首先，我只看到过这样的语法，称为无上下文语法，而不是自由语境语法。此外，自动机是自动机的复数。关于将字符串转换为自动机的最后一句话是没有意义的。在无上下文语法和下推自动机之间存在对应关系，但在字符串和自动机之间没有对应关系。给定一个无上下文语法，最简单的算法，可能不是最有效的，决定一个字符串是否是语法语言的一部分将是将语法中的每个可能的生成应用于每个可能的非终端字符串，可以从起始非终端派生。生成长度小于或等于相关字符串的每个可能的字符串。如果字符串不存在，则它不是语法语言的成员。