empty-into-emptyB.ba
q(0)
a,q(0)->q(1)
a,q′(0)->q′(1)
b,q(0)->q′(0)
a,q′(0)->pn
a,q(1)->q(2)
a,q′(1)->q′(2)
b,q(1)->q′(1)
a,q′(1)->pn
a,q′(2)->pn
b,q(2)->q′(2)
pn
q(0)
a,q(0)->q(1)
a,q′(0)->q′(1)
b,q(0)->q′(0)
a,q′(0)->pn
a,q(1)->q(2)
a,q′(1)->q′(2)
b,q(1)->q′(1)
a,q′(1)->pn
a,q′(2)->pn
b,q(2)->q′(2)
pn