| Citation: | Andreas Blass and Yuri Gurevich, "Algorithms vs. Machines." Bulletin of EATCS, number 77, June 2002, 96-118. |
|---|---|
| Summary: | A response to a paper of Moschovakis claiming that no state machine describes mergesort at its natural abstraction level. A natural recursive ASM for mergesort is given. |
| Subjects: | ASM Extensions |
| Download: | From Yuri Gurevich's home page in PDF. |
| Notes: | Uses definitions of recursive ASMs. |
[an error occurred while processing this directive]
URL:
http://web.eecs.umich.edu/gasm/papers/algmach.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT