Domande taggate «lambda-calculus»

λ-calculus è un sistema formale per la definizione della funzione, l'applicazione della funzione e la ricorsione che costituisce la base matematica della programmazione funzionale.

2
Risolvere equazioni funzionali per funzioni sconosciute nel calcolo lambda
Esistono tecniche per risolvere equazioni funzionali per funzioni sconosciute nel calcolo lambda? Supponiamo che io abbia la funzione di identità definita in modo esteso come tale: Ix=xIx=xI x = x (cioè, scrivendo un'equazione per il comportamento previsto di quella funzione) e ora voglio risolverlo per facendo qualche trasformazione algebrica per …
2
"Ordine applicabile" e "Ordine normale" in lambda-calcolo
Ordine applicabile : valutare sempre in modo completo gli argomenti di una funzione prima di valutare la funzione stessa, ad esempio - (λx.x2(λx.(x+1) 2)))→(λx.x2(2+1))→ (λx.x2(3))→ 32 → 9(λx.x2(λx.(x+1) 2)))→(λx.x2(2+1))→ (λx.x2(3))→ 32 → 9(\lambda x. x^2(\lambda x.(x+1) \ \ 2))) \rightarrow (\lambda x. x^2(2+1))\rightarrow \ (\lambda x. x^2(3)) \rightarrow \ 3^2 …
3
Un quine in puro calcolo lambda
Vorrei un esempio di quine in puro calcolo lambda . Sono stato piuttosto sorpreso di non poterne trovare uno cercando su Google. La pagina Quine elenca le quines per molte lingue "reali", ma non per il calcolo lambda. Naturalmente, questo significa definire cosa intendo per un quine nel calcolo lambda, …
2
Le funzioni di ordine superiore forniscono più potenza alla programmazione funzionale?
Ho fatto una domanda simile su cstheory.SE . Secondo questa risposta su Stackoverflow esiste un algoritmo che su un linguaggio di programmazione funzionale puro non pigro ha una complessità , mentre lo stesso algoritmo nella programmazione imperativa è . L'aggiunta di pigrizia al linguaggio FP renderebbe l'algoritmoΩ(nlogn)Ω(nlog⁡n)\Omega(n \log n)Ω(n)Ω(n)\Omega(n)Ω(n)Ω(n)\Omega(n) . …
4
Qualcuno può dare un esempio semplice ma non giocattolo di una grammatica sensibile al contesto?
Sto cercando di capire le grammatiche sensibili al contesto. Capisco perché le lingue piacciono { w w ∣ w ∈ A*}{ww∣w∈A∗}\{ww \mid w \in A^*\} {anbncn∣n∈N}{anbncn∣n∈N}\{a^n b^n c^n \mid n\in\mathbb{N}\} non sono liberi dal contesto, ma cosa vorrei sapere se una lingua simile al calcolo lambda non tipizzato è sensibile …
1
Che cos'è
Sto guardando il calcolo delle costruzioni e il suo posto nel cubo Lambda . Se capisco correttamente, ogni asse del cubo può essere considerato come l'aggiunta di un'altra operazione che coinvolge i tipi nel calcolo tipizzato in modo semplice, λ→λ→\lambda_\to . Il primo asse aggiunge operatori da tipo a termine, …
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.