S → AAtAtAt