import vcsn
ctx = vcsn.context("lal_char(abc), b")
ctx

r1 = ctx.ratexp("ab*")
r1

r1.shortest(10)

r1 + r1 * r1

r1.standard()

a1 = r1.derived_term()
a1

a2 = (r1 + r1*r1).derived_term()
a2

a3 = a1 + a1 * a1
a3

a2.is_equivalent(a3)

a3

a3.determinize()

a3.determinize().strip().complete()

a3.eval("a")

a3("b")

a3.shortest(10)

a3.ratexp()