Series-parallel irreducibility: Machine oriented definitions and proofs

The aim of this paper is not the establishment of new results, but the understanding, from a machine theoretic point of view, of results originally arrived at by algebraic means. A new criterion for series parallel irreducibility is given which makes no reference to underlying semigroups but involves only series parallel operations. Also, the irreducibility of prime counter machines is established using only machine theoretic methods.