Sie können Wörter vom Typ $0~11110~111$ nicht ableiten. Das heißt, Wörter, wo nach mehr als drei Einsen wieder eine Null kommen soll.
Wörter der Sprache starten mit $0$ und enden mit $111$, wobei dazwischen alle möglichen Kombinationen aus Nullen und Einsen vorkommen können müssen.