{"title":"On simple programs with primitive conditional statements","authors":"Oscar H. Ibarra , Louis E. Rosier","doi":"10.1016/S0019-9958(85)80019-X","DOIUrl":null,"url":null,"abstract":"<div><p>This paper is concerned with the expressive power (or computational power) of loop programs over different sets of primitive instructions. In particular, we show that an {<em>x</em> ← 0, <em>x</em> ← <em>y</em>, <em>x</em> ← <em>x</em> + 1, <em>do x</em> … <em>end</em>, <em>if x</em> = 0 <em>then y</em> ← <em>z</em>}-program which contains no nested loops can be transformed into an equivalent {<em>x</em> ← 0, <em>x</em> ← <em>y</em>, <em>x</em> ← <em>x</em> + 1, <em>do x</em> … <em>end</em>}-program (also without nested loops) in exponential time and space. This translation was earlier claimed, in the literature, to be obtainable in polynomial time, but then this was subsequently shown to imply that PSPACE = PTIME. Consequently, the question of translatability was left unanswered. Also, we show that the class of functions computable by {<em>x</em> ← 0, <em>x</em> ← <em>y</em>, <em>x</em> ← <em>x</em> + 1, <em>x</em> − 1, <em>do x</em> … <em>end</em>, <em>if x</em> = 0 <em>then x</em> ← <em>c</em>}-programs is exactly the class of Presburger functions.</p></div>","PeriodicalId":38164,"journal":{"name":"信息与控制","volume":"65 1","pages":"Pages 42-62"},"PeriodicalIF":0.0000,"publicationDate":"1985-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/S0019-9958(85)80019-X","citationCount":"1","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"信息与控制","FirstCategoryId":"1093","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S001999588580019X","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"Mathematics","Score":null,"Total":0}
引用次数: 1
Abstract
This paper is concerned with the expressive power (or computational power) of loop programs over different sets of primitive instructions. In particular, we show that an {x ← 0, x ← y, x ← x + 1, do x … end, if x = 0 then y ← z}-program which contains no nested loops can be transformed into an equivalent {x ← 0, x ← y, x ← x + 1, do x … end}-program (also without nested loops) in exponential time and space. This translation was earlier claimed, in the literature, to be obtainable in polynomial time, but then this was subsequently shown to imply that PSPACE = PTIME. Consequently, the question of translatability was left unanswered. Also, we show that the class of functions computable by {x ← 0, x ← y, x ← x + 1, x − 1, do x … end, if x = 0 then x ← c}-programs is exactly the class of Presburger functions.