On the contribution of backward jumps to instruction sequence expressiveness
| Authors | |
|---|---|
| Publication date | 2012 |
| Journal | Theory of Computing Systems |
| Volume | Issue number | 50 | 4 |
| Pages (from-to) | 706-720 |
| Organisations |
|
| Abstract | 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. |
| Document type | Article |
| Language | English |
| Published at | https://doi.org/10.1007/s00224-011-9376-x |
| Downloads |
On_the_contribution.pdf
(Final published version)
|
| Permalink to this page | |
