Bitte verwenden Sie diesen Link, um diese Publikation zu zitieren, oder auf sie als Internetquelle zu verweisen: https://hdl.handle.net/10419/121998 
Erscheinungsjahr: 
Jan-2006
Schriftenreihe/Nr.: 
TechReport, Microsoft Research No. 2006-07
Verlag: 
Microsoft Research, Redmond
Zusammenfassung: 
This report consists of two separate parts, essentially two oversized footnotes to the article "Sequential 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.
Zusammenfassung (übersetzt): 
Этот отчет состоит из двух отдельных частей, по существу двух малых примечаний к статье "Sequential Abstract State Machines Capture Sequential Algorithms" Юрия Гуревича. В главе I, Юрий Гуревич и Татьяна Яворская представляют и рассматривают более абстрактный вариант постулата ограниченнго открытия. В главе II, Татьяна Яворская дает полную форму характеристики вариантно ограниченных последовательных алгоритмов, намеченную в оригинальной статье.
Schlagwörter: 
Bounded Nondeterminism
Bounded Exploration
Dokumentart: 
Working Paper

Datei(en):
Datei
Größe
152.96 kB





Publikationen in EconStor sind urheberrechtlich geschützt.