Pseudocodice relativo alla generazio dello spazio delle chiusure silenzise

Silence Closure Graph(behavioral_state_graph)

slient_closure_space = []
# stato inziale : behavioral_state_graph[0][0]
silent_closure = create_silent_closure(behavioral_state_graph, behavioral_state_graph[0][0])
slient_closure_space.append(silent_closure)

for (parent_node, transition, child_node) in behavioral_state_graph do
  if transition.observable_label != 'ε' do
    silent_closure = create_silent_closure(behavioral_state_graph, child_node)
    slient_closure_space.append(silent_closure)
  end if
end for