Free Web Hosting Provider - Web Hosting - E-commerce - High Speed Internet - Free Web Page
Search the Web


                  Visitors : 159 since Nov 22, 2003

                                   
        [ Last Modification : 2003/11/22]
        ---------------------------------
  Here is C++ Simulator of a Post Machine (PM).
  The program simulates Nondeterministic/Deterministic Multitape PM.
  The algorithm has been written by Alex Vinokur.
  Programming Language : C++.
  Any and all comments would be appreciated.
       Message Board 

        Alex Vinokur
        -----------------------------------
        alexvn@connect.to
        http://up.to/alexvn
        -----------------------------------

  Content.
  1. Algorithm
  2. Classes
  3. Program Files
  4. Demo Program
  5. Compiling
  6. Running (Log Files)
  7. Download

====================================================
=================== 1. Algorithm ===================
                               
The programs simulate Deterministic and Nondeterministic Post Machine 

====================================================

====================================================
================ 2. List Of Classes ================
Main classes used in the algorithm are as following :
  1. CommandAction
  2. Tape
  3. NondeterministicPostMachine
  4. Run
====================================================

==========================================================================
============================= 3. Program Files ===========================
The algorithm contains the following files :
  1. version.h Version Info
  2. macro.h Various Macro
  3. common.h Common Function etc (Declaration)
  4. service.h Auxilary Classes/Functions (Declaration)
  5. defs.h Common Definitions
  6. tape.h Class Tape (Definition)
  7. commands.h Class CommandAction (Definition)
  8. post-m.h Class PostMachine (Definition)
  9. run.h Class Run (Definition)
  10. version.cpp Version Info
  11. common.cpp Common Function etc (Implementation)
  12. service.cpp Auxilary Classes/Functions (Implementation)
  13. tape.cpp Class Tape (Implementation)
  14. commands.cpp Class CommandAction (Implementation)
  15. post-m.cpp Class PostMachine (Implementation)
  16. run.cpp Class Run (Implementation)
  17. main.cpp Main Program
  18. Makefile Makefile
====================================================

==========================================================================
============================= 4. Demo Programs ===========================
  1. An addition of one to a number : Determinitsic, 1 tape
  2. An addition of two numbers : Determinitsic, 1 tape
  3. An addition of two numbers : Determinitsic, 2 tape
  4. A recognition of odd numbers : Determinitsic, 1 tape
  5. A recognition of odd numbers : Nondeterminitsic, 1 tape
Source : V.A.Uspensky, "A Post Machine" (in Russian), Moscow, "Nauka", 1979. ====================================================

====================================================
==================== 5. Compiling ==================
//#########################################################
//------------------- System & Compiler  ------------------
Windows 2000
CYGWIN
GNU gcc/g++ version 3.3.1
GNU Make version 3.80
//-------------------- Compiling : BEGIN ------------------
%make
//-------------------- Compiling : END --------------------

====================================================
===================== 6. Running ===================
//#########################################################
//-------------------- Running : BEGIN --------------------

%post-m.exe -h	// Help

%post-m.exe [metafile-name]

//-------------------- Running : END ----------------------

====================================================
===================== 7. Download ==================
//#########################################################

http://sourceforge.net/projects/turing-machine/

http://alexvn.freeservers.com/s1/post-m.zip

http://groups.google.com/groups?th=2ea0511bd9eb30db Demo Run Logs