Wikidata facts
- Subclass of
- recursively enumerable language
Show 1 more fact
- different from
- formal grammar
Sources (1)
via Wikidata · CC0
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