Als «lambda-calculus» getaggte Fragen

22
Rekursive Zeichenfolgensubstitution
Die Aufgabe Schreiben Sie ein Programm oder eine Funktion, die mit drei Zeichenfolgen A, B, Ceine Ausgabezeichenfolge erzeugt, durch die jede Instanz von Bin Arekursiv ersetzt wurde C. Rekursives Ersetzen bedeutet das Wiederholen eines Ersetzens, wobei bei jedem Schritt alle nicht überlappenden Instanzen von Bin A(gierig von links nach rechts …
25 code-golf  string  substitution  code-golf  math  code-golf  string  set-theory  code-golf  code-golf  compile-time  code-golf  kolmogorov-complexity  binary  code-golf  sequence  cops-and-robbers  code-golf  subsequence  card-games  code-golf  sequence  primes  code-golf  code-golf  number  graphical-output  music  code-golf  ascii-art  code-golf  string  lambda-calculus  code-golf  string  code-generation  code-golf  unicode  code-golf  math  combinatorics  code-golf  balanced-string  code-golf  sequence  cops-and-robbers  code-golf  sequence  cops-and-robbers  code-challenge  fastest-code  chess  code-golf  math  graphical-output  code-golf  string  hello-world  animation  code-golf  number  arithmetic  code-golf  integer  code-golf  code-golf  combinatorics  code-golf  kolmogorov-complexity  graphical-output  code-golf  string  code-golf  code-golf  game  code-golf  math  combinatorics  code-golf  ascii-art  popularity-contest  random  code-golf  arithmetic  number-theory  integer  code-golf  tips  underload  code-golf  math  sequence  primes  code-golf  math  path-finding  code-golf  ascii-art  primes  code-golf  kolmogorov-complexity  alphabet 
4
Optimierung des SKI-Compilers
Der SKI-Kalkül ist eine Variante des Lambda-Kalküls, die keine Lambda-Ausdrücke verwendet. Stattdessen werden nur application und die Kombinatoren S , K und I verwendet. In dieser Herausforderung besteht Ihre Aufgabe darin, SKI-Begriffe in β-Normalform in Lambda-Begriffe zu übersetzen . Eingangsspezifikation Die Eingabe ist ein SKI-Begriff in der folgenden Textdarstellung. Sie …
1
Wandle λ-Ausdrücke in SK-Ausdrücke um
Der λ-Kalkül oder Lambda-Kalkül ist ein logisches System, das auf anonymen Funktionen basiert. Zum Beispiel ist dies ein λ-Ausdruck: λf.(λx.xx)(λx.f(xx)) Für diese Herausforderung vereinfachen wir jedoch die Notation: Ändern Sie λzu \(um die Eingabe zu vereinfachen):\f.(\x.xx)(\x.f(xx)) Die .In-Lambda-Header sind nicht erforderlich, daher können wir sie löschen:\f(\xxx)(\xf(xx)) Verwenden Sie die unlambda …
8
Einfügesortierung umkehren
Zielsetzung Generieren Sie die ursprüngliche verschlüsselte Liste aus den Bewegungen, die eine Einfügungssortierung ausführen würde, um sie zu sortieren. Die ursprüngliche Liste enthält alle Zahlen von 0bis N-1(einschließlich), wobei Ndie Größe der Eingabe ist. Eingang Eine Liste mit den erforderlichen Schritten zum Sortieren der Liste. Jeder Wert stellt die Anzahl …
19 code-golf  array-manipulation  code-golf  code-golf  animation  code-golf  restricted-source  code-golf  java  code-golf  decision-problem  graph-theory  code-golf  conversion  electrical-engineering  code-golf  ascii-art  code-golf  string  substitution  code-golf  math  code-golf  string  set-theory  code-golf  code-golf  compile-time  code-golf  kolmogorov-complexity  binary  code-golf  sequence  cops-and-robbers  code-golf  subsequence  card-games  code-golf  sequence  primes  code-golf  code-golf  number  graphical-output  music  code-golf  ascii-art  code-golf  string  lambda-calculus  code-golf  string  code-generation  code-golf  unicode  code-golf  math  combinatorics  code-golf  balanced-string  code-golf  sequence  cops-and-robbers  code-golf  sequence  cops-and-robbers  code-challenge  fastest-code  chess  code-golf  math  graphical-output  code-golf  string  hello-world  animation  code-golf  number  arithmetic  code-golf  integer  code-golf  code-golf  combinatorics  code-golf  kolmogorov-complexity  graphical-output  code-golf  string  code-golf  code-golf  game  code-golf  math  combinatorics  code-golf  ascii-art  popularity-contest  random  code-golf  arithmetic  number-theory  integer  code-golf  tips  underload  code-golf  math  sequence  primes  code-golf  math  path-finding  code-golf  ascii-art  primes  code-golf  kolmogorov-complexity  alphabet 
4
Visualisieren Sie die Ziffern der Kirche
Hintergrund Visualisierung von λ-Kalkülbegriffen Der berühmte Lambda-Jongleur (und Code-Golfer ) John Tromp entwickelte eine interessante Visualisierung von Begriffen im λ-Kalkül. In seinen Worten: Abstraktionen (Lambdas) werden durch horizontale Linien dargestellt, Variablen durch vertikale Linien, die von ihrem Bindungs-Lambda ausgehen, und Anwendungen durch horizontale Verknüpfungen, die die Variablen ganz links verbinden. …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.