import astd s1 = astd.Elem('s1') s2 = astd.Elem('s2') s3 = astd.Elem('s3') s4 = astd.Elem('s4') s5 = astd.Elem('s5') s6 = astd.Elem('s6') s7 = astd.Elem('s7') s8 = astd.Elem('s8') a = astd.Automaton(s1, "a") a.addState(s2) a.addState(s3) a.addDFState(s4) a.addLocalTransition(s1, s2, ('e1', )) a.addLocalTransition(s1, s3, ('e2', )) a.addLocalTransition(s3, s4, ('e3', )) b = astd.Automaton(s5, "b") b.addState(s6) b.addState(s7) b.addDFState(s8) b.addLocalTransition(s5, s6, ('e4', )) b.addLocalTransition(s6, s7, ('e2', )) b.addLocalTransition(s7, s8, ('e5', )) c = astd.Synchronization(a, b, ["e2"], "c") c.Bprint()
import astd s1 = astd.Elem('s1') s2 = astd.Elem('s2') a = astd.Automaton(s1,"a") a.addDFState(s2) a.addLocalTransition(s1,s2,('e1',)) a.addLocalTransition(s2,s2,('e2',)) b = astd.Guard(a,"1 < 10","b") b.Bprint()
import astd s1 = astd.Elem('s1') s2 = astd.Elem('s2') s3 = astd.Elem('s3') s4 = astd.Elem('s4') a = astd.Automaton(s1, "a") a.addDFState(s2) a.addLocalTransition(s1, s2, ('e1', )) a.addLocalTransition(s2, s2, ('e2', )) b = astd.Automaton(s3, "b") b.addDFState(s4) b.addLocalTransition(s3, s4, ('e3', )) c = astd.Kleene(a, "c") d = astd.Kleene(b, "d") e = astd.Sequence(c, d, "e") f = astd.Kleene(e, "ff") f.Bprint()