Следы процесса

Предположим, что существует процесс LR = left --> right -->LR | right --> left -->LR LR = left --> right -->LR | right --> left -->LR
Является ли (left, right, right) допустимым след LR?
Я думаю, что это не потому, что следы LR = {<>,(Left),(left,right), (left,right,left), (left,right,left,right)...} или {(right),(right,left), (right,left,right)...}. Поэтому этот процесс не мог бы создать (left, right, right), это правильно?