Question

我正在上一门正式语言课，并且正在进行语法测验。我假设会出现这样的事情。

考虑字母表Σ= {a，b，c}。构造一个生成语言L = {bab ^ nabc ^ na ^ p：n≥0，p≥1}的语法。假设起始变量是S。

Answer 1

自从我最后一次使用正式语言以来已经很长时间了，所以，请原谅我的生锈，但这将是语言：我们将S除以前缀变量（{{1 }}和后缀变量（A）。然后，我们分别处理前缀和后缀，它们都有可能的进一步递归规则，并且结束符号为空，不需要出现，并且常量至少需要出现。