Keresés

Részletes keresés

buki92 Creative Commons License 2011-01-25 21:59:22 82

Bocsánat, természetesen igazad van, oda írsz, ahova akarsz, és azt, amit jónak látsz. Kicsit túllihegtem a dolgot.

Csak azt sajnálom, hogy az a distinkció, amit már évek óta próbálok magyarázni neked, most sem ment át.

 

 

 

 

(Egyébként ki vagy? Eddig azt sikerült leszűrnöm, hogy a Máté tanszéken vagy, és nem a Mekis. (Mert ő, -vélhetőleg- a Categlory.))

A hozzászólás:
Nautilus_ Creative Commons License 2011-01-25 14:50:42 80

 

Abba meg végképp nem szertnék belemenni, hogy mit értünk formális nyelvészet alatt.

 

 

?? Hát, az elég nagy pech, ugyanis a topik címe "Formális nyelvek", én nyilván releváns, azaz ontopik arról beszélgetni, hogy mit is értünk formális nyelvek alatt. És milyen általános tételek vonatkoznak rájuk (Bar-Hillel-puffasztás, Myhill-Nerode, eldönthetetlenségi eredmények, és eldönthetőségiek).

 

Érdekes és lehetőleg minél általánosabb feladatosztályokra keresek konkrét algoritmusokat.

Te meg érdekes és minél általánosabb állításokra hozol konkrét bizonyításokat.

 

 

Ez a topik - ne haragudj, de - nem a tiéd. A fórum szabályzata nem ismeri azt a kitételt, hogy az alapító határozza meg a hozzászólások témáját, mert a témát a cím határozza meg; miért nem választottál más címet?

A topik éveken keresztül inaktív volt.

Másképp: ne haragudj, de abszurd, hogy ebben a topikban nem lehet beszélgetni a "Formális nyelvek" elméletéről, hanem csakis algoritmusokat beírni!

Még az sem tetszett Neked, hogy a CS-nyelvek PSPACE-teljességéről tájékoztattalak, mert az túl általános, pedig mi ontopik, ha nem ez, ráadásul az összes lehetséges algoritmusok szerkezetéről szól?

 

 

Továbbá a konkrét algoritmusok cikkek témái, nem fórumos hozzászólásoké, mivel ha adsz egy algoritmust, mindig kell bizonyítanod, hogy például lineáris idejű, logaritmikus tárigényű, tehát van értelme, stb., ami nagyon nehéz szinte mindig. Nem is nagyon írtak be ide algoritmusokat (ha jól emlékszem), legfeljebb linkeket tudok elképzelni publikációkhoz.

 

Na jó, hagyjuk.

 

Előzmény:
buki92 Creative Commons License 2011-01-25 09:45:53 79

[Akkor nekifutok mégegyszer:]

Érdekes és lehetőleg minél általánosabb feladatosztályokra keresek konkrét algoritmusokat.

Te meg érdekes és minél általánosabb állításokra hozol konkrét bizonyításokat.

 

Ez két teljesen különböző hozzáállás. Még akkor ha a vizsgált területben vannak is fogalmi átfedések.

Az algoritmusokról szóló tételek sem játszanak. A komplexitáselmélet hasznos ugyan, de kb. csak annyira, mint számelméletben az alternatív logikai rendszerek.

 

(Megjegyzem, hogy az algoritmusok keresése kb. olyan viszonyban van a programozással, mint a matematika a számolással. Csak persze jóval fejletlenebb terület.)

 

Abba meg végképp nem szertnék belemenni, hogy mit értünk formális nyelvészet alatt. A tételeidet meg a bizonyításaidat nyolvancanhat másik topikba írhatod; ide algoritmusokat please.

Ha kedveled azért, ha nem azért nyomj egy lájkot a Fórumért!