🗣️❓➡️*✨🏁

#knuth-bendix #word problem #decidability #normal form #term rewriting #abstract algebra #computational algebra #unique normal form

⛓️❓:🅰️⇌🅱️

#conjugacy problem #group linkage #equivalence class #abstract algebra #word problem #dehn's problems #algebraic decision problem