Toggle navigation
Faceted Browser
Sparql Endpoint
Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
LODmilla Browser
Formats
RDF:
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
CSV
JSON-LD
About:
http://fr.dbpedia.org/resource/Catégorie:Langage_formel
An Entity of Type :
Concept
, from Named Graph :
http://fr.dbpedia.org
, within Data Space :
fr.dbpedia.org
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