Pseudocodice Diagnosi relativa ad un osservazione lineare

Diagnosis_from_observable(observation_graph, final_states)

# INIZIO SETUP STATO INZIALE
global_sequence = []
  for parent_state, transition, child_state in observation_graph do
      new_node <- (parent_state.name, transition.relevant_label , child_state.name )
      global_sequence.append(new_node)
  end for
  if len(global_sequence) != 0
    Espressione_regolare(global_sequence)
  else
    error(Sequenza non osservabile)

# FINIE RINOMINAZONE