def= v 0 x := x + 1 v0 u x := x + 1 [overflow(x)] [¬overflow(x)] v 0 u x ... [¬overflow(x)] (a) Original CFA (b) CFA with overflow (c) Accelerated CFA 0 1 2 ...
確定! 回上一頁