1: \begin{abstract}

2:   \PGA, short for ProGram Algebra \cite{intro_pga_ta, pga_second_paper},

3:   describes sequential programs as finite or infinite (repeating) sequences of

4:   instructions. The semigroup \C of finite instruction sequences

5:   \cite{inseq_intro} was introduced as an equally expressive alternative to

6:   \PGA. \PGA instructions are executed from left to right; most \C instructions

7:   come in a left-to-right as well as a right-to-left flavor. This thesis builds

8:   on \C by introducing an alternative semigroup \Cg which employs label and

9:   goto instructions instead of relative jump instructions as control

10:   structures. \Cg can be translated to \C and vice versa (and is thus equally

11:   expressive). It is shown that restricting the instruction sets of \C and \Cg

12:   to contain only finitely many distinct jump, goto or label instructions in

13:   either or both directions reduces their expressiveness. Instruction sets with

14:   an infinite number of these instructions in both directions (not necessarily

15:   all such instructions) do not suffer a loss of expressiveness.

16: 

17: \end{abstract}\