About: Lenguajes formales

Property	Value
dbo:wikiPageID	67382 (xsd:integer)
dbo:wikiPageRevisionID	84167718 (xsd:integer)
rdf:type	skos:Concept
rdfs:label	Lenguajes formales (es) Lenguajes formales (es)
skos:broader	category-es:Gramática category-es:Metalógica category-es:Computabilidad category-es:Ciencias_formales category-es:Sintaxis_(lógica) category-es:Lenguajes category-es:Sistemas_lógicos
skos:prefLabel	Lenguajes formales (es) Lenguajes formales (es)
prov:wasDerivedFrom	wikipedia-es:Categoría:Lenguajes_formales?oldid=84167718&ns=14
is dct:subject of	dbpedia-es:Forma_normal_(reescritura_abstracta) dbpedia-es:Gramática_de_concatenación_de_rango dbpedia-es:Lenguaje_formal dbpedia-es:Gramática_regular dbpedia-es:Lenguaje_recursivamente_enumerable dbpedia-es:Lenguaje_sensible_al_contexto dbpedia-es:Inducción_de_lenguajes_regulares dbpedia-es:Notación_secundaria dbpedia-es:Algoritmo_de_Thompson dbpedia-es:Gramática_(autómata) dbpedia-es:Lenguaje_regular dbpedia-es:Máquina_de_Turing dbpedia-es:Máquina_abstracta dbpedia-es:Autómata_celular_cuántico dbpedia-es:Sistema_determinista dbpedia-es:Perl_Compatible_Regular_Expressions dbpedia-es:Autómata_finito_no_determinista dbpedia-es:Autómata_probabilístico dbpedia-es:DEVS dbpedia-es:Árbol_de_sintaxis_abstracta dbpedia-es:Construcción_de_conjunto_potencia dbpedia-es:Lema_de_Arden dbpedia-es:Lenguaje_recursivo dbpedia-es:Gramática_ambigua dbpedia-es:Palabra_(matemáticas) dbpedia-es:Gramática_libre_de_contexto dbpedia-es:Máquina_de_Moore dbpedia-es:Máquina_de_estados_algorítmica dbpedia-es:Autómata_linealmente_acotado dbpedia-es:Sistema-L dbpedia-es:Identificación_de_lenguaje_en_el_límite dbpedia-es:Autómata_con_pila dbpedia-es:Teoría_de_autómatas dbpedia-es:Alfabeto dbpedia-es:Concatenación dbpedia-es:Gramáticas_sensibles_al_contexto dbpedia-es:Lenguaje_proposicional dbpedia-es:Trie dbpedia-es:Cadena_de_caracteres dbpedia-es:Máquina_de_Mealy dbpedia-es:Notación_de_Backus-Naur dbpedia-es:Tabla_de_transición_de_estados dbpedia-es:Diagrama_sintáctico dbpedia-es:Autómata_finito dbpedia-es:Autómata_finito_determinista dbpedia-es:Gramática_formal dbpedia-es:Estado_(informática) dbpedia-es:Expresión_regular dbpedia-es:Lema_del_bombeo dbpedia-es:Lema_del_bombeo_para_lenguajes_regulares dbpedia-es:Construcción_de_subconjuntos dbpedia-es:Lema_del_bombeo_para_gramáticas_independientes_del_contexto dbpedia-es:Motor_de_Análisis_Sintáctico dbpedia-es:Gramática_indexada dbpedia-es:Gramática_matricial dbpedia-es:Clausura_de_Kleene dbpedia-es:Conjetura_de_Černý dbpedia-es:Gramatica_matricial dbpedia-es:Lenguaje_formalizado dbpedia-es:BNF_extendido dbpedia-es:Transductor_de_estados_finitos dbpedia-es:Jerarquía_de_Chomsky dbpedia-es:Numeración_de_Gödel dbpedia-es:Gramática_libre_de_contexto_probabilística dbpedia-es:Lenguaje_de_Dyck dbpedia-es:Lema_del_bombeo_para_lenguajes_libres_del_contexto dbpedia-es:Metacarácter dbpedia-es:Problema_de_la_subsecuencia_más_larga dbpedia-es:Autómata_celular dbpedia-es:Cadena_vacía dbpedia-es:Gramática_de_precedencia_simple dbpedia-es:Gramática_booleana
is skos:broader of	category-es:Lenguajes_de_programación category-es:Notación_matemática category-es:Lenguaje_Z category-es:Lenguajes_de_especificación category-es:Símbolos_lógicos