Can abstract state machines be useful in language theory?

DOI10.1016/J.TCS.2007.01.009MaRDI QIDQ880169zbMATH OpenOpenAlexFDO

Authors Yuri Gurevich, Margus Veanes, Charles Wallace

Publication date 11 May 2007

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2007.01.009

zbMATH Keywords

evolutionary algorithmsabstract state machineAsmLlanguage theorygraph-partition algorithm

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• scientific article; zbMATH DE number 2084324
• Abstract state machines: a unifying view of models of computation and of system design frameworks
• The computable kernel of abstract state machines
• scientific article; zbMATH DE number 1670522
• scientific article; zbMATH DE number 2172808

Cites work

• scientific article; zbMATH DE number 5604097 (Why is no real title available?)
• scientific article; zbMATH DE number 1033559 (Why is no real title available?)
• scientific article; zbMATH DE number 1951198 (Why is no real title available?)
• scientific article; zbMATH DE number 970830 (Why is no real title available?)
• Abstract state machines capture parallel algorithms
• Abstract state machines: a unifying view of models of computation and of system design frameworks
• An Efficient Algorithm for Graph Isomorphism
• Choiceless polynomial time
• Evolutionary computation. 1. Basic algorithms and operators
• Evolving Algebras 1993: Lipari Guide
• Handbook of Graph Grammars and Computing by Graph Transformation
• Interactive Algorithms 2005 with Added Appendix
• On Computable Numbers, with an Application to the Entscheidungsproblem. A Correction
• On polynomial time computation over unordered structures
• Semantic essence of AsmL
• Sequential abstract-state machines capture sequential algorithms

Cited in

(3)

• Proving properties of the Chord protocol using the ASM formalism
• Ibn Sīnā on analysis. I. Proof search. Or: Abstract state machines as a tool for history of logic
• scientific article; zbMATH DE number 1670503 (Why is no real title available?)

Describes a project that uses

Uses Software

• AsmL

This page was built for publication: Can abstract state machines be useful in language theory?

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q880169)