LTL支持的语言

Question

ltl p {（Xq）|| （FP）}，

这种LTL公式接受的正式语言是什么？

例如：  lt p {p＆amp;＆amp; （Xq的）}

{w = a0a1a2.... | p∈a0 && q∈a1}

Answer 1

属性X q || F p接受语言的单词

{ w = w0w1w2... | q ∈ w1 or ∃wi. p ∈ wi }

查看接受语言的另一种方法是绘制与 LTL公式 X q || F p对应的 Buchi Automaton ：

  

致谢：使用 ltl2ba 生成的图片