[ vlaiv @ 05.11.2007. 14:54 ] @
Da li neko zna gde se mogu naci opisi algoritama, ukoliko su razvijeni: 1. Za prevodjenje iz custom turing complete jednostavnog proceduralnog jezika u custom deklarativni jezik Odnosno u slucaju da imamo neki jednostavan proceduralni jezik sa precizno definisanom sintaksom i tipovima podataka i odgovarajuci deklarativni jezik sa istim tipovima podataka, treba mi algoritam koji ce dati odgovarajuci deklarativni oblik na osnovu zadatog proceduralnog oblika (ukoliko postoji) 2. Algoritam za poredjenje dva deklarativna programa po funkcionalnosti Koji bi radio nesto slicno sledecem: utvrditi da li je logicki izraz ekvivalentan drugom logickom izrazu bez upotrebe tablica istinitosti, odnosno transformacijama prvog izraza doci do drugog, samo ne sa logickim izrazima nego sa deklarativnim programima .. |