Solution to exam 08, assignment 4.1-2 ?

[mort]

Hello

Does anybody have the solution to assignments 4.1-2 of the exam from
2008? I'm primarily thinking of the transition diagram in 4.2, which I
am not sure I've gotten right.

Thanks!

[Wei Zhang]

4.1
(i,d1,d2) ->(i',d1',d2')
where
d1' = i
d2' | i=d1 = d2
| i/=d1 = d1

4.2
(011)->(001|101)
(111)->(111|011)
(001)->(001|101)
(101)->(010|110)
(010)->(001|101)
(110)->(110|010)
(000)->(000|100)
(100)->(010|110)

[mort]

Thanks Wei!
But it looks kind of fishy.. Isn't the d2 supposed to switch to the
inverse of the input (i) when d1 != i ?
In your solution it only changes its value at two transitions..

[mort]

Okay, I understand now :) thanks again.