Questions marquées «formal-grammars»

Questions sur les grammaires formelles, descriptions génératives des langages formels.

1
Expressivité des expressions régulières modernes
J'ai récemment discuté avec un ami d'un site Web qui proposait des défis d'expression régulière, correspondant principalement à un groupe de mots avec une propriété spéciale. Il cherchait une expression régulière qui correspond à des chaînes comme ||||||||où le nombre de |est premier. Je lui ai immédiatement dit que ça …
2
Nom correct pour un analyseur de descente récursif qui utilise des boucles pour gérer la récursion gauche?
Cette grammaire est récursive: Expression ::= AdditionExpression AdditionExpression ::= MultiplicationExpression | AdditionExpression '+' MultiplicationExpression | AdditionExpression '-' MultiplicationExpression MultiplicationExpression ::= Term | MultiplicationExpression '*' Term | MultiplicationExpression '/' Term Term ::= Number | '(' AdditionExpression ')' Number ::= [+-]?[0-9]+(\.[0-9]+)? Donc, en théorie, la descente récursive ne fonctionnera pas. Mais en …
1
Les langages formels peuvent-ils être utilisés pour étudier la notation mathématique?
Question: Existe-t-il des textes d'introduction en langage formel ou en théorie du langage de programmation qui discutent de la façon de l'appliquer à l'étude de la notation optimale? En particulier, je suis intéressé à savoir quels sont les langages de pile, les arbres d'analyse et les indices, et comment prédire …
2
Pourquoi la BNF est-elle considérée comme une technique peu satisfaisante pour décrire une langue?
L' autre jour, je lisais le document intitulé Fundamental Concepts in Programming Languages ​​de C. Strachey , dans lequel j'ai lu quelque chose qui m'était assez étrange. Citant directement (avec la partie étrange surlignée par moi): Face à la situation telle qu'elle existe aujourd'hui, où il existe une méthode généralement …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.