Finite-State Machine Model for Game with Red and Green Cells

Q = {1, 2, 3, 4, 5}

∑ = {'red', 'green'}

δ(1, 'red') = 2

δ(1, 'green') = 4

δ(2, 'red') = 1

δ(2, 'green') = 3

δ(3, 'red') = 2

δ(3, 'green') = 5

δ(4, 'red') = 1

δ(4, 'green') = 5

δ(5, 'red') = 3

δ(5, 'green') = 4