输入要查询的单词:
recursive language
查词链接:
https://www.zzcmix.top/dict/recursive_language
复制链接 递归语言
查看英英释义
abstract:
In mathematics, logic and computer science, a formal language (a set of finite sequences of symbols taken from a fixed alphabet) is called recursive if it is a recursive subset of the set of all possible finite sequences over the alphabet of the language. Equivalently, a formal language is recursive if there exists a total Turing machine (a Turing machine that halts for every given input) that, when given a finite sequence of symbols from the alphabet of the language as input (any string containing only characters in the language's alphabet) accepts only those that are part of the language and rejects all other strings.
网络释义
递归语言
·递归语言(recursive language):可以判断输入字符串是否符合语法,是不是某种语言的句子。则称该语言可递归。
循环语言
... recursive call 递归调入,递归调用... recursive language 循环语言 recursive programming 递归程序设计...
图灵可判定语言
... 可决定性 可判定性 decidability 图灵可判定语言 recursive language 无乘法算术的可判定性 decidability of arithmetic without multiplication ...
常用短语
正在查询...
{error}
你是不是想查找:
- {typos}
{word}
{phones} {trans} {trans_ee} {exam_types}{web_trans} {variants} {phrases} {synonyms} {rels} {discriminations} 查词链接:
{link}
复制链接{phones}
{text}:[{value}]
{trans}
{trans}
{pos}
{tran}
{tran}
查看英英释义
{trans}
{pos}
{list} {tran}
{words}{word}同义词: {words}
{pos}
{words}
{exam_types}
单词变体
- {variants}
常用短语
- {phrases}
网络释义
{web_trans}
{tran}
{detail}
近义词
{synonyms}
{pos} {tran}
{words}
同根词
{rels}
{pos}
{words}
{word}{tran}
词语辨析
{discriminations}
{num}、{title}
{description}- {usages}
{description}