"Left extension" \overset{\scriptstyle{\leftarrow}}{\gamma} of the string \gamma is the longest string \omega that has the same right context as \gamma. Length |\overset{\scriptstyle{\leftarrow}}{\gamma}| of the longest string recognized by q=[\gamma]_R is denoted by len(q). It holds:
