bn:01642214n
Noun Concept
Categories: Langage formel
FR
langage récursif  Langage recursif  langage decidable  langage décidable  langage 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. Wikipedia
Definitions
Relations
Sources
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. Wikipedia
type de langage formel Wikidata