标签computation-models - 这是页2 - GeneraCodice

TM与改变TM之间的等价

https://www.generacodice.com/cn/articolo/2469207/tm与改变tm之间的等价
  turing-machines  -  computation-models  -  turing-completeness  -  church-turing-thesis
cs.stackexchange cs.stackexchange

使用算术词典表达函数

https://www.generacodice.com/cn/articolo/2467152/使用算术词典表达函数
  turing-machines  -  first-order-logic  -  computation-models
cs.stackexchange cs.stackexchange

关闭常规语言

https://www.generacodice.com/cn/articolo/2457504/关闭常规语言
  automata  -  computation-models
cs.stackexchange cs.stackexchange

计数符号的计算复杂性

https://www.generacodice.com/cn/articolo/2455158/计数符号的计算复杂性
  complexity-theory  -  turing-machines  -  computation-models
cs.stackexchange cs.stackexchange

并行编程模型：为什么OpenMP和MPI主宰？

https://www.generacodice.com/cn/articolo/2453322/并行编程模型-为什么openmp和mpi主宰
  programming-languages  -  message-passing  -  computation-models  -  parallel-computing
cs.stackexchange cs.stackexchange

Are weakly polynomial time algorithms truly polynomial?

https://www.generacodice.com/cn/articolo/2451194/are-weakly-polynomial-time-algorithms-truly-polynomial
  complexity-theory  -  turing-machines  -  algorithms  -  computation-models
cs.stackexchange cs.stackexchange

Would models of computation in other conceivable universes be Turing complete?

https://www.generacodice.com/cn/articolo/2446171/would-models-of-computation-in-other-conceivable-universes-be-turing-complete
  physics  -  computability  -  computation-models
cs.stackexchange cs.stackexchange

Showing the following language is decidable

https://www.generacodice.com/cn/articolo/1620893/showing-the-following-language-is-decidable
  complexity-theory  -  turing-machines  -  computability  -  automata  -  computation-models
cs.stackexchange cs.stackexchange

Is the graph symbol used in dask a general notation?

https://www.generacodice.com/cn/articolo/1616619/is-the-graph-symbol-used-in-dask-a-general-notation
  computation-models  -  graphs
cs.stackexchange cs.stackexchange

Injectivity verification in o(n) space and O(n) time

https://www.generacodice.com/cn/articolo/1616294/injectivity-verification-in-o-n-space-and-o-n-time
  complexity-theory  -  space-complexity  -  computation-models  -  oracle-machines
cs.stackexchange cs.stackexchange
发现结果: 386
scroll top