文件名称:Turing and Post Machines: C++ Simulators:图灵和后期机器的C ++模拟器-开源
文件大小:67KB
文件格式:ZIP
更新时间:2024-05-20 11:19:26
开源软件
C ++程序模拟:非确定性/确定性多带图灵和邮递机,通用图灵机,具有故障,故障和恢复的图灵机。
【文件预览】:
turing-machine-2-3.src
----license.gpl(18KB)
----src()
--------macro.h(3KB)
--------main.cpp(2KB)
--------version.h(2KB)
--------service.cpp(6KB)
--------tape.h(4KB)
--------defs.h(2KB)
--------common.h(3KB)
--------run.h(6KB)
--------common.cpp(3KB)
--------rules.h(3KB)
--------rules.cpp(5KB)
--------tape.cpp(18KB)
--------service.h(2KB)
--------run.cpp(57KB)
--------Makefile(2KB)
--------version.cpp(2KB)
--------turing-m.h(7KB)
--------turing-m.cpp(41KB)
----howto(243B)
----whatis(8KB)
----readme(4KB)
----demo()
--------un2bin.sta(21B)
--------fib3.in(7B)
--------un2bin1.in(11B)
--------addm.rul(240B)
--------addt.sta(12B)
--------mult.dsc(331B)
--------mult1.in(7B)
--------addt.dsc(470B)
--------palindr1.in(10B)
--------euclid.abt(11B)
--------euclid2.in(17B)
--------palindr2.in(10B)
--------add1.in(19B)
--------euclid3.in(28B)
--------addt2.in(26B)
--------add3.in(25B)
--------add.rul(78B)
--------un2bin.dsc(690B)
--------mult2.in(13B)
--------part2.in(25B)
--------info.inf(855B)
--------meta_add(219B)
--------fib1.in(3B)
--------mult.abt(79B)
--------fib2.in(5B)
--------fib.sta(249B)
--------part.abt(11B)
--------metafile(782B)
--------palindr.rul(323B)
--------mult.rul(325B)
--------addt.rul(95B)
--------palindr.sta(21B)
--------add.sta(15B)
--------fib.rul(2KB)
--------addt.abt(78B)
--------palindr3.in(16B)
--------add.dsc(316B)
--------un2bin3.in(37B)
--------part.rul(276B)
--------meta_mult(67B)
--------meta_fib(75B)
--------un2bin.abt(11B)
--------un2bin2.in(31B)
--------fib.dsc(381B)
--------howto.inf(596B)
--------euclid5.in(7B)
--------fib.abt(11B)
--------add6.in(12B)
--------part.dsc(194B)
--------euclid.dsc(495B)
--------add.abt(79B)
--------euclid1.in(23B)
--------fib7.in(15B)
--------add2.in(23B)
--------addt1.in(22B)
--------add4.in(25B)
--------part1.in(21B)
--------meta_u2b(80B)
--------part3.in(25B)
--------fib5.in(11B)
--------addm.sta(27B)
--------add7.in(19B)
--------palindr.abt(11B)
--------meta_aho(153B)
--------euclid.sta(18B)
--------Makefile(1KB)
--------mult3.in(19B)
--------palindr.dsc(207B)
--------euclid4.in(51B)
--------euclid.rul(208B)
--------add5.in(11B)
--------addm.dsc(390B)
--------mult.sta(36B)
--------part.sta(21B)
--------un2bin.rul(208B)
--------meta_euclid(102B)