未解析的 AST <O(exp(n))?
抽象问题描述: 在我看来，解析意味着从 AST 创建一个令牌流，当再次解析时会产生一个相等的 AST. 所以 parse(unparse(AST)) = AST 成立. 这等同于找到一个有效的解析树，它会产生相同的 AST. 该语言由 无上下文 S-attributed 语法使用 eBNF 变体. 因此，解析器必须通过所有语法约束都存在的遍历节点找到有效的“路径".这
..
constraint-satisfaction相关内容
未解析的 AST <O(exp(n))?
抽象问题描述: 在我看来，解析意味着从 AST 创建一个令牌流，当再次解析时会产生一个相等的 AST. 所以 parse(unparse(AST)) = AST 成立. 这等同于找到一个能产生相同 AST 的有效解析树. 该语言由 无上下文 S-attributed 语法，使用 eBNF 变体. 因此，解析器必须通过所有语法约束都存在的遍历节点找到有效的“路径".这基
..
未解析的AST< O（exp（n））？
抽象问题描述： 我认为，未解析意味着从AST创建令牌流，再次对其进行解析产生相等的AST。 所以 parse（unparse（AST））= AST 成立。 这等同于找到可以产生相同AST的有效分析树。 该语言由上下文无关描述 S属性语法使用 eBNF 变体。 因此，解析器必须通过遍历所有语法约束的节点找到有效的“路径”。这从根本上讲是指为语法生成规则找到有效的 AST
..
约束满足不确定性
我试图解决一个问题，即约束的满意度不能总是得到验证。我可以找到很多关于灵活的约束满足的论文，但是这并不完全是我想要的。这里有一个例子： P（吉姆喜欢奶酪）= 0.8 P（乔喜欢奶酪）= 0.5 P（山姆喜欢奶酪）= 0.2 P（吉姆和Sam是朋友）= 0.9 P（吉姆和乔是朋友）= 0.5 P（乔和山姆是朋友）= 0.7 查理谈论约两奶酪喜欢的朋友。谁是他最有可能说什么？ 我目前看
..