Ano, tohle všechno samozřejmě vím. Souhlasím, že je TS dobrý jako abstraktní konstrukt toho, co se dá zvládnout (a ke klasifikaci obtížnosti úloh). Nicméně to, že je TS jakýmsi předobrazem dnešních počítačů, to je dle mého názoru prostě nesmysl. Protože počítače se ovládají programy, a programy se interpretují či kompilují kompilátory. A není mi znám žádný kompilátor, který by dokázal kompilovat jazyk složitosti L0 (tedy RS). Tedy přesněji řečeno není mi znám ani žádný jazyk, který by patřil do třídy L0, a tedy takový kompilátor vůbec potřeboval. O tom, že von Neumannova architektura byla ještě před tím, než si Chomski začal hrát se svou hierarchií, ani nemluvě (čímž nepopírám Chomskiho genialitu, jen si prostě nemyslím, že by jakýmkoli způsobem ovlivnil architekturu počítačů).Jinak jsem nikde netvrdil, že GA zaručují nalezení optima (ale asi jsem to pro úplnost přidat měl, souhlasím). Poukazoval jsem jen na to, že GA jsou nedeterministické, a že se při hledání optima používají. A hledání optima je typická úloha umělé inteligence. A to je právě to, proč jsou GA relevantní k obsahu článku.