if (not recenica(x) or istinita(x)) and not nemoralna(x) then writeln(x)

begin GIM end.

ja bi jednog malog gima:)

e, znao sam da ces ovako nesto izvalit... prije ili kasnije:-)
[historic_words]Pa napisi si ga u Pascalu...[/historic_words]:-)

i ne bi trebalo biti toliko strasno... samo prevedi pocetak lessona u Pascal... i dodaj neke konkretne kriterije za ispisivost... ako ti nesto ne bude jasno, pitaj:-)... recimo, jedan jako pricljiv GIM, i jednostavan za implementaciju, bi bio onaj kod kojeg su svi izrazi koji nisu recenice ispisivi...

kompliciranije inkarnacije bi mogle npr. imati logove ispisanog, random efekte (ali ne na stetu korektonsti!:) i regularne izraze onoga sto se smatra nemoralnim zapisane u datotekama... mislim da je ovo stvarno nesto cime se mozes baviti dosta dugo... ie, ako ti je jos uvijek zanimljivo...:-)

However, nakon sto vidis G , skuzit ces da ces morati malo paziti na beskonacne petlje... i upravo ovdje Halting problem stupa na scenu (sjecas ga se:-?) i kaze da _ne mozes_ napisati potpun algoritam za GIMa2... Naravno, povijesno su stvari isle obrnutim putom... Goedelovi rezultati su postojali dosta prije detaljne razrade Halting problema... a uzmi u obzir i da je to sve napravljeno 10ak godina prije prvog kompjutera(:-!)... :-)

Of course, to te ovdje ne treba previse zabrinuti... brojis ulaze u funkciju provjeravanja je li nesto ispisivo, i ako broj dostigne npr. 13 (sasvim dosta:), vratis false... upravo u tome jest fora... nitko ti ne kaze da _moras_ ispisati sve sto _mozes_...
(["zvuk skrivanja Vekyja u misju rupu"/]:-) smijem pitat jesi shvatila:-? :))