About: http://fr.dbpedia.org/resource/Catégorie:Langage

Property	Value
dbo:mainArticleForCategory	dbpedia-fr:Langage_formel
dbo:wikiPageID	260614 (xsd:integer)
dbo:wikiPageRevisionID	119108126 (xsd:integer)
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:Article_principal dbpedia-fr:Modèle:Multi_bandeau
rdf:type	skos:Concept
rdfs:label	Langage formel (fr) Langage formel (fr)
rdfs:seeAlso	https://commons.wikimedia.org/wiki/Category:Formal_languages
owl:sameAs	dbc:Formal_languages dbpedia-commons:Category:Formal_languages wikidata:Q7142640 dbpedia-ar:تصنيف:لغات_شكلية dbpedia-bg:Категория:Формални_езици http://bn.dbpedia.org/resource/বিষয়শ্রেণী:রৌপ_ভাষা http://bs.dbpedia.org/resource/Kategorija:Formalni_jezici dbpedia-ca:Categoria:Llenguatges_formals dbpedia-cs:Kategorie:Formální_jazyky dbpedia-de:Kategorie:Theorie_formaler_Sprachen dbpedia-el:Κατηγορία:Τυπικές_γλώσσες dbpedia-eo:Kategorio:Formalaj_lingvoj dbpedia-es:Categoría:Lenguajes_formales dbpedia-fa:رده:زبان‌های_صوری dbpedia-fi:Luokka:Formaalit_kielet dbpedia-he:קטגוריה:שפות_פורמליות http://hi.dbpedia.org/resource/श्रेणी:औपचारिक_भाषाएँ dbpedia-hr:Kategorija:Formalni_jezici dbpedia-hu:Kategória:Formális_nyelvek http://hy.dbpedia.org/resource/Կատեգորիա:Ֆորմալ_լեզուներ dbpedia-is:Flokkur:Formlegt_mál dbpedia-it:Categoria:Teoria_dei_linguaggi_formali dbpedia-ja:Category:形式言語 dbpedia-ka:კატეგორია:ფორმალური_ენები dbpedia-ko:분류:형식_언어 dbpedia-mk:Категорија:Формални_јазици http://ml.dbpedia.org/resource/വർഗ്ഗം:ഔപചാരിക_ഭാഷകൾ dbpedia-nl:Categorie:Formele_taal dbpedia-nn:Kategori:Formelle_språk dbpedia-no:Kategori:Formelle_språk dbpedia-pl:Kategoria:Języki_formalne dbpedia-pt:Categoria:Linguagens_formais dbpedia-ro:Categorie:Limbaje_formale_și_automate dbpedia-ru:Категория:Теория_формальных_языков http://sco.dbpedia.org/resource/Category:Formal_leids dbpedia-sh:Kategorija:Formalni_jezici dbpedia-sk:Kategória:Formálne_jazyky dbpedia-sr:Категорија:Формални_језици dbpedia-sv:Kategori:Formella_språk dbpedia-th:หมวดหมู่:ภาษารูปนัย dbpedia-tr:Kategori:Formal_dilleri dbpedia-uk:Категорія:Формальні_мови http://ur.dbpedia.org/resource/زمرہ:تشکیلی_زبانیں dbpedia-vi:Thể_loại:Ngôn_ngữ_hình_thức dbpedia-zh:Category:形式语言
skos:broader	category-fr:Calculabilité category-fr:Informatique_théorique category-fr:Langage category-fr:Logique_mathématique
skos:prefLabel	Langage formel (fr) Langage formel (fr)
prov:wasDerivedFrom	wikipedia-fr:Catégorie:Langage_formel?oldid=119108126&ns=14
is dbo:wikiPageWikiLink of	dbpedia-fr:Grammaire_algébrique dbpedia-fr:Algèbre_de_Kleene dbpedia-fr:Analyse_lexicale dbpedia-fr:Analyse_syntaxique dbpedia-fr:Arité dbpedia-fr:Augmented_Backus-Naur_Form dbpedia-fr:Automate_temporisé dbpedia-fr:Automate_à_pile_visible dbpedia-fr:Caractéristique_universelle dbpedia-fr:Centraliseur dbpedia-fr:Chaîne_la_plus_proche dbpedia-fr:Chaîne_vide dbpedia-fr:Concaténation dbpedia-fr:Conference_on_Implementation_and_Application_of_Automata dbpedia-fr:Demi-groupe_bicyclique dbpedia-fr:Diff dbpedia-fr:Décalage_de_Bernoulli_(langage_formel) dbpedia-fr:Démonstration_formelle dbpedia-fr:EXPRESS dbpedia-fr:Encodage_sémantique dbpedia-fr:Ensemble_rationnel dbpedia-fr:Exposant_critique_d'un_mot dbpedia-fr:Expression_régulière dbpedia-fr:Extended_Backus-Naur_Form dbpedia-fr:Factorisation_gauche dbpedia-fr:Famille_abstraite_de_langages dbpedia-fr:Forme_de_Backus-Naur dbpedia-fr:Forme_normale_de_Chomsky dbpedia-fr:Forme_normale_de_Greibach dbpedia-fr:Grammaire_L-attribuée dbpedia-fr:Grammaire_LL dbpedia-fr:Grammaire_LR-attribuée dbpedia-fr:Grammaire_S-attribuée dbpedia-fr:Grammaire_affixe dbpedia-fr:Grammaire_ambigüe dbpedia-fr:Grammaire_attribuée dbpedia-fr:Grammaire_contextuelle dbpedia-fr:Grammaire_formelle dbpedia-fr:Grammaire_indexée dbpedia-fr:Grammaire_lexicale-fonctionnelle dbpedia-fr:Grammaire_linéaire dbpedia-fr:Grammaire_non_contextuelle dbpedia-fr:Grammaire_non_contextuelle_déterministe dbpedia-fr:Grammaire_non_contextuelle_pondérée dbpedia-fr:Grammaire_régulière dbpedia-fr:Grammaire_universelle dbpedia-fr:Grammaires_de_van_Wijngaarden dbpedia-fr:Hiérarchie_de_Chomsky dbpedia-fr:International_Conference_on_Developments_in_Language_Theory dbpedia-fr:International_Workshop_on_Descriptional_Complexity_of_Formal_Systems dbpedia-fr:Interprétation_(logique) dbpedia-fr:Langage_algébrique dbpedia-fr:Langage_algébrique_déterministe dbpedia-fr:Langage_congruentiel dbpedia-fr:Langage_contextuel dbpedia-fr:Langage_de_Dyck dbpedia-fr:Langage_de_balisage dbpedia-fr:Langage_de_description_de_format_de_document dbpedia-fr:Langage_de_formatage_de_texte dbpedia-fr:Langage_de_la_logique dbpedia-fr:Langage_de_Łukasiewicz dbpedia-fr:Langage_formel dbpedia-fr:Langage_indexé dbpedia-fr:Langage_local dbpedia-fr:Langage_rationnel dbpedia-fr:Langage_récursif dbpedia-fr:Langage_unaire dbpedia-fr:Langue_contrôlée dbpedia-fr:Lemme_d'Ogden dbpedia-fr:Lemme_d'itération dbpedia-fr:Lemme_d'itération_de_Bader_et_Moura dbpedia-fr:Lemme_d'itération_pour_les_langages_algébriques dbpedia-fr:Lemme_d'échange dbpedia-fr:Lemme_de_Newman dbpedia-fr:Lemme_de_l'étoile dbpedia-fr:Monoïde_syntaxique dbpedia-fr:Mot_primitif dbpedia-fr:Moteur_d'analyse_de_grammaire dbpedia-fr:Métalangage dbpedia-fr:Métavariable dbpedia-fr:Notation_(mathématiques) dbpedia-fr:Notation_syntaxique_de_Wirth dbpedia-fr:Paire_critique dbpedia-fr:Parser_packrat dbpedia-fr:Plus_courte_super-séquence_commune dbpedia-fr:Plus_longue_sous-chaîne_répétée dbpedia-fr:Problème_de_la_hauteur_d'étoile dbpedia-fr:Récursivité_gauche dbpedia-fr:Réécriture_(informatique) dbpedia-fr:SCIgen dbpedia-fr:Symbole_(logique) dbpedia-fr:Symboles_terminaux_et_non_terminaux dbpedia-fr:Syntaxe_(logique) dbpedia-fr:Système_de_Post dbpedia-fr:Système_de_Thue dbpedia-fr:Sémantique_formelle_(logique) dbpedia-fr:Table_de_transition_d'état dbpedia-fr:Terme_(logique) dbpedia-fr:Théorie_des_automates dbpedia-fr:Théorème_de_Chomsky-Schützenberger_(combinatoire) dbpedia-fr:Théorème_de_Chomsky-Schützenberger_(langage_formel) dbpedia-fr:Théorème_de_Kleene dbpedia-fr:Théorème_de_Muller-Schupp dbpedia-fr:Théorème_de_Parikh dbpedia-fr:Théorème_des_variétés_d'Eilenberg dbpedia-fr:Transduction_rationnelle dbpedia-fr:Universal_Networking_Language dbpedia-fr:Vacuité dbpedia-fr:Étoile_de_Kleene dbpedia-fr:Marque_substitutive
is dct:subject of	dbpedia-fr:Grammaire_algébrique dbpedia-fr:Algèbre_de_Kleene dbpedia-fr:Analyse_lexicale dbpedia-fr:Analyse_syntaxique dbpedia-fr:Arité dbpedia-fr:Augmented_Backus-Naur_Form dbpedia-fr:Automate_temporisé dbpedia-fr:Automate_à_pile_visible dbpedia-fr:Caractéristique_universelle dbpedia-fr:Centraliseur dbpedia-fr:Chaîne_la_plus_proche dbpedia-fr:Chaîne_vide dbpedia-fr:Concaténation dbpedia-fr:Conference_on_Implementation_and_Application_of_Automata dbpedia-fr:Demi-groupe_bicyclique dbpedia-fr:Diff dbpedia-fr:Décalage_de_Bernoulli_(langage_formel) dbpedia-fr:Démonstration_formelle dbpedia-fr:EXPRESS dbpedia-fr:Encodage_sémantique dbpedia-fr:Ensemble_rationnel dbpedia-fr:Exposant_critique_d'un_mot dbpedia-fr:Expression_régulière dbpedia-fr:Extended_Backus-Naur_Form dbpedia-fr:Factorisation_gauche dbpedia-fr:Famille_abstraite_de_langages dbpedia-fr:Forme_de_Backus-Naur dbpedia-fr:Forme_normale_de_Chomsky dbpedia-fr:Forme_normale_de_Greibach dbpedia-fr:Grammaire_L-attribuée dbpedia-fr:Grammaire_LL dbpedia-fr:Grammaire_LR-attribuée dbpedia-fr:Grammaire_S-attribuée dbpedia-fr:Grammaire_affixe dbpedia-fr:Grammaire_ambigüe dbpedia-fr:Grammaire_attribuée dbpedia-fr:Grammaire_contextuelle dbpedia-fr:Grammaire_formelle dbpedia-fr:Grammaire_indexée dbpedia-fr:Grammaire_lexicale-fonctionnelle dbpedia-fr:Grammaire_linéaire dbpedia-fr:Grammaire_non_contextuelle dbpedia-fr:Grammaire_non_contextuelle_déterministe dbpedia-fr:Grammaire_non_contextuelle_pondérée dbpedia-fr:Grammaire_régulière dbpedia-fr:Grammaire_universelle dbpedia-fr:Grammaires_de_van_Wijngaarden dbpedia-fr:Hiérarchie_de_Chomsky dbpedia-fr:International_Conference_on_Developments_in_Language_Theory dbpedia-fr:International_Workshop_on_Descriptional_Complexity_of_Formal_Systems dbpedia-fr:Interprétation_(logique) dbpedia-fr:Langage_algébrique dbpedia-fr:Langage_algébrique_déterministe dbpedia-fr:Langage_congruentiel dbpedia-fr:Langage_contextuel dbpedia-fr:Langage_de_Dyck dbpedia-fr:Langage_de_balisage dbpedia-fr:Langage_de_description_de_format_de_document dbpedia-fr:Langage_de_formatage_de_texte dbpedia-fr:Langage_de_la_logique dbpedia-fr:Langage_de_Łukasiewicz dbpedia-fr:Langage_formel dbpedia-fr:Langage_indexé dbpedia-fr:Langage_local dbpedia-fr:Langage_rationnel dbpedia-fr:Langage_récursif dbpedia-fr:Langage_unaire dbpedia-fr:Langue_contrôlée dbpedia-fr:Lemme_d'Ogden dbpedia-fr:Lemme_d'itération dbpedia-fr:Lemme_d'itération_de_Bader_et_Moura dbpedia-fr:Lemme_d'itération_pour_les_langages_algébriques dbpedia-fr:Lemme_d'échange dbpedia-fr:Lemme_de_Newman dbpedia-fr:Lemme_de_l'étoile dbpedia-fr:Monoïde_syntaxique dbpedia-fr:Mot_primitif dbpedia-fr:Moteur_d'analyse_de_grammaire dbpedia-fr:Métalangage dbpedia-fr:Métavariable dbpedia-fr:Notation_(mathématiques) dbpedia-fr:Notation_syntaxique_de_Wirth dbpedia-fr:Paire_critique dbpedia-fr:Parser_packrat dbpedia-fr:Plus_courte_super-séquence_commune dbpedia-fr:Plus_longue_sous-chaîne_répétée dbpedia-fr:Problème_de_la_hauteur_d'étoile dbpedia-fr:Récursivité_gauche dbpedia-fr:Réécriture_(informatique) dbpedia-fr:SCIgen dbpedia-fr:Symbole_(logique) dbpedia-fr:Symboles_terminaux_et_non_terminaux dbpedia-fr:Syntaxe_(logique) dbpedia-fr:Système_de_Post dbpedia-fr:Système_de_Thue dbpedia-fr:Sémantique_formelle_(logique) dbpedia-fr:Table_de_transition_d'état dbpedia-fr:Terme_(logique) dbpedia-fr:Théorie_des_automates dbpedia-fr:Théorème_de_Chomsky-Schützenberger_(combinatoire) dbpedia-fr:Théorème_de_Chomsky-Schützenberger_(langage_formel) dbpedia-fr:Théorème_de_Kleene dbpedia-fr:Théorème_de_Muller-Schupp dbpedia-fr:Théorème_de_Parikh dbpedia-fr:Théorème_des_variétés_d'Eilenberg dbpedia-fr:Transduction_rationnelle dbpedia-fr:Universal_Networking_Language dbpedia-fr:Vacuité dbpedia-fr:Étoile_de_Kleene dbpedia-fr:Marque_substitutive
is skos:broader of	category-fr:Automates_finis_et_langages_réguliers
is oa:hasTarget of	tag-fr:WdtFrResource

About: http://fr.dbpedia.org/resource/Catégorie:Langage_formel