473,698 Members | 1,967 Online
Bytes | Software Development & Data Engineering Community
+ Post

Home Posts Topics Members FAQ

C++ Simulator of a Universal Turing Machine


C++ Simulator of a Universal Turing Machine can be downloaded at :
* http://alexvn.freeservers.com/s1/utm.html
* http://sourceforge.net/projects/turing-machine/
The program simulates a Universal Turing Machine (UTM).

The UTM used in the Simulator is three-tape Turing Machine:
* Tape#0 contains transition table and initial instantaneous description
of a Particular Turing Machine (TM);
* Tape#1 and Tape#2 are working UTM-tapes.

The UTM can simulate the behavior of a Multitape TM.

The package consists of two executable files :
* t2u - compiler TM-to-UTM
which translates description and input of TM to UTM-language;
t2u generates several output files, one of them is used as input of the utm.
* utm - the Simulator itself.

Detailed log file is generated.
Resources used (input size, output size, UTM-space, UTM-time) are computed as well.
Testsuites. Two Turing Machines (TM-1 and TM-2) are used to create inputs for UTM.
Each of them is an addition program which adds two numbers:
* TM-1 is one-tape TM,
* TM-2 is two-tape TM.

--
=============== =============== =======
Alex Vinokur
mailto:al****@c onnect.to
http://mathforum.org/library/view/10978.html
=============== =============== =======

Jul 22 '05 #1
0 2303

This thread has been closed and replies have been disabled. Please start a new discussion.

Similar topics

