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()