Parallel Feedback Turing Computability.

Lecture Notes in Computer Science(2016)

引用 2|浏览1
暂无评分
摘要
In contrast to most kinds of computability studied in mathematical logic, feedback computability has a non-degenerate notion of parallelism. Here we study parallelism for the most basic kind of feedback, namely that of Turing computability. We investigate several different possible definitions of parallelism in this context, with an eye toward specifying what is so computable. For the deterministic notions of parallelism identified we are successful in this analysis; for the non-deterministic notion, not completely.
更多
查看译文
关键词
Parallel computation,Feedback,Determinism,Non-determinism,Reflection,Gap-reflection,Admissibility
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要