S → AAtAtAt A → at,