Prolog 模拟 PDA
来源:互联网 发布:服务器网络要求吗 编辑:程序博客网 时间:2024/05/22 00:33
在http://www.csupomona.edu/~jrfisher/www/prolog_tutorial/contents.html上有一个prolog的DFA parser,于是通读理解以后,模仿着写了一个PDA parser。
PDA(pushdown automata)是接受上下文无关语言的装置,这里我使用了一个例子,其生成的语言为{a,b}上的回文。
%2013-01-27
%% PDA Parser
%% Author: Mysterium.
%% 通用的PDA模拟
accept(L) :- parser(q,L).
parser(State,L) :-
trans(State,[],[]) :- final(State).start(State),
trans(State,L,[]).
trans(State,L,S) :-
delta(State,[],[],Next,Top),
append(Top,S,NewStack),
trans(Next,L,NewStack).
trans(State,L,[T|R]) :-
delta(State,[],T,Next,Top),
append(Top,R,NewStack),
trans(Next,L,NewStack).
trans(State,[L|R],S) :-
delta(State,L,[],Next,Top),
append(Top,S,NewStack),
trans(Next,R,NewStack).
trans(State,[L|R],[T|S]) :-
delta(State,L,T,Next,Top),
append(Top,S,NewStack),
trans(Next,R,NewStack).
%%%针对示例:起止状态和生成回文的转移函数:
start(q).
final(p).
delta(q,[],[],p,[sym_S]).
delta(p,[],sym_S,p,[a,sym_S,a]).
delta(p,[],sym_S,p,[b,sym_S,b]).
delta(p,a,a,p,[]).
delta(p,b,b,p,[]).
delta(p,[],sym_S,p,[]).
delta(p,[],sym_S,p,[a]).
delta(p,[],sym_S,p,[b]).
%% end of code
- Prolog 模拟 PDA
- Prolog 模拟 Turing Machine
- prolog
- Prolog
- prolog
- Prolog
- PDA模拟中遇到的问题
- PDA
- PDA
- PDA
- prolog-什么是prolog
- PDA阿PDA
- (转)C#在PDA中模拟Tab,PgUp,PgDn等按键示例
- prolog 介绍
- 好好学习PROLOG
- Visual Prolog
- 【百科】Prolog
- [Answers] Prolog
- win7 oracle 链接数据库出错
- UVA 10815 Andy's First Dictionary
- Shell 函数返回值
- 九度1105 字符串的反码
- Evil beyond imagining
- Prolog 模拟 PDA
- VS2008 写出的程序乱码问题
- c语言中static 用法总结
- 手势检测
- Spring MVC 3.0.5+Spring 3.0.5+MyBatis3.0.4全注解实例详解(三)
- Spring MVC 3.0.5+Spring 3.0.5+MyBatis3.0.4全注解实例详解(四)
- Spring MVC 3.0.5+Spring 3.0.5+MyBatis3.0.4全注解实例详解(五)
- Ubuntu 3D桌面完全教程
- Qt笔记