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

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

PrefixNamespace IRI
category-eshttp://es.dbpedia.org/resource/Categoría:
dcthttp://purl.org/dc/terms/
wikipedia-eshttp://es.wikipedia.org/wiki/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n8http://homepages.mty.itesm.mx/rbrena/AyL.
dbpedia-eshttp://es.dbpedia.org/resource/
prop-eshttp://es.dbpedia.org/property/
n14http://es.wikipedia.org/wiki/Lenguaje_formal?oldid=129108410&ns=
rdfshttp://www.w3.org/2000/01/rdf-schema#
n12http://rdf.freebase.com/ns/m.
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbrhttp://dbpedia.org/resource/
Subject Item
dbpedia-es:Lenguaje_formal
rdfs:label
Lenguaje formal
rdfs:comment
En matemáticas, lógica y ciencias de la computación, un lenguaje formal es un lenguaje cuyos símbolos primitivos y reglas para unir esos símbolos están formalmente especificados.​​ Al conjunto de los símbolos primitivos se lo llama el alfabeto (o vocabulario) del lenguaje, y al conjunto de las reglas se lo llama la gramática formal (o sintaxis). A una cadena de símbolos formada de acuerdo a la gramática se la llama una fórmula bien formada (o palabra) del lenguaje. Estrictamente hablando, un lenguaje formal es idéntico al conjunto de todas sus fórmulas bien formadas.
owl:sameAs
n12:02ymn
dct:subject
category-es:Lenguajes_formales category-es:Lingüística_generativa
foaf:isPrimaryTopicOf
wikipedia-es:Lenguaje_formal
dbo:wikiPageID
31739
dbo:wikiPageRevisionID
129108410
dbo:wikiPageExternalLink
n8:html
dbo:wikiPageLength
13938
prov:wasDerivedFrom
n14:0
dbo:abstract
En matemáticas, lógica y ciencias de la computación, un lenguaje formal es un lenguaje cuyos símbolos primitivos y reglas para unir esos símbolos están formalmente especificados.​​ Al conjunto de los símbolos primitivos se lo llama el alfabeto (o vocabulario) del lenguaje, y al conjunto de las reglas se lo llama la gramática formal (o sintaxis). A una cadena de símbolos formada de acuerdo a la gramática se la llama una fórmula bien formada (o palabra) del lenguaje. Estrictamente hablando, un lenguaje formal es idéntico al conjunto de todas sus fórmulas bien formadas. Por ejemplo, un alfabeto podría ser el conjunto {a,b}, y una gramática podría definir a las fórmulas bien formadas como aquellas que tienen el mismo número de símbolos a que b. Entonces, algunas fórmulas bien formadas del lenguaje serían: ab, ba, abab, ababba, etc., y el lenguaje formal sería el conjunto de todas esas fórmulas bien formadas. Para algunos lenguajes formales existe una semántica formal que puede interpretar y dar significado a las fórmulas bien formadas del lenguaje. Sin embargo, una semántica formal no es condición necesaria para definir un lenguaje formal, y eso es una diferencia esencial con los lenguajes naturales. En algunos lenguajes formales, la palabra vacía (esto es, la cadena de símbolos de longitud cero) está permitida, notándose frecuentemente mediante , o .
Subject Item
dbpedia-es:Arto_Salomaa
prop-es:área
dbpedia-es:Lenguaje_formal
Subject Item
dbpedia-es:Lenguajes_formales
dbo:wikiPageRedirects
dbpedia-es:Lenguaje_formal
Subject Item
dbpedia-es:Teoria_de_los_lenguajes_formales
dbo:wikiPageRedirects
dbpedia-es:Lenguaje_formal
Subject Item
dbpedia-es:Teoría_de_los_lenguajes_formales
dbo:wikiPageRedirects
dbpedia-es:Lenguaje_formal
Subject Item
wikipedia-es:Lenguaje_formal
foaf:primaryTopic
dbpedia-es:Lenguaje_formal
Subject Item
dbr:Formal_language
owl:sameAs
dbpedia-es:Lenguaje_formal