Calculadora lambda. Digite uma expressão de lambda e reduza-a à forma normal
Baixe Agora

Calculadora lambda. Classificação e resumo

Calculadora lambda. Tag

calculadora de expressão. expressão reduzir lambda. Reduza a expressão expressão lambda.

Calculadora lambda. Descrição

Digite uma expressão de lambda e reduza-a à forma normal Lambda Calculator é um motor livre e fácil de usar para o cálculo lambda inventado pela igreja. O Lambda Calculator permite ao usuário inserir uma expressão lambda e ver a sequência de reduções tiradas pelo motor para reduzir a expressão à forma normal. A calculadora Lambda permite uma variedade de opções de personalização, incluindo escolhas entre o cálculo puro e um cálculo aplicado simples e entre avaliação ansiosa e preguiçosa. A Lambda Calculator é uma ferramenta útil para aprender e experimentar o cálculo lambda. Requisitos: · Java 1.4 ou mais tarde O que há de novo nesta versão: · Recurso: através da opção Comprimento máximo, o programa permite que o usuário ligue o número máximo de caracteres exibidos em cada expressão impresso. Isso faz com que o processo de computação seja mais rápido e a área de texto funcione com mais eficiência. · Recurso: O programa exibe caracteres lambda no lugar de barras invertidas. A opção de caractere Lambda Imprimir fornece a capacidade de desativar o recurso. · Tweak de interface: Quando o campo de entrada está exibindo o valor de um símbolo e, em seguida, o usuário altera o valor no campo, o programa desmarca o símbolo no navegador. · Correção de bug: Um erro no teste de igualdade de identificadores levou algumas instalações Java para não reconhecer símbolos correspondentes em expressões.

Calculadora lambda. Software Relacionado