Colombia
Este artículo busca dar a conocer de manera sucinta los orígenes de las Máquinas Abstractas de Estado (ASM), además propone una definición formal con base en sus características particulares. Por otra parte, muestra la relación que se puede dar con los Autómatas de Pila (AP) resaltando sus aspectos fundamentales. Finalmente, expone una contextualización generalizada de la aplicación de las ASM en las bases de datos, tomando como base tres importantes trabajos recomendados en el sitio web oficial de las ASM.
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.
© 2001-2026 Fundación Dialnet · Todos los derechos reservados