@neauoire @wryl reminds heavily of Markov algorithms I learned at uni. It was fun coming up with the rewriting rules! And more rewarding than those Turing machines 😤