Can abstract state machines be useful in language theory?

Theoretical Computer Science - Tập 376 - Trang 17-29 - 2007
Yuri Gurevich1, Margus Veanes1, Charles Wallace2
1Microsoft Research, Redmond, WA, USA
2Michigan Tech, Houghton, MI, USA

Tài liệu tham khảo