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.
Respuestas:
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.
fuente
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).
fuente