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.
|