ltl p {(Xq) || (Fp)},
这个 LTL 公式接受的正式语言是什么？
例如：ltl p { p && (Xq)}
{w = a0a1a2.... | p∈a0 && q∈a1}
问问题
104 次
1 回答
1
该物业X q || F p接受该语言的单词
{ w = w0w1w2... | q ∈ w1 or ∃wi. p ∈ wi }
另一种查看接受语言的方法是绘制对应LTL 公式的Buchi Automaton： X q || F p
致谢：使用ltl2ba生成的图像
于 2016-11-29T13:27:07.357 回答