-- 10)
-- funkcje do drukowania grafu LTS w formacie tekstowym

printTransitions :: [(String,Int)] -> String
printTransitions [] = []
printTransitions ((label,number):transitions) 
  = "-- " ++ label ++ " -> " ++ (show number) ++ "\n" ++ printTransitions transitions
  
printLTS :: [Node] -> String
printLTS [] = []
