Das mit den Variablen kam wohl nicht so an, wie ich meinte. In einer formalen Grammatik gibt es ein Alphabet und Variablen/Nichtterminalsymbole . Bei Anwendung von Produktionsregeln erhält man "Strings" aus . Die Frage ist, ob diese auch als Wörter zu bezeichnen sind, oder zur Unterscheidung von Wörtern aus schlicht als Zeichenkette. Das kann man natürlich hier nicht ausdiskutieren; entweder ist es auch in der Literatur so, dann gehört es hier korrigiert, oder es ist nicht so, dann verzeiht den Einwand.