the set of all strings over the alphabet {a,b} that have an even number of b's.
{a,b}
b
Local users: to run simulation (read here before running).
example05.aut
main menu
Actions: