Can Abstract State Machines Be Useful in Language Theory?

ract State Machines Be Useful in Language Theory? Yuri Gurevich a Margus Veanes a Charles Wallace b aMicrosoft Research, Redmond, Washington, USA bMichigan Tech, Houghton, Michigan, USA ract state machine (ASM) is a modern computation model. ASMs and ASM based tools are used in academia and industry, albeit on a modest scale. They allow you to give high-level operational semantics to computer artifacts and to write le specifications of software and hardware at the desired abstraction level. In connection with the 2006 conference on Developments in Language Theory, we t several ways that we believe abstract state machines can be useful to the DLT community.

• Type: Conference
• Year: 2006
• Where: DLT
• Authors: Yuri Gurevich, Charles Wallace
• Keywords: DLT 2006, DLT 2007, Language Theory, Ract State Machine, State Machines