Domande taggate «lambda-calculus»

Il sistema formale della Chiesa utilizzato nella computatabilità, nei linguaggi di programmazione e nella teoria delle prove per rappresentare funzioni, programmi e calcoli efficaci e prove.

4
Esiste un modello di calcolo non completo di Turing il cui problema di arresto è indecidibile?
Non riesco a pensare a un tale modello, forse a qualche forma di calcolo lambda tipizzato? qualche automa cellulare elementare? Ciò confuterebbe quasi il "Principio dell'equivalenza computazionale" di Wolfram: Quasi tutti i processi che non sono ovviamente semplici possono essere visti come calcoli di raffinatezza equivalente
3
I calcoli lambda digitati possono esprimere * tutti * gli algoritmi al di sotto di una data complessità?
So che la complessità della maggior parte delle varietà di calcoli lambda tipizzati senza la primitiva del combinatore Y è limitata, cioè solo le funzioni di complessità limitata possono essere espresse, con il limite che diventa più grande man mano che l'espressività del sistema di tipi cresce. Ricordo che, ad …
2
Esiste un calcolo lambda tipizzato che è coerente e Turing completo?
Esiste un calcolo lambda tipizzato in cui la logica corrispondente nella corrispondenza Curry-Howard è coerente e dove esistono espressioni lambda tipizzabili per ogni funzione calcolabile? Questa è certamente una domanda imprecisa, mancante di una definizione precisa di "calcolo lambda tipizzato". Mi chiedo sostanzialmente se ci sono (a) esempi noti di …
1
I calcoli lambda stocastici di Scott
Di recente, Dana Scott ha proposto un calcolo lambda stocastico, un tentativo di introdurre elementi probabilistici nel calcolo lambda (non tipizzato) basato su una semantica chiamata modello grafico. Puoi trovare le sue diapositive on line ad esempio qui e il suo articolo nel Journal of Applied Logic , vol. 12 …
1
Un calcolo Lambda per funzioni invertibili (calcolabili r-Turing)
Sono interessato al concetto di "completezza di r-Turing", come definito da Axelsen e Glück (2011) . Un sistema è completo di r-Turing se è in grado di calcolare lo stesso insieme di funzioni di una macchina di Turing reversibile, senza produrre dati "immondizia". Ciò equivale a poter calcolare ogni funzione …
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.