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: preprint
Access and Citation
Cited By Count: 9
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot