accepting the language L = { a^nb^n }

rules

[A]ab[B]->[A]1[B]
[A]a1b[B]->[A]1[B]

input

aaaabbbb