LR（1）-物品，向前看
我在理解LR（1）-项目中的超前原理方面遇到困难。 以一个具有以下语法的示例为例： S-> AB A->抗体b B-> d 然后，第一个状态如下所示： S-> .AB，{向前看} A-> .aAb，{向前看} A-> .b，{向前看} 我知道向前看是什么，但我不知道如何计算它们。 我已经在Google上搜索了答案，但找不到
..
automata-theory相关内容
构造上下文无关的语法
如何为以下语言构建上下文无关的语法： L = {a ^ lb ^ mc ^ nd ^ p | l + n == m + p; l，m，n，p> = 1} 我首先尝试： S-> abcd | aAbBcd | abcCdD | aAbcdD | AabBcCd ，然后 A =其他。 ..但我无法正常工作。 。 我想知道如何记
..
如何模拟不确定的有限换能器?
只需跟踪自动机所处的状态及其在输入字符串中的距离，就可以轻松地在输入字符串上模拟不确定的自动机.但是如何模拟不确定的转换器(转换器当然可以将输入符号转换为输出符号，并给出输出字符串而不是布尔值)?似乎这更加复杂，因为我们需要以某种方式跟踪输出字符串，由于不确定性，输出字符串可能会很多. 解决方案 首先，一些理论.以下是不同的代数结构: 发电机(过渡系统) 受体(自动机)
..