¿Cómo terminó la palabra "producción" como sinónimo de la palabra "regla" en el contexto de la informática?

13

Estoy estudiando lenguajes formales y sistemas de bases de producción (sistemas de bases de reglas) y estoy un poco confundido acerca de por qué estas dos palabras "producción" y "regla" significan lo mismo en tantos contextos en informática.

En inglés no parecen significar lo mismo. No soy hablante nativo de inglés, pero sé que una regla se refiere a algo que uno debe / no debe hacer cuando habla de personas o algo que si se repite muchas veces dará el mismo resultado y decimos que funciona según algunas reglas ( la forma en que funciona está definida por algunos protocolos / procedimientos que son los mismos cada vez).

La producción se refiere a algo completamente diferente ... la fase de algunos bienes físicos o software que actualmente se están haciendo / produciendo. El acto de hacer algo físico o una obra de arte, algo escrito, algo de dibujo, algo hecho con las capacidades físicas o mentales de alguien. Decimos que se produce lo específico.

Sin embargo, en informática estas palabras que representan cosas completamente diferentes en inglés significan lo mismo en CS. ¿Cómo terminaron estos términos en CS?

¿Existe algún tipo de diccionario etimológico para la informática? ¿Un diccionario que nos dice cómo terminaron siendo los términos en informática?

Por cierto: hecho interesante: ni la producción ni la regla son etiquetas en este sitio de Stack Exchange.

yoyo_fun
fuente
A pesar de que la principal aplicación de las gramáticas formales hoy en día en los analizadores sintácticos , su origen proviene de los lenguajes naturales, específicamente del campo lingüístico de la gramática generativa. Chomsky los usó para describir cómo producir oraciones, por eso se les llama reglas de producción.
Miles Rout

Respuestas:

22

Una gramática tiene "Reglas de producción": reglas sobre las nuevas secuencias de símbolos que puede producir a partir de secuencias antiguas. En los casos de gramáticas libres de contexto, esta secuencia anterior siempre es un símbolo único no terminal.

A veces la gente abrevia "reglas de producción" a "producciones". A veces las personas abrevian "reglas de producción" a "reglas".

Los dos no son sinónimos: hay muchas cosas que son reglas pero no son producciones, y la gente puede llamar a un solo uso de una regla una producción, o la regla en sí misma una producción. En general, la esperanza es que, a partir del contexto, quede claro lo que significa.

jmite
fuente
¿Qué tipo de contextos distinguirían una producción de una regla?
Robert Harvey
99
Por ejemplo, en la inferencia de tipos (o cualquier tipo de definición inductiva en lenguajes de programación) tenemos reglas de inferencia, pero estas están separadas de (aunque relacionadas con) producciones en una gramática. Del mismo modo, hay algo así como "sistemas basados ​​en reglas" en IA que es algo completamente diferente.
jmite
2
Reglas de inferencia de Prolog desarrolladas históricamente a partir de reglas de producción (a través de una forma de gramática de atributos).
reinierpost
5

Uno de los artículos fundamentales de la teoría del lenguaje formal, Tres modelos para la descripción del lenguaje (Noam Chomsky, 1956), describe los mecanismos matemáticos por los cuales se pueden producir (generar) oraciones , de forma similar a la forma en que los humanos producen oraciones al hablar o escribir . Las oraciones se producen aplicando reglas de reescritura, por lo que estas reglas son reglas de producción del lenguaje.

Las producciones de nombres abreviados para las reglas de producción surgieron más tarde y son técnicamente inexactas (Chomsky usa ese término en su artículo para nombrar lo que producen las reglas, no como un término para las reglas mismas).

reinierpost
fuente