Lambda Calculator Voer een lambda-expressie in en verminder het tot normale vorm
Download nu

Lambda Calculator Rangschikking & Samenvatting

Lambda Calculator Tags

expressiecalculator uitdrukking verminderen lambda verminderen expressie lambda expressie

Lambda Calculator Beschrijving

Voer een lambda-expressie in en verminder het tot normale vorm Lambda Calculator is een gratis en gemakkelijk te gebruiken engine voor de Lambda Calculus uitgevonden door de kerk. Laat de Lambda-calculator de gebruiker in staat om een lambda-expressie in te voeren en de volgorde van verminderingen van de motor te zien om de uitdrukking tot normale vorm te verminderen. Lambda-rekenmachine maakt een verscheidenheid aan aanpassingsmogelijkheden mogelijk, waaronder keuzes tussen de zuivere calculus en een eenvoudige toegepaste calculus en tussen enthousiaste en luie evaluatie. Lambda Calculator is een handig hulpmiddel voor het leren en experimenteren met de Lambda Calculus. Vereisten: · Java 1.4 of later Wat is er nieuw in deze release: · Feature: via de optie Maximale lengte, stelt het programma de gebruiker toe om het maximale aantal tekens in elke uitdrukking te binden. Dit maakt het berekeningsproces sneller en het tekstgebied werkt efficiënter. · Feature: het programma toont Lambda-personages in plaats van backslashes. De optie Print Lambda-teken geeft de mogelijkheid om de functie uit te schakelen. · Interface Tweak: wanneer het invoerveld de waarde van een symbool weergeeft, en vervolgens de gebruiker verandert de waarde in het veld, deselecteert het programma het symbool in de browser. · Bug-fix: een fout in gelijkheid-testen van identificatiediensten leidde sommige Java-installaties om niet-overeenkomende symbolen in uitdrukkingen te herkennen.

Lambda Calculator Gerelateerde software