S → ABBB A → at B→ At,