• Home
  • Most Popular
  • Submit
  • About Us
  • Contact Us

Softpile

Free Downloads

Categories
  • Home
  • Most Popular
  • Communications
  • Desktop
  • Games & Entertainment
  • Graphic Apps
  • Network & Internet
  • Security & Privacy
  • System Utilities
Alternative to itextsharp 2022.11.10347
IronPDF offers an itextsharp alternative for HTML to PDF conversion with C# code examples, documentation, and ...
VShell Server for Linux and Mac 4.8
VShell is a versatile and secure file transfer server that supports multiple protocols and is compatible ...
PDF Studio PDF Editor for Linux 2022
PDF Studio is a cost-effective PDF editor that delivers full compatibility with the PDF Standard. It's ...
VQ Probe for Linux 1.5
VQ Probe is a comprehensive software tool that enables objective and subjective video quality analysis. The ...
Resilient Server 2.3
This Debian GNU/Linux (Buster) based software has a customized partitioning scheme that enhances robustness against filesystem ...
Valentina Studio for Linux 9.6
Valentina Studio is a cross-platform GUI manager for Mac, Windows, and Linux. It allows users to ...
VPN Lifeguard for Linux 1.0.58
The software monitors VPN connection and automatically terminates apps during connection loss, re-establishes the connection and ...
G_Viewer 0.84
G_Viewer is a Linux software that serves as both a file system and photo/image viewer. It ...
Checksome File Hash Tool for Linux 1.1
This software allows for the generation and verification of file hashes. It is a quick and ...
KeyWrangler Password Manager for Linux 1.2
A password management software that is secure, offline and extensible. It offers military-grade encryption to protect ...
Home Linux rmachine Download

rmachine

January 24, 2008
The rmachine software is a simulation tool for register machines.
Version 0.12
License GPL
Platform Linux
Supported Languages English
Homepage developer.berlios.de
Developed by Michael Vogt
I recently tried out rmachine, a register machine simulator that is programmed in Python. This software comes complete with a module that can be used within your programs and also includes a user-friendly PyQt4 GUI. The simulator is designed for register machines, which is the complexity theory version.

One of the standout features of rmachine is that the machine or RAM is equal in computational power to Turing machines. Essentially, this means that the machine has theoretically unlimited memory, although this will be limited in practice by your computer's memory. The registers or memory cells within the machine can store integers >=0 of any length.

For example, if the 5th register contains the number 42, it would be written as c(5)=42. It's worth noting that c(0) is also known as "assembler" and plays an essential role that will become apparent later. Moreover, the RAM has a program counter b, which is set to 1 initially and represents the next line of instructions to be executed.

The structure of a program typically resembles the following format:

# Comments go here
# More comments
INPUT 4 6 8 9
(Instructions go here)
END

As you can see, the "INPUT" line should immediately follow the comments. Any user input will be placed inside c(1), c(2), etc. For instance, in the above example, c(1)=4, c(2)=6, c(3)=8, c(4)=9.

Now that you have an idea of how the rmachine software works, here is a list of instructions that can be utilized:

-- LOAD i c(0):=c(i), b:=b+1
-- CLOAD i c(0):=i, b:=b+1
-- INDLOAD i c(0):=c(c(i)), b:=b+1
-- STORE i c(i):=c(0), b:=b+1
-- INDSTORE i c(c(i)):=c(0), b:=b+1
-- ADD i c(0):=c(0)+c(i), b:=b+1
-- CADD i c(0):=c(0)+i, b:=b+1
-- INDADD i c(0):=c(0)+c(c(i)), b:=b+1
-- SUB i c(0): = max(c(0) - c(i),0), b:=b+1
-- CSUB i c(0): = max(c(0) - i,0), b:=b+1
-- INDSUB i c(0): = max(c(0) - c(c(i)),0), b:=b+1
-- MUL i c(0):=c(0)*c(i), b:=b+1
-- CMUL i c(0):=c(0)*i, b:=b+1
-- INDMUL i c(0):=c(0)*c(c(i)), b:=b+1
-- DIV i c(0):=c(0)/c(i), b:=b+1 Note: The decimals will be cut off
-- CDIV i c(0):=c(0)/i, b:=b+1 Note: The decimals will be cut off
-- INDDIV i c(
What's New

Version 0.12: N/A

Free Download 20K
337
  • Share on:

Most Popular

  1. SlideMap 1.2.2
    100
  2. Quicksilver Forums 1.4.2
    87
  3. WikEd
    78
  4. CherryTV 0.1
    78
  5. porm r2
    74
  6. Intel Software Development Emulator 1.70
    71
  7. xstereograph 2.1
    70
  8. Proxy filesystem for FUSE 1.0.0
    64
  9. Siesta::UserGuide 0.66
    64
  10. fuseftp 0.8
    62

Related Downloads

Swfdec Gnome
The Swfdec Gnome package provides software that enables Flash features to be ...
Clear-Dark-One
Introducing yet another dark theme for GNOME.
Firefox Quickstarter
Firefox Quickstarter is a modified version of MozillaQs that enables faster launch ...
Mudawin
Mudawin is a blogging software used as a client.
Web:Extend
This is a PHP5 framework that enables easy and efficient coding with ...
flup
A collection of WSGI servers with no specific order or organization.
Apache::GTopLimit
Limit the number of Apache httpd processes using software, thus reducing resource ...
specter
Specter is a logging tool for Linux netfilter that operates in the ...
Sysmask
Sysmask secures Linux systems by preventing permanent damage from malicious code.
xslet/xsldo
Xsldo is a library under xslet project that simplifies the development of ...
Copyright © 1999-2025 Softpile Free Downloads
  • Most Popular
  • Submit
  • About Us
  • Contact Us
  • Privacy Policy
  • Disclaimer
  • Terms of Use

Can we use your data to tailor ads for you?

Our partners will collect data and use cookies for ad personalization and measurement.

By choosing "I agree", closing this pop-up or clicking on any element on the page, you agree to the use of cookies to help us provide you with a better user experience.

Learn how Softpile and our partners collect and use data.

You can change your choice at any time in our privacy center.

Cookie Settings

Our website stores four types of cookies. At any time you can choose which cookies you accept and which you refuse. You can read more about what cookies are and what types of cookies we store in our Cookie Policy.

are necessary for technical reasons. Without them, this website may not function properly.

are necessary for specific functionality on the website. Without them, some features may be disabled.

allow us to analyse website use and to improve the visitor's experience.

allow us to personalise your experience and to send you relevant content and offers, on this website and other websites.