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:-? :))