System Thuego

Szablon:Dopracować System Thuego to system półthueowski (ang. semi-Thue system), w którym wszystkie reguły przepisywania są odwracalne, tj. jeśli $w\to v$ jest regułą, to $v\to w$ również jest regułą.