abstract computation model; mathematical model of computation that defines an abstract machine which manipulates symbols on a strip of tape according to a table of rules
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).