(Wortproblem nicht entscheidbar)
( Wortproblem entscheidbar, jedoch aufwendig)
( Wortproblem in Polynomialzeit)
(l, r) R : l V r V .
( Wortproblem in Linearzeit)