Can abstract state machines be useful in language theory?
scientific article; zbMATH DE number 5151694