태그 : grammar 요약보기전체보기목록닫기

1

Lambda Calculus

Lambda Calculus는 아주 간단한 프로그래밍 언어로 볼 수 있다. 문법은 다음과 같이 정의된다.LambdaExpr := IdentifierLambdaExpr := \ Identifier . LambdaExprLambdaExpr := LambdaExpr LambdaExpr괄호 처리를 추가하면LambdaExpr := ( LambdaExpr )cur...
1