This HTML5 document contains 13 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Subject Item

wikipedia-es:Forma_normal_de_Greibach

foaf:primaryTopic

dbpedia-es:Forma_normal_de_Greibach

Subject Item

dbr:Greibach_normal_form

owl:sameAs

dbpedia-es:Forma_normal_de_Greibach

Subject Item

dbpedia-es:Forma_normal_de_Greibach

rdfs:label

Forma normal de Greibach

rdfs:comment

Una gramática independiente del contexto (GIC) está en Forma normal de Greibach (FNG) si todas y cada una de sus reglas de producción tienen un consecuente que empieza por un carácter del alfabeto, también llamado símbolo terminal. Formalmente, cualquiera de las reglas tendrá la estructura: * *

owl:sameAs

n11:0f3d0

dct:subject

category-es:Gramática_generativa

foaf:isPrimaryTopicOf

wikipedia-es:Forma_normal_de_Greibach

dbo:wikiPageID

467929

dbo:wikiPageRevisionID

117365891

dbo:wikiPageLength

1311

prov:wasDerivedFrom

n13:0

dbo:abstract

Una gramática independiente del contexto (GIC) está en Forma normal de Greibach (FNG) si todas y cada una de sus reglas de producción tienen un consecuente que empieza por un carácter del alfabeto, también llamado símbolo terminal. Formalmente, cualquiera de las reglas tendrá la estructura: * Donde "A" es el antecedente de la regla, que en el caso de las GIC debe ser necesariamente un solo símbolo auxiliar. Por su parte, "a" es el mencionado comienzo del consecuente y, por tanto, un símbolo terminal. Finalmente, "w" representa una concatenación genérica de elementos gramaticales, esto es, una sucesión exclusivamente de auxiliares, inclusive, pudiera ser la palabra vacía; en este caso particular, se tendría una regla llamada "terminal": * Existe un teorema que prueba que cualquier GIC, cuyo lenguaje no contiene a la palabra vacía, si no lo está ya, se puede transformar en otra equivalente que sí esté en FNG. Para su demostración, normalmente, se procede por construcción, es decir, se plantea directamente un algoritmo capaz de obtener la FNG a partir de una GIC dada.

Subject Item

dbpedia-es:Forma_normal_de_greibach

dbo:wikiPageRedirects

dbpedia-es:Forma_normal_de_Greibach