Relationship Between IO Sequences
IO(j,k) = [i1/o1,...,if/of,IO(l,m)]
where [i1/o1,...,if/of] is a shortest sequence of inputs
which change states j and k into l and m respectively.
For example,
IO(1,4) = [b,IO(3,1)] = [b,b].
[b] changes state 1 to 3.
changes state 4 to 1.
IO(3,1) = [b].
前一張投影片
下一張投影片
回到第一張投影片
檢視圖形版本