Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- def determinisation(auto):
- alphabet = set()
- matrice = []
- for s in auto.getListStates():
- for t in auto.getListTransitionsFrom(s):
- alphabet.add(t.etiquette)
- print(alphabet)
- for s in auto.getListStates():
- tr = []
- tr.append(s)
- for l in alphabet:
- le = []
- for t in auto.getListTransitionsFrom(s):
- if t.etiquette == l:
- le.append(t.stateDest)
- tr.append(le)
- matrice.append(tr)
- return matrice
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement