Sentential form of a right-linear regular grammar (source code)

= Sentential form of a right-linear regular grammar

Every sentential form reachable from the start variable of a right-linear grammar is either a terminal word $w$ or $wA$, where $A$ is the unique variable and occurs at the right end.