function g” – Execute(x0, p, be, a, N) 1: Qse, e-W 2: 6 – Construct Buchi ... fuelo – 1) 4: G.add (go), g” – go 5: repeat 6: if g”.fuel – a then 7: seq ...
確定！ 回上一頁
