Title: On Bounded Exploration and Bounded Nondeterminism
Abstract:This report consists of two separate parts, essentially two oversized footnotes to the article Abstract State Machines Capture Sequential Algorithms by Yuri Gurevich. In Chapter I, Yuri Gurevich and T...This report consists of two separate parts, essentially two oversized footnotes to the article Abstract State Machines Capture Sequential Algorithms by Yuri Gurevich. In Chapter I, Yuri Gurevich and Tatiana Yavorskaya present and study a more abstract version of the bounded exploration postulate. In Chapter II, Tatiana Yavorskaya gives a complete form of the characterization, sketched in the original paper, of bounded-choice sequential algorithms.Read More
Publication Year: 2006
Publication Date: 2006-01-01
Language: en
Type: article
Access and Citation
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot