While Abstract Machine implemented in python.
Project description
while-machine
While Abstract Machine implemented in python.
While Machine is an abstract machine that is turing complete and can compute any partial recursive function. Find out more here https://en.wikipedia.org/wiki/Abstract_machine
Its simpler brother is called Random Access Machine and you can find its implementation here https://github.com/GabrieleMaurina/random-access-machine
Install
Run inside terminal:
python -m pip install while-machine
Usage
To execute a ram source file:
python -m while_machine <while source file> <integer input>
To import it in your script:
from while_machine import WhileMachine
data = 4
program = 'begin inc 0 inc 0 end'
wm = WhileMachine()
result = wm.compute(program, data)
print(result) # 2
How it works
A while machine has 21 registers numbered from 0, 1, 2..., the input is loaded on register 1 before the execution starts, the output is taken from register 0 when the execution ends.
Instructions:
A while machine supports only 4 basic instructions:
Increment register k by 1:
inc k
Decrement register k by 1:
dec k
Set register k to zero:
zero k
While register k is not zero, do the following command:
while k
Commands can be grouped with:
begin
...
...
end
Example
An example program that will double whatever input you give to the machine:
while 1
begin
inc 0
inc 0
dec 1
end
RAM compiler
It is possible to compile a While program into a Ram program using the method compile_ram of the class WhileMachine. You can find an implementation of the ram machine here https://github.com/GabrieleMaurina/random-access-machine
Here is an example of how to compile from While to RAM:
from while_machine import WhileMachine
import sys
def main():
wm = WhileMachine()
with open(sys.argv[1],'r') as while_prog, open(sys.argv[2],'w') as ram_prog:
while_prog = while_prog.read()
compiled = wm.compile_ram(while_prog)
ram_prog.write(compiled)
if __name__ == '__main__':
main()
Project details
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
Built Distribution
Hashes for while_machine-1.0.2-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 3181dddbc869f7d9c0b75171b56d9fe236a6f9bc523f885882beed7f359b1626 |
|
MD5 | 07e46b5fdf11b6877e246ba6f5d0c665 |
|
BLAKE2b-256 | 27590e89f719e8c37c620dd7719ae749475bdd6780075a326b7907ca326b3ce6 |