ABSTRACT STATE MACHINES AND THEIR APPLICATIONS

被引:0
作者
Reyes Vera, Javier Mauricio [1 ]
机构
[1] Univ Valle, Cali, Colombia
来源
REVISTA EDUCACION EN INGENIERIA | 2012年 / 7卷 / 13期
关键词
evolving algebras; finite automata; abstract state machines; finite state machines; Turing machines;
D O I
暂无
中图分类号
T [工业技术];
学科分类号
08 ;
摘要
This paper aims to summarize the origin of the Abstract State Machine (ASM) and on the basis of its particular features proposes a formal definition. As well, it exposes the relationships between ASM and Pushdown Automaton (PA) emphasis on the fundamentals. Eventually presents a general application of the ASM in Data Base field, taking into account three remarkable works show in the official ASM web site.
引用
收藏
页码:55 / 62
页数:8
相关论文
共 18 条
[1]   Abstract state machines and computationally complete query languages [J].
Blass, A ;
Gurevich, Y ;
Van den Bussche, J .
INFORMATION AND COMPUTATION, 2002, 174 (01) :20-36
[2]  
Borger E., 2004, LECT NOTES INFORM, P235
[3]  
Dershowitz N., 2010, ABSTRACT STATE MACHI, P1
[4]  
Egon Borger, 2003, ABSTRACT STATE MACHI
[5]  
Flake S, 2004, LECT NOTES COMPUT SC, V3273, P226
[6]  
Fordham B., 1997, P 1997 INT DAT ENG A
[7]  
Gayo J. E. L., 2001, S IB SIST INF ING SO
[8]  
GOTTLOB G, 1991, LECT NOTES COMPUT SC, V504, P144
[9]  
Gurevich Y., 2000, ASM 00 P INT WORKSH
[10]  
Gurevich Y., 1995, EVOLVING ALGEBRAS