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

← 1 2 →