标签computability - 这是页155 - GeneraCodice

永不停止的机器总是循环吗？

https://www.generacodice.com/cn/articolo/1097592/永不停止的机器总是循环吗

turing-machines - computability - halting-problem

cs.stackexchange

决策问题的Kolmogorov复杂性

https://www.generacodice.com/cn/articolo/1097668/决策问题的kolmogorov复杂性

terminology - computability - kolmogorov-complexity - 3-sat - decision-problem

cs.stackexchange

稻米定理困惑

https://www.generacodice.com/cn/articolo/1097746/稻米定理困惑

terminology - computability - undecidability - rice-theorem

cs.stackexchange

向下拆下的自动机，有两个堆栈等于图灵机吗？

https://www.generacodice.com/cn/articolo/1097781/向下拆下的自动机-有两个堆栈等于图灵机吗

turing-machines - computability - automata - pushdown-automata

cs.stackexchange

确定任何$ k $的CFG是否为$ ll（k）$？

https://www.generacodice.com/cn/articolo/1097872/确定任何-k-的cfg是否为-ll-k

parsing - computability - formal-languages - formal-grammars - context-free

cs.stackexchange

不可兼容的功能在渐近地增长吗？

https://www.generacodice.com/cn/articolo/1097937/不可兼容的功能在渐近地增长吗

computability - asymptotics

cs.stackexchange

一组最小的DFA可以决定吗？

https://www.generacodice.com/cn/articolo/1098089/一组最小的dfa可以决定吗

computability - finite-automata - automata - formal-languages

cs.stackexchange

对于Turing Machine $ M_1 $，该集合的机器$ M_2 $如何“短”比$ M_1 $，哪种可以接受相同的语言？

https://www.generacodice.com/cn/articolo/1098193/对于turing-machine-m-1-该集合的机器-m-2-如何-短-比-m-1-哪种可以接受相同的语言

computability - undecidability

cs.stackexchange

在所有输入上最多停止50个步骤的图灵机吗？

https://www.generacodice.com/cn/articolo/1098216/在所有输入上最多停止50个步骤的图灵机吗

computability - undecidability

cs.stackexchange

TM是否在胶带上达到某种位置是否可以决定？

https://www.generacodice.com/cn/articolo/1098267/tm是否在胶带上达到某种位置是否可以决定

turing-machines - computability - undecidability

cs.stackexchange

发现结果: 1630