1.3.6. ОГРАЖДЕННЫЕ ТРОПЫ Если Q - некоторая тропа, то мы всегда можем превратить ее в хвост, приписав перед ней запятую. В результате получается огражденная тропа
, Q
которая с синтаксической точки зрения является хвостом, а во всех прочих отношениях эквивалентна тропе Q.