from FSM import *
print "Creating x as follows..."
x = FSM(1, [])
x.addTransition(1, 2, 'ab')
x.addTransition(1, 3, 'b')
x.addTransition(2, 3, 'b')
x.grantAcceptingState(3)
#print x.toString()
x.breakMultipleCharactersTransitions()
print x.toString()
k = FSM.kleene(x)
k.addTransition(1, 3, 'bb')
k.removeTransition(1, 3, 'b')
print k.toString()
print "Determinising..."
dfsm = FSM.determinise(k)
print dfsm.toString()
dfsm.draw()
print "Is abbbbbbabb in dfsm? : " + str(dfsm.match("abbbbbbabb")) # True
print "Is abb in dfsm? : " + str(dfsm.match("abb")) # True
print "Is bb in dfsm? : " + str(dfsm.match("bb")) # True
print "Is a in dfsm? : " + str(dfsm.match("a")) # False
