06113522

j

06113522 Bergstra, Jan A. Bethke, Inge On the contribution of backward jumps to instruction sequence expressiveness. Theory Comput. Syst. 50, No. 4, 706-720 (2012). 2012 Springer-Verlag, New York, NY EN program algebra instruction sequences backward jumps non-uniform complexity

doi:10.1007/s00224-011-9376-x

Summary: We investigate the expressiveness of backward jumps in a frame work of formalized sequential programming called program algebra and characterize established non-uniform complexity classes in terms of instruction sequences, backward jumps and auxiliary registers.