Forma normal de Chomsky
Una gramática formal está en Forma normal de Chomsky si todas sus reglas de producción son de alguna de las siguientes formas: A {\displaystyle A} → {\displaystyle \rightarrow \,} B C {\displaystyle BC} o A {\displaystyle A} → {\displaystyle \rightarrow \,} α donde A {\displaystyle A} , B {\displaystyle B} y C {\displaystyle C} son símbolos no terminales (o variables) y α es un símbolo terminal. Todo lenguaje independiente del contexto que no posee a la cadena vacía, es expresable por medio de una gramática en forma normal de Chomsky (GFNCH) y...
Nº Q1076039 ★
Común · Saberes
Forma normal de Chomsky
Una gramática formal está en Forma normal de Chomsky si todas sus reglas de producción son de alguna de las siguientes formas: A {\displaystyle A} → {\displaystyle \rightarrow \,} B C {\displaystyle BC} o A {\displaystyle A} → {\displaystyle \rightarrow \,} α donde A {\displaystyle A} , B {\displaystyle B} y C {\displaystyle C} son símbolos no terminales (o variables) y α es un símbolo terminal. Todo lenguaje independiente del contexto que no posee a la cadena vacía, es expresable por medio de una gramática en forma normal de Chomsky (GFNCH) y...
En Wikipedia
Una gramática formal está en Forma normal de Chomsky si todas sus reglas de producción son de alguna de las siguientes formas: A {\displaystyle A} → {\displaystyle \rightarrow \,} B C {\displaystyle BC} o A {\displaystyle A} → {\displaystyle \rightarrow \,} α donde A {\displaystyle A} , B {\displaystyle B} y C {\displaystyle C} son símbolos no terminales (o variables) y α es un símbolo terminal. Todo lenguaje independiente del contexto que no posee a la cadena vacía, es expresable por medio de una gramática en forma normal de Chomsky (GFNCH) y recíprocamente. Además, dada una gramática independiente del contexto, es posible algorítmicamente producir una GFNCH equivalente, es decir, que genera el mismo lenguaje.
Texto: Wikipédia, CC BY-SA 4.0. ·
Cartas cercanas
-
Jerarquía de Chomsky
Nº Q190913 ★★★
Sin ofertas
-
F
Forma normal conjuntiva
Concepto en lógica booleana
Nº Q846564 ★★
Sin ofertas
-
Axiomas de probabilidad
Nº Q974605 ★★
Sin ofertas
-
C
Chomskybot
Nº Q5104458 ★
Sin ofertas
-
Compacidad (lógica)
Nº Q1149458 ★
Sin ofertas
-
Constante de equilibrio
Nº Q857809 ★★
Sin ofertas