Comment le mot «production» est-il devenu synonyme du mot «règle» dans le contexte de l'informatique?


13

J'étudie les langages formels et les systèmes de bases de production (systèmes de bases de règles) et je suis un peu confus quant à la raison pour laquelle ces deux mots "production" et "règle" signifient la même chose dans tant de contexte en informatique.

En langue anglaise, ils ne semblent pas vouloir dire la même chose. Je ne suis pas un anglophone natif mais je sais qu'une règle fait référence à quelque chose que l'on devrait / ne devrait pas faire quand on parle de personnes ou quelque chose qui, s'il est répété plusieurs fois, donnera le même résultat et nous disons que cela fonctionne selon certaines règles ( la façon dont cela fonctionne défini par certains protocoles / procédures qui sont les mêmes à chaque fois).

La production se réfère à quelque chose de complètement différent ... la phase de certains biens physiques ou logiciels qui sont actuellement fabriqués / produits. L'acte de faire quelque chose soit physique ou une œuvre d'art, une écriture, un dessin, quelque chose qui est fait avec les capacités physiques ou mentales de quelqu'un. Nous disons que la chose spécifique est produite.

Cependant en informatique ces mots qui représentent des choses complètement différentes en anglais signifient la même chose en CS. Comment ces termes ont-ils fini par être similaires dans CS.

Existe-t-il une sorte de dictionnaire étymologique pour l'informatique. Un dictionnaire qui nous raconte comment les termes en informatique ont fini par être?

BTW: Fait intéressant: ni production ni règle ne sont des balises dans ce site Stack Exchange.


Malgré l'application majeure des grammaires formelles aujourd'hui dans les parseurs , leur origine provient des langues naturelles, en particulier le domaine linguistique de la grammaire générative. Chomsky les a utilisés pour décrire comment produire des phrases, c'est pourquoi on les appelle des règles de production.
Miles Rout

Réponses:


22

Une grammaire a des "règles de production:" des règles concernant les nouvelles séquences de symboles que vous pouvez produire à partir d'anciennes séquences. Dans les cas de grammaires sans contexte, cette ancienne séquence est toujours un symbole non terminal unique.

Parfois, les gens abrègent les "règles de production" en "productions". Parfois, les gens abrègent "règles de production" en "règles".

Les deux ne sont pas synonymes: il y a beaucoup de choses qui sont des règles mais pas des productions, et les gens peuvent appeler une seule utilisation d'une règle une production, ou la règle elle-même une production. Généralement, l'espoir est qu'il soit clair à partir du contexte ce que l'on entend.


Quels types de contextes distingueraient une production d'une règle?
Robert Harvey

9
Par exemple, dans l'inférence de type (ou toute sorte de définition inductive dans les langages de programmation), nous avons des règles d'inférence, mais celles-ci sont distinctes (bien que liées aux) productions dans une grammaire. De même, il existe une chose telle que les "systèmes basés sur des règles" dans l'IA, ce qui est complètement différent.
jmite

2
Les règles d'inférence de Prolog se sont développées historiquement à partir des règles de production (via une forme de grammaire attributaire).
reinierpost

5

L'un des articles fondamentaux de la théorie du langage formel, Trois modèles pour la description du langage (Noam Chomsky, 1956), décrit les mécanismes mathématiques par lesquels les phrases peuvent être produites (générées), de la même manière que les humains produisent des phrases lorsqu'ils parlent ou écrivent. . Les phrases sont produites en appliquant des règles de réécriture, donc ces règles sont des règles de production de langage.

Les productions de noms abrégés pour les règles de production sont apparues plus tard et sont techniquement inexactes (Chomsky utilise ce terme dans son article pour nommer ce qui est produit par les règles, et non comme un terme pour les règles elles-mêmes).

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.