Perwoj rabotoj po kombinatorike slow schitaetsq stat'q Tuä, w kotoroj on pokazywaet, chto suschestwuet beskonechnoe slowo nad trehbukwennym alfawitom, ne soderzhaschee dwuh odinakowyh podrqd iduschih podslow. V sowremennoj terminologii goworitsq ob izbegaemosti kwadratow. Kombinatornyj podhod okazalsq estestwennym dlq resheniq zadach dlq polugrupp i ih mnogoobrazij, zadannyh tozhdestwami wida u=0, i naprqmuü swqzan s izbegaemost'ü shablona u. V dannoj rabote pokazywaetsq, chto takie mnogoobraziq obladaüt swojstwom reshetochnoj uniwersal'nosti (ih reshetka podmnogoobrazij dostatochno slozhna w tom smysle, chto w nee wkladywaetsq reshetka podmnogoobrazij lübyh algebr s ne bolee chem schetnym chislom operacij). Bolee togo, ponqtie izbegaemosti mozhno wwesti dlq tozhdestw proizwol'nogo wida i togda, kak pokazano w rabote, mozhno klassificirowat' reshetochno uniwersal'nye mnogoobraziq polugrupp. Osnownaq slozhnost' takogo podhoda sostoit w tom, chtoby dokazat', chto kazhdyj izbegaemyj shablon (izbegaemoe tozhdestwo) obladaet dopolnitel'nym swojstwom izbegaemosti anticepqmi. Dokazatel'stwu poslednego fakta poswqschena kombinatornaq chast' raboty.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.