trideni `ch'

[Pavel Kankovsky]

On Wed, 17 Sep 1997, Dan Ohnesorg, admin of POWER wrote:

> Sorry, je to uz hodne off-topic, ale musim se ozvat.
Ja si bohuzel take nemohu pomoci, ale slibuji, ze si jen jednou rypnu
a potom uz budu drzet hubu. :/

> Odbornici na pocitace jsou od toho, aby pomohli tem, kteri pocitaci 
> nevladnou. Takze ne ze se bude cesky tridit tak, jak rozhodne 
> odbornik, protoze se mu to lepe programuje. Ale cesky se ma tridit 
> tak, jak je to po staleti zvykem a odbornik je proto odbornik, ze to 
Jak se tridi sprezky? :)
Ostatne nezavedl Jan Hus nahodou nabodenicka jenom proto, ze mel dojem,
ze se to tak bude lepe cist a psat!?

> musi umet implementovat.
> A na tom trvam.
Vzhledem k tomu, ze "spravne" ceske trideni zavisi na semantice (!)
trideneho textu (zajemci necht si poctou primo v norme), je problem (velmi
pravdepodobne) algoritmicky neresitelny, cili neexistuje deterministicky
Turinguv stroj, ktery by rozhodoval problem, zda je jeden text v tomto
usporadani mensi nez druhy. Vzhledem k tomu, ze trida problemu resitelnych
libovolnym (deterministickym) pocitacem a libovolnym programem na svete je
podmnozinou turingovsky rozhodnutelnych problemu, pak (opet velmi pravde-
podobne) neexistuje kombinace (deterministickeho) pocitace a programu,
ktera by byla schopna "spravne" cesky tridit, nezavisle na schopnostech
odborniku. To jsem to pekne okecal, co?

Nabizeji se tri reseni:
1) prohlasit, ze to nejde
2) tridit, jak umime, s vedomim, ze to obcas nebude spatne
3) predefinovat ceske trideni tak, abychom si byli aspon jisti,
   ze je turingovsky rozhodnutelne

ad 1) to bych moc nepreferoval
ad 3) to chce poradny lobbying na patricnych mistech

--Pavel Kankovsky aka Peak (troja.mff.cuni.cz network administration)