input: Write a python function to simulate a state machine transitioning through states.
  assert simulate_state_machine() == [State.Initialize, State.Event1, State.Event2, State.Event3, State.Finalize, State.Initialize]
  assert simulate_state_machine() == [State.Initialize, State.Event1, State.Event2, State.Event3, State.Finalize, State.Initialize]
  assert simulate_state_machine() == [State.Initialize, State.Event1, State.Event2, State.Event3, State.Finalize, State.Initialize]
output: from enum import Enum, auto
  
  class State(Enum):
      Initialize = auto()
      Event1 = auto()
      Event2 = auto()
      Event3 = auto()
      Finalize = auto()
  
  def simulate_state_machine():
      states = [
          State.Initialize,
          State.Event1,
          State.Event2,
          State.Event3,
          State.Finalize,
          State.Initialize
      ]
      return states