section_heading: Definicija
paragraph_text: Elementi od R se zovu produkcije ili pravila (prepisivanja), i obično se pišu kao pravila <math>u \rightarrow v</math>. Valja uočiti da R može biti beskonačan. Ako je semi-Thue sustav simetričan (tj. <math>R^{-1}=R</math>), tada se također zove Thue sustav.