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


                  Visitors : 133 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