TY - JOUR

T1 - Polynomial Computations in Non-Deterministic Loop-Programs and PL-Programs

AU - Amir, Amihood

AU - Choueka, Yaacov

PY - 1983/1/1

Y1 - 1983/1/1

N2 - It was previously shown that a slight variant of the loop-programs produces a hierarchy [formula omitted] of classes of functions defined by modified loop-programs, such that y '2is the set gal of functions computable in a polynomial number of steps by such programs. Here, an element of nondeterminism is introduced into loop-programs to produce a corresponding hierarchy [formula omitted]. Designating the set of functions polynomially computable by nondeterministic programs by [formula omitted] we prove that iff. [formula omitted] - We also prove that. [formula omitted] for n>2. Finally, an element of non-determinism is introduced in the more general PL-programs, with parallel results.

AB - It was previously shown that a slight variant of the loop-programs produces a hierarchy [formula omitted] of classes of functions defined by modified loop-programs, such that y '2is the set gal of functions computable in a polynomial number of steps by such programs. Here, an element of nondeterminism is introduced into loop-programs to produce a corresponding hierarchy [formula omitted]. Designating the set of functions polynomially computable by nondeterministic programs by [formula omitted] we prove that iff. [formula omitted] - We also prove that. [formula omitted] for n>2. Finally, an element of non-determinism is introduced in the more general PL-programs, with parallel results.

KW - Loop programs

KW - PL programs

KW - non-deterministic programs

KW - polynomially computable functions

UR - http://www.scopus.com/inward/record.url?scp=84953493758&partnerID=8YFLogxK

U2 - 10.1080/00207168308803387

DO - 10.1080/00207168308803387

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:84953493758

SN - 0020-7160

VL - 14

SP - 209

EP - 221

JO - International Journal of Computer Mathematics

JF - International Journal of Computer Mathematics

IS - 3-4

ER -