convertir grammaire (écrite en ANTLR) d'une langue en langage formel/notations mathématiques

Question

Dans mon projet actuel, mon patron a assigné un travail d'expression d'une grammaire (écrite en ANTLR) de domaine spécifique au langage formel/notations. Par exemple, ce qui suit est un petit extrait de code de la grammaire. A ma connaissance, la grammaire ANTLR de n'importe quelle langue est elle-même une spécification formelle. Je n'ai aucune idée - Comment puis-je spécifier cette grammaire est de manière formelle. Pourriez-vous s'il vous plaît me donner des indications pour écrire la grammaire ci-dessus en notation formelle/notation mathématique?

Answer 1

Oui, une grammaire ANTLR est un système formel. Sur cette base, vous pouvez simplement déclarer la victoire avec un visage impassible.

Il veut probablement autre chose que la syntaxe ANTLR. Et, à juste titre, les annotations dans la grammaire ANTLR pour la construction d'arbres, etc., ne font qu'embrouiller le problème, tout comme les différents lookaheads. Donc, à votre place, je supprimerais toutes les annotations, et remanierais probablement la grammaire en IEEE EBNF (Voir http://en.wikipedia.org/wiki/Extended_Backus%E2%80%93Naur_Form). Et vous pouvez le diriger vers cette page web, et déclarer que vous avez une "pure grammaire sans contexte".