Der POSIX-Standard definiert die grammar für die POSIX-Shell. Die Definition enthält eine kommentierte Yacc-Grammatik. Als solches kann es mehr oder weniger mechanisch in EBNF umgewandelt werden.
Wenn Sie eine "echte" Grammatik wollen, dann müssen Sie härter schauen. Wähle deine "echte Shell" und finde die Quelle und finde heraus, woraus die Grammatik besteht.
Beachten Sie, dass EBNF nicht weit verbreitet ist. Es ist von begrenztem praktischen Wert, nicht zuletzt, weil es im Wesentlichen keine Werkzeuge gibt, die es unterstützen. Daher ist es unwahrscheinlich, dass Sie eine EBNF-Grammatik (von fast allem) von der Stange finden.
@ceving fand eine andere Kopie und speicherte diese auf der WayBackMachine, sollte die Link-Langlebigkeit erhöhen. – rubenvb