Prolog 模拟 Turing Machine
来源:互联网 发布:陕西省大数据产业联盟 编辑:程序博客网 时间:2024/06/07 17:05
既然写了PDA Parser,干脆再写个TM Parser。
TM Parser 最麻烦的地方在于对整个TM的定义,就是An Example下面的部分。因此我只选了一个正则的简单语言来作为例子。
%%2013-01-28
%% Turing Machine Parser%% Author : Mysterium
%%% Turing machine parser
%%% sp means space
decide(W) :- parser(p,W,F),F == 1,!.
parser(State,[R|Rs],F) :-
trans(State,[R,sp,left_end_mark],Rs,F).
trans(State,_,_,F) :- acpt(State),F is 1.
trans(State,_,_,F) :- deny(State),F is 0.
trans(State,[L|Ls],[R|Rs],F) :-
delta(State,L,Next,move_right),
append([R],[L|Ls],NewL),
trans(Next,NewL,Rs,F).
trans(State,[L|Ls],R,F) :-
delta(State,L,Next,move_left),
trans(Next,Ls,[L|R],F).
trans(State,[L|Ls],R,F) :-
delta(State,L,Next,A),
alphabet(A),
trans(Next,[A|Ls],R,F).
trans(State,[left_end_mark|Ls],[R|Rs],F) :-
append([R],[left_end_mark|Ls],NewL),
trans(State,NewL,Rs,F).
%%% An Example
%%% 状态和转移关系定义:
%% 遇到a右移一格,遇到空格则no,遇到b则yes
%% 就是判断一个串中是否含有字母b
acpt(y).
deny(n).
alphabet(a).
alphabet(b).
delta(p,a,p,move_right).
delta(p,b,y,_).
delta(p,sp,n,_).
%% end of code
一些测试:
?- decide([a,a,a,a,b,sp,b]).
true.
?- decide([a,a,b,a]).
true.
?- decide([a,a,a,a,a,sp,b]).
false.
?- decide([a,a,a,a,a]).
false.
- Prolog 模拟 Turing Machine
- Neural Turing Machine
- 图灵机(Turing Machine)
- Prolog 模拟 PDA
- PTM-A Parallel Turing Machine Protocol
- Memory Network and Neural Turing Machine
- zzuoj--10399--Turing equation(模拟)
- Virtual Twin Turing Machine: Bilingual Information Processing as an Example
- neural turing machine:神经图灵机tensorflow源码注释
- prolog
- Prolog
- prolog
- Prolog
- 用C#模拟Post-Turing程序的运行
- NYOJ 1253 Turing equation【题意是关键,模拟】
- hdu--5670--Machine (模拟三进制)
- hdu 5670 Machine(模拟)
- 第七届河南省赛 zzuoj 10399: F.Turing equation (模拟)
- 移植中Makefile学习 关键字理解
- 网络字节序
- 备忘录-布局居中
- dm365key_scan驱动按键无响应的解决方法(转)
- Linux网络编程中的地址问题
- Prolog 模拟 Turing Machine
- 图形用户界面(GUI)应用程序(第五课)
- Q_OBJECT 报错问题
- LINUX 2.6.37内存管理 SLAB分析之(1)SLAB初始化
- 关于FileUpload控件选择文件时触发显示图像事件在IE7以上版本中不显示的问题
- python中xrange和range的异同
- LINUX 2.6.37内存管理 SLAB分析之(2)SLAB缓冲创建与销毁
- 20130128-LUACOM-IDL-VBS
- LINUX 2.6.37内存管理 SLAB分析之(3)SLAB对象分配与释放