One research direction to consider is rewriting systems with orbit-finite sets of rules. There is a nice application to knot theory.
One research direction to consider is rewriting systems with orbit-finite sets of rules. There is a nice application to knot theory.