Ученые записки математических кафедр вып. 1970 г.

СС И затем елозо c e f к нужно запенить на ССа . в результате чего получим!: -а ? з- I W * R a e Q =R f к(Ц: . .. = где R слово в алфавите R'cc&Q.° V , то в /7, т .е . W - V ¿ П4 . Если же R ' CC&GL 'jt V R' c c í k 6. = R' cccl Q. = . = Vn г V , A i , Легко видно, что если имеем /? а € (X - / ? ' с с а Q. » по индуктивному предположении имеем ЦУ- 1 / в / 7 У . Для полугруппа /7? случаи а) М/л /?а с< 2 = R K Í m . ( X = - |/^ 1 I / , tí) Ws Rc&Q-RKpc^mQ = Vn £ V аналогичны случаю а ). с ) W s R cccl Q = R t i t G . = . . . = Vn. ё V . Из определяющих соотношений полугруппы /7-f видно, что на границе слов % R t u t У t i t и ft нет'определяющих слов и быть не может при любых преобразованиях в R и О , Поэтому всегда в первую очередь можно совершить преобразованиа в l i t . Инеем следующие возможности: ^ Wl Rcc°'&*R' i*ta=Rxxyta=R\zy¿ea = \\;=v На границе слов R и г Х у * », я \ t r определяющих слов и быть не монет при любых преобразованиях в R И Q • Иы включаем замен, <* С На /• ; так как такая замена возвращает нас к слову R x x y t , а такие замена ( У Яа ^ ' К0?0РПЯ приводит к слову R г 3 «< С О. Единственная замена, способствующая удалению буки t X , у , и. \ состоит в замене ХХ-йл. на с с а r s . • <¡ 1 и • Совершив ее, мы получив