Academic Journals Database
Disseminating quality controlled scientific knowledge

An Instruction Sequence Semigroup with Involutive Anti-Automorphisms

Author(s): J.A. Bergstra | A. Ponse

Journal: Scientific Annals of Computer Science
ISSN 1843-8121

Volume: 19;
Start page: 57;
Date: 2009;
VIEW PDF   PDF DOWNLOAD PDF   Download PDF Original page

We introduce an algebra of instruction sequences by presenting asemigroup C in which programs can be represented without directionalbias: in terms of the next instruction to be executed, C has both forwardand backward instructions and a C-expression can be interpretedstarting from any instruction. We provide equations for thread extraction,i.e., C’s program semantics. Then we consider thread extractioncompatible (anti-)homomorphisms and (anti-)automorphisms. Finallywe discuss some expressiveness results.

Tango Jona
Tangokurs Rapperswil-Jona

RPA Switzerland

Robotic Process Automation Switzerland