«term-rewriting-systems» 태그된 질문

Lambda the Ultimate에 대한 응답 이 없었기 때문에 여기서 다시 시도합니다. 예를 들어 용어 재 작성 시스템 은 자동 계산에서 상징적 계산을 입증하고 물론 공식 문법을 정의하는 데 사용됩니다. 다시 쓰기라는 용어를 기반으로 한 프로그래밍 언어가 있지만 개념을 더 잘 이해하는 한 패턴 일치라고 합니다. 패턴 일치는 기능적 언어에서 많이 …

25 pl.programming-languages  terminology  term-rewriting-systems 

T가 사용하는 매크로 언어 인 것 같습니다. 는 일종의 용어 재 작성 시스템 또는 이름 별 호출 범위를 가진 프로그래밍 언어의 일종으로 볼 수 있습니다.티이자형엑스티이자형엑스\TeX T의 현대적인 구현조차도 엔진 (예 : X e T티이자형엑스티이자형엑스\TeX )는 코드를 매우 직접적인 방식으로 해석하며 (최적의 최적화 통역사가 할 수있는 것처럼) 실행 최적화를 시도하지 않습니다. …

21 pl.programming-languages  semantics  term-rewriting-systems 

계산 가능한 숫자가 합리적인지 정수인지 알고리즘 적으로 테스트 할 수 있습니까? 즉, 구현 계산 가능한 숫자는 기능을 제공하는 라이브러리 가능할 것이다 isInteger나 isRational? 나는 그것이 불가능하다는 것을 추측하고 있으며, 두 숫자가 같은지 테스트 할 수는 없지만 그것을 증명하는 방법을 알지 못한다는 사실과 관련이 있습니다. 편집합니다 계산 가능한 수는 엑스xx 함수에 …

18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 

이제 우리는 것을 알 수 있습니다 교회 와 관련이 있었다 간단히 입력 된 람다 미적분 . 실제로, 그는 Lambda 미적분에 대한 오해를 줄이기 위해 Simply Typed Lambda 미적분학을 설명한 것 같습니다. 이제 John McCarthy가 Lisp를 만들었 을 때 Lambda 미적분학에 기반 을 두었습니다 . 이것은 "심볼 표현의 재귀 함수와 기계에 …

13 lambda-calculus  term-rewriting-systems  lisp