Article · Français
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.
Abstract from DBpedia / Wikipedia · CC BY-SA
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.
Abstract from DBpedia / Wikipedia · CC BY-SA