32
2279
by: Xah Lee | last post by:
is it possible to write python code without any indentation? Xah xah@xahlee.org http://xahlee.org/PageTwo_dir/more.html
0
2454
by: Alex Vinokur | last post by:
C++ Simulator of a Nondeterministic Turing Machine has been added at : * http://alexvn.freeservers.com/s1/turing.html * http://sourceforge.net/projects/turing-machine/ Currently those sites contain C++ Simulators for both Deterministic and Nondeterministic Turing Machines. The Simulators contain examples of Turing Machines as well.
0
1876
by: Nick Kew | last post by:
Rationale ========= Many applications today benefit from an SGML and/or XML Entity Catalogue to dereference entities referenced by a Public Identifier. For a validating SGML parser this is an absolute requirement. For any SGML or XML parser it serves to enable entities such as DTDs and modules to be resolved locally. Hitherto, different packages and applications have distributed entity
0
1943
by: Alex Vinokur | last post by:
C++ Simulator of a Post Machine can be downloaded at : * http://alexvn.freeservers.com/s1/post-m.html * http://sourceforge.net/projects/turing-machine/ The program simulates Deterministic and Nondeterministic Multitape Post Machine. Post Machine is defined by set of setup files. Demo programs :
9
2631
by: Milk | last post by:
Hi all, Can anyone help me to do this Question. Coz this is my first time study C++ language and my lecture want me to do this kind of program, i really don't have any ideal pls help me here is the Question:: Improve the following (badly written) matrix multiplicationprogram and translate it into MIPs assembly language then assemble into machine language (hexadecimal representation). You may use a compiler to produce an assembly
61
16254
by: /* frank */ | last post by:
I have to do a homework: make a CPU simulator using C language. I have a set of asm instructions so I have to write a program that should: - load .asm file - view .asm file - do a step by step simulation - display registers contents I tried to search con google with no success.
3
3825
by: Kvele | last post by:
I'm just looking for Turing machine for divide two binary numbers by subtract. The input string of numbers can't be deleted. The result must contain arrear. I need list of states (or c source). For example content of tape: BBBB111%11BBBB-->BBBB111%11BB10B1 Thanks for all help. my email: leostarr@REMOVEhotmail.com
1
4311
by: roxorsoxor2345 | last post by:
I am very sorry if this is not the appropriate group to post this question. I currently have a program that tests strings to see if they are palindromes. My input file looks something like this: 0 a # R 1 (# is representation for a blank) 0 b b R 1 0 # # L 2
0
1538
by: Peter Donis | last post by:
When running a doctest text file with doctest.testfile, I noticed that universal newline support did not appear to work when module_relative is False. My text file was saved on a Windows machine but I was testing it on a Linux machine, hence the newline mismatch (doctest would throw a SyntaxError for every incorrect newline). I looked at the svn trunk history for doctest.py and found the following patch: ...
0
8672
marktang
by: marktang | last post by:
ONU (Optical Network Unit) is one of the key components for providing high-speed Internet services. Its primary function is to act as an endpoint device located at the user's premises. However, people are often confused as to whether an ONU can Work As a Router. In this blog post, we’ll explore What is ONU, What Is Router, ONU & Router’s main usage, and What is the difference between ONU and Router. Let’s take a closer look ! Part I. Meaning of...
0
8600
by: Hystou | last post by:
Most computers default to English, but sometimes we require a different language, especially when relocating. Forgot to request a specific language before your computer shipped? No problem! You can effortlessly switch the default language on Windows 10 without reinstalling. I'll walk you through it. First, let's disable language synchronization. With a Microsoft account, language settings sync across devices. To prevent any complications,...
0
9155
Oralloy
by: Oralloy | last post by:
Hello folks, I am unable to find appropriate documentation on the type promotion of bit-fields when using the generalised comparison operator "<=>". The problem is that using the GNU compilers, it seems that the internal comparison operator "<=>" tries to promote arguments from unsigned to signed. This is as boiled down as I can make it. Here is my compilation command: g++-12 -std=c++20 -Wnarrowing bit_field.cpp Here is the code in...
0
9018
jinu1996
by: jinu1996 | last post by:
In today's digital age, having a compelling online presence is paramount for businesses aiming to thrive in a competitive landscape. At the heart of this digital strategy lies an intricately woven tapestry of website design and digital marketing. It's not merely about having a website; it's about crafting an immersive digital experience that captivates audiences and drives business growth. The Art of Business Website Design Your website is...
0
7711
agi2029
by: agi2029 | last post by:
Let's talk about the concept of autonomous AI software engineers and no-code agents. These AIs are designed to manage the entire lifecycle of a software development project—planning, coding, testing, and deployment—without human intervention. Imagine an AI that can take a project description, break it down, write the code, debug it, and then launch it, all on its own.... Now, this would greatly impact the work of software developers. The idea...
0
5859
by: conductexam | last post by:
I have .net C# application in which I am extracting data from word file and save it in database particularly. To store word all data as it is I am converting the whole word file firstly in HTML and then checking html paragraph one by one. At the time of converting from word file to html my equations which are in the word document file was convert into image. Globals.ThisAddIn.Application.ActiveDocument.Select();...
0
4360
by: TSSRALBI | last post by:
Hello I'm a network technician in training and I need your help. I am currently learning how to create and manage the different types of VPNs and I have a question about LAN-to-LAN VPNs. The last exercise I practiced was to create a LAN-to-LAN VPN between two Pfsense firewalls, by using IPSEC protocols. I succeeded, with both firewalls in the same network. But I'm wondering if it's possible to do the same thing, with 2 Pfsense firewalls...
0
4614
by: adsilva | last post by:
A Windows Forms form does not have the event Unload, like VB6. What one acts like?
3
1997
bsmnconsultancy
by: bsmnconsultancy | last post by:
In today's digital era, a well-designed website is crucial for businesses looking to succeed. Whether you're a small business owner or a large corporation in Toronto, having a strong online presence can significantly impact your brand's success. BSMN Consultancy, a leader in Website Development in Toronto offers valuable insights into creating effective websites that not only look great but also perform exceptionally well. In this comprehensive...

By using Bytes.com and it's services, you agree to our Privacy Policy and Terms of Use.

To disable or enable advertisements and analytics tracking please visit the manage ads & tracking page.