jaredkhan/registermachine

A Swift implementation of a register machine

registermachine's Issues

Composable Register Machines

Register machines should be compassable. i.e. I should be able to say:

let doublePlusThreeMachine = doubleMachine.compose(with: plusThreeMachine)

This can be done just by running the second machine at all HALT states of the first machine with the first machine's output as the second's input

Universal Register Machine

This package should include a model of a universal register machine for completeness' sake. To achieve this, we may require more efficient encoding of register machine programs and/or a better way to deal with register machine encodings (i.e. something with a bigger capacity than Int!)