递归语言
Sign in to saveAlso known as decidable
recursive subset of the set of all possible finite sequences over the alphabet of the language
Wikidata facts
- Subclass of
- recursively enumerable language
Show 1 more fact
- different from
- formal grammar
Sources (1)
via Wikidata · CC0
Article · 中文
在数学、逻辑和计算机科学中，递归语言或遞迴語言是也叫做可判定语言或图灵可判定语言的形式语言类型。所有递归语言的类经常被称为 。这种语言类型在乔姆斯基层级中没有定义。
Abstract from DBpedia / Wikipedia · CC BY-SA