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. - Il y a plusieurs définitions équivalentes de langage récursif. On peut définir cette notion directement, comme une général...