ABSTRACT

In the previous century, most classical computer science methods were developed for continuous information processing; accordingly, their models work on the input string-represented information in a strictly continuous way from the left side to the right side of the string. Today's methods, however, often process information in an utterly discontinuous way so that they jump over large portions of the input information between individual computational steps. An adequate formalization of this modern computation, referred to as jumping computation in this book, necessitates an update of the original models so that the resulting updated models reflect jumping computation properly. Secondarily, from a more practical standpoint, the text constantly struggles to maintain a balance between the theory of jumping models and the practice of discontinuous computation formalized by them.