En mathématiques, en informatique et en linguistique, un langage formel est un ensemble de mots. L'alphabet d'un langage formel est l'ensemble des symboles, lettres ou lexèmes qui servent à construire les mots du langage ; souvent, on suppose que cet alphabet est fini. La théorie des langages formels a pour objectif de décrire les langages formels.

Property Value
dbo:abstract
  • En mathématiques, en informatique et en linguistique, un langage formel est un ensemble de mots. L'alphabet d'un langage formel est l'ensemble des symboles, lettres ou lexèmes qui servent à construire les mots du langage ; souvent, on suppose que cet alphabet est fini. La théorie des langages formels a pour objectif de décrire les langages formels. Les mots sont des suites d'éléments de cet alphabet ; les mots qui appartiennent à un langage formel particulier sont parfois appelés mots bien formés ou formules bien formées. Un langage formel est souvent défini par une grammaire formelle, telle que les grammaires algébriques et analysé par des automates. (fr)
  • En mathématiques, en informatique et en linguistique, un langage formel est un ensemble de mots. L'alphabet d'un langage formel est l'ensemble des symboles, lettres ou lexèmes qui servent à construire les mots du langage ; souvent, on suppose que cet alphabet est fini. La théorie des langages formels a pour objectif de décrire les langages formels. Les mots sont des suites d'éléments de cet alphabet ; les mots qui appartiennent à un langage formel particulier sont parfois appelés mots bien formés ou formules bien formées. Un langage formel est souvent défini par une grammaire formelle, telle que les grammaires algébriques et analysé par des automates. (fr)
dbo:thumbnail
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 93943 (xsd:integer)
dbo:wikiPageLength
  • 17174 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 191475623 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:année
  • 2008 (xsd:integer)
prop-fr:collection
  • Capes-agrég (fr)
  • Capes-agrég (fr)
prop-fr:format
  • 17 (xsd:integer)
prop-fr:isbn
  • 2 (xsd:integer)
  • 978 (xsd:integer)
prop-fr:jour
  • 28 (xsd:integer)
prop-fr:langue
  • fr (fr)
  • fr (fr)
prop-fr:lieu
  • Paris (fr)
  • Paris (fr)
prop-fr:mois
  • 10 (xsd:integer)
prop-fr:nom
  • Carton (fr)
  • Carton (fr)
prop-fr:numéroD'édition
  • 1 (xsd:integer)
prop-fr:pagesTotales
  • 240 (xsd:integer)
prop-fr:prénom
  • Olivier (fr)
  • Olivier (fr)
prop-fr:présentationEnLigne
  • --06-16
prop-fr:titre
  • Langages formels, calculabilité et complexité (fr)
  • Langages formels, calculabilité et complexité (fr)
prop-fr:wikiPageUsesTemplate
prop-fr:wikiversity
  • Théorie des langages (fr)
  • Théorie des langages (fr)
prop-fr:wikiversityTitre
  • Théorie des langages (fr)
  • Théorie des langages (fr)
prop-fr:éditeur
dct:subject
rdfs:comment
  • En mathématiques, en informatique et en linguistique, un langage formel est un ensemble de mots. L'alphabet d'un langage formel est l'ensemble des symboles, lettres ou lexèmes qui servent à construire les mots du langage ; souvent, on suppose que cet alphabet est fini. La théorie des langages formels a pour objectif de décrire les langages formels. (fr)
  • En mathématiques, en informatique et en linguistique, un langage formel est un ensemble de mots. L'alphabet d'un langage formel est l'ensemble des symboles, lettres ou lexèmes qui servent à construire les mots du langage ; souvent, on suppose que cet alphabet est fini. La théorie des langages formels a pour objectif de décrire les langages formels. (fr)
rdfs:label
  • Langage formel (fr)
  • Formale Sprache (de)
  • Język formalny (pl)
  • Lenguaje formal (es)
  • Linguagem formal (pt)
  • Llenguatge formal (ca)
  • Ngôn ngữ hình thức (vi)
  • Формальный язык (ru)
  • لغة شكلية (ar)
  • 形式语言 (zh)
  • Langage formel (fr)
  • Formale Sprache (de)
  • Język formalny (pl)
  • Lenguaje formal (es)
  • Linguagem formal (pt)
  • Llenguatge formal (ca)
  • Ngôn ngữ hình thức (vi)
  • Формальный язык (ru)
  • لغة شكلية (ar)
  • 形式语言 (zh)
rdfs:seeAlso
rdfs:subClassOf
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
is dbo:domain of
is dbo:isPartOf of
is dbo:knownFor of
is dbo:mainArticleForCategory of
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is prop-fr:champs of
is oa:hasTarget of
is foaf:primaryTopic of