A szöveg csak Firefox böngészőben jelenik meg helyesen. Használja a fenti PDF file-ra mutató link-et a letöltésre. Az , , és betűk felhasználásával szavakat (véges hosszúságú betűsorozatokat) készítünk. Egy szóval a következő műveleteket végezhetjük: a) A szóban kiválasztunk néhány egymás utáni betűt ─ esetleg csak egyetlen egyet, vagy akár a teljes szót ─, és ,,megduplázzuk'', például ; b) Az a) lépés visszafelé: Ha valahol a szóban két egymás utáni részlet megegyezik, akkor az egyiket elhagyjuk: . Igazoljuk, hogy ilyen lépések sorozatával bármelyik szóból eljuthatunk egy legfeljebb -betűs szóhoz. |