2 Büchi自动机和线性微积分的等价性 众所周知，每个LTL公式都可以由Büchi -automaton表示。但是，很明显，Büchi自动机是一种功能更强大的表达模型。我在某处听说过Büchi自动机等效于线性时间 -calculus（即具有常规固定点且只有一个时间运算符 -calculus ）。μ μ Xωω\omegaμμ\muμμ\muXX\mathbf{X} 是否存在这种相等性的算法（构造证明）？ 30 logic automata formal-methods linear-temporal-logic buchi-automata
6 从一组对中生成组合而无需重复元素 我有一对。每对都具有（x，y）的形式，使得x，y属于范围内的整数[0,n)。 因此，如果n为4，那么我有以下几对： (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) 我已经有一对了。现在，我必须使用n/2对构建一个组合，这样就不会重复任何整数（换句话说，每个整数在最终组合中至少出现一次）。以下是正确和不正确组合以更好地理解的示例 1. (0,1)(1,2) [Invalid as 3 does not occur anywhere] 2. (0,2)(1,3) [Correct] 3. (1,3)(0,2) [Same as 2] 一旦我有了配对，有人可以建议我一种生成所有可能组合的方法。 28 algorithms graphics data-structures computational-geometry operating-systems process-scheduling algorithms sorting database-theory relational-algebra finite-model-theory logic automata linear-temporal-logic buchi-automata complexity-theory np-complete decision-problem machine-learning algorithms pattern-recognition logic formal-languages formal-grammars context-free
1 将确定性Büchi自动机转换为LTL的算法（如果可能） F摹一FG一个FGa 我需要一种算法来确定LTL中是否描述了给定DBA的语言。你知道算法吗？ 10 logic automata linear-temporal-logic buchi-automata