.
automatenverbot bnfa