En mathématiques, en logique et en informatique, un langage récursif est un type de langage formel qui est aussi appelé récursif, décidable, ou Turing-decidable.

Property Value
dbo:abstract
  • En mathématiques, en logique et en informatique, un langage récursif est un type de langage formel qui est aussi appelé récursif, décidable, ou Turing-decidable. (fr)
  • En mathématiques, en logique et en informatique, un langage récursif est un type de langage formel qui est aussi appelé récursif, décidable, ou Turing-decidable. (fr)
dbo:wikiPageID
  • 86223 (xsd:integer)
dbo:wikiPageLength
  • 2687 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 135216272 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:wikiPageUsesTemplate
dct:subject
rdfs:comment
  • En mathématiques, en logique et en informatique, un langage récursif est un type de langage formel qui est aussi appelé récursif, décidable, ou Turing-decidable. (fr)
  • En mathématiques, en logique et en informatique, un langage récursif est un type de langage formel qui est aussi appelé récursif, décidable, ou Turing-decidable. (fr)
rdfs:label
  • Język rekurencyjny (pl)
  • Langage récursif (fr)
  • Lenguaje recursivo (es)
  • Linguagem recursiva (pt)
  • Llenguatge recursiu (ca)
  • Rekursive Sprache (de)
  • Рекурсивный язык (ru)
  • 递归语言 (zh)
  • Język rekurencyjny (pl)
  • Langage récursif (fr)
  • Lenguaje recursivo (es)
  • Linguagem recursiva (pt)
  • Llenguatge recursiu (ca)
  • Rekursive Sprache (de)
  • Рекурсивный язык (ru)
  • 递归语言 (zh)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of