User loginNavigation |
Can Abstract State Machines Be Useful in Language Theory?Can Abstract State Machines Be Useful in Language Theory? Yuri Gurevich; Margus Veanes; Charles Wallace.
I am not sure how useful this might be to LtU readers, but it is a nice introudction to ASMs. Among the topics discussed are: concurrency, non-determinism, the notion of Universality (e.g., "Turing completenss") and the executability of the ASM notation (i.e., AsmL). |
Browse archives
Active forum topics
|
Recent comments
14 weeks 1 day ago
18 weeks 3 days ago
20 weeks 10 hours ago
20 weeks 10 hours ago
22 weeks 5 days ago
27 weeks 2 days ago
27 weeks 2 days ago
27 weeks 5 days ago
27 weeks 5 days ago
30 weeks 4 days ago