Location via proxy:
[ UP ]
[Report a bug]
[Manage cookies]
No cookies
No scripts
No ads
No referrer
Show this form
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