.dsy:it. (http://www.dsy.it/forum/)
- Informatica teorica (http://www.dsy.it/forum/forumdisplay.php?forumid=251)
-- linguaggio di progr. piu' potente di un altro (http://www.dsy.it/forum/showthread.php?threadid=38919)

linguaggio di progr. piu' potente di un altro

Mi aiutate ?

non mi ricordo piu' come si chiama questo teorema, ma e' nell'ambito tesi di church, teorema di rice, calcolabilita', ecc..


da quello che mi ricordo un linguaggio di programmazione (chiamiamolo L2) e' piu' potente di un altro (chiamiamolo L1) se esiste una traduzione,

da: L1 a: L2

ovvero l'assembly per esempio e' piu' potente di Java

perche' esiste una traduzione da Java ad assembly

Avete una dispensa che spiega questo teorema ?

Anche una dispensa che dice che col linguaggio piu' potente e' possibile scrivere i programmi di un altro linguaggio

per esempio con l-assembly possiamo fare programmazione ad oggetti.

(pensa che esiste una traduzione da Java (per esempio) al linguaggio macchina e quindi per il teorema di cui sopra, il linguaggio macchina e' il piu' potente e quindi e' in grado di "emulare" tutti i linguaggi

ciao