文件列表:

src\codes.h (4609, 2017-04-11)
src\common.h (2919, 2017-04-11)
src\comp-t2u.h (5118, 2017-04-11)
src\defs.h (3272, 2017-04-11)
src\macro.h (2694, 2017-04-11)
src\rules.h (3196, 2017-04-11)
src\run.h (4796, 2017-04-11)
src\service.h (1847, 2017-04-11)
src\tape.h (4137, 2017-04-11)
src\turing-u.h (7488, 2017-04-11)
src\version.h (1986, 2017-04-11)
src\codes.cpp (16965, 2017-04-11)
src\common.cpp (4007, 2017-04-11)
src\comp-t2u.cpp (56950, 2017-04-11)
src\main-t2u.cpp (2043, 2017-04-11)
src\main-utm.cpp (1738, 2017-04-11)
src\rules.cpp (4737, 2017-04-11)
src\run.cpp (24753, 2017-04-11)
src\service.cpp (4808, 2017-04-11)
src\tape.cpp (18735, 2017-04-11)
src\turing-u.cpp (45017, 2017-04-11)
src\version.cpp (1984, 2017-04-11)
demo\howto.inf (962, 2017-04-11)
demo\info.inf (2179, 2017-04-11)
howto (243, 2017-04-11)
src\Makefile (2712, 2017-04-11)
demo\Makefile (6060, 2017-04-11)
license.gpl (18349, 2017-04-11)
demo\add1.tm (91, 2017-04-11)
demo\add1_w1.tm (13, 2017-04-11)
demo\add1_w2.tm (17, 2017-04-11)
demo\add1_w3.tm (19, 2017-04-11)
demo\add1_w4.tm (19, 2017-04-11)
demo\add1_w5.tm (11, 2017-04-11)
demo\add2.tm (114, 2017-04-11)
demo\add2_w0.tm (10, 2017-04-11)
demo\add2_w1.tm (16, 2017-04-11)
demo\add2_w2.tm (20, 2017-04-11)
... ...

==================================== ----- Universal Turing Machine ----- ----------- C++ Simulator ---------- ------------ Version 1.0 ----------- ==================================== The algorithm has been written by Alex Vinokur. Programming Language : C++. Any and all comments would be appreciated. DISCLAIMER ============================================================== Copyright (c) 2002-2003 Alex Vinokur. ------------------------------------------------------------ This file is part of C++ Simulator of a Universal Turing Machine. C++ Simulator of a Universal Turing Machine is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. C++ Simulator of a Universal Turing Machine is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. You should have received a copy of the GNU General Public License along with C++ Simulator of a Universal Turing Machine; if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA ------------------------------------------------------------ mailto:alexvn@connect.to http:up.to/alexv ============================================================== ===================================== BRIEF DESCRIPTION ----------------------------------- The program simulates a Universal Turing Machine (UTM). The UTM used 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. Detailed log file is generated. Resources used (input size, output size, UTM-space, UTM-time) are computed as well. The package consists of two executable files : * t2u - compiler TM-to-UTM which translates description and input of TM to UTM-language; * utm - the simulator itself. Testsuites. Two Turing Machines 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. ===================================== AVAILABILITY ----------------------------------- ### Web page ### http://alexvn.freeservers.com/s1/utm.html ----------------------------------- ### Download ### http://sourceforge.net/projects/turing-machine/ http://alexvn.freeservers.com/s1/utm.html Files: * licence.gpl (GNU GENERAL PUBLIC LICENSE) * readme (this file) --- Program Files --- * version.h Version Info (Declaration) * macro.h Various Macro * common.h Common Function etc (Declaration) * service.h Auxiliary Classes/Functions (Declaration) * defs.h Common Definitions * tape.h Class Tape (Definition) * rules.h Classes CurSituation & NextSituation (Definition) * turing-u.h Class UniversalTuringMachine (Definition) * run.h Class Run (Definition) * codes.h Coding Related Functions (Declaration) * comp-t2u.h Class TM_to_UTM_Compiler (Definition) * version.cpp Version Info (Definition) * common.cpp Common Function etc (Implementation) * service.cpp Auxiliary Classes/Functions (Implementation) * tape.cpp Class Tape (Implementation) * rules.cpp Classes CurSituation & NextSituation (Implementation) * turing-u.cpp Class UniversalTuringMachine (Implementation) * run.cpp Class Run (Implementation) * codes.cpp Coding Related Functions (Implementation) * comp-t2u.cpp Class TM_to_UTM_Compiler (Implementation) * main-t2u.cpp Main Program for Conversion TM-to-UTM * main-utm.cpp Main Program for UTM Simulator --- Data Files --- * states.utm UTM States * symbols.utm UTM Symbols * rules.utm UTM Rules (Transition Table) --- Makefile --- * Makefile --- Demo Input Data Files --- Various demo data files. ===================================== ENVIRONMENT ### System & Compiler ### Windows 2000 Professional CYGWIN_NT-5.0 1.5.4(0.94/3/2) GNU g++ version 3.3.1 (cygming special) GNU Make 3.80 ===================================== USAGE ### Compilation & Run Tests ### $ cd $ howto ========================================================= Alex Vinokur 2003.12.18 ----------------------------------- mailto:alexvn@connect.to http:up.to/alexvn ----------------------------------- =========================================================

近期下载者：

相关文件：

评论：[我要评论] [举报此文件]

收藏者：