항 그래프

Term graph

용어 그래프는 정점이 항인[clarify] 일반화된 그래프로서 공식 언어로 표현된 표현이다.[1]용어 그래프는 일반적인 아expression(즉, 지시된 아cyclic 그래프의 구조를 취할 수 있음)뿐만 아니라 순환/재순환 아expression(cyclic digraphs)도 나타낼 수 있기 때문에 표현 트리보다 더 강력한 표현 형태다.

추상 구문 트리는 각 트리 노드가 하나의 상위 노드만 가질 수 있기 때문에 공유 하위 표현들을 나타낼 수 없다. 이러한 단순성은 동일한 용어의 중복 중복된 계산으로 인한 효율성의 비용이다.이러한 이유로, 그래프는 파싱을 통해 구문 트리 구조를 추상화하기 위해 후속 컴파일 단계에서 중간 언어로 사용되는 경우가 많다.

공식 언어로 표현식 변환을 위한 그래프 재작성 방법을 논의할 때 "용어 그래프 재작성"이라는 문구가 자주 사용된다.[2]그래프 그래프의 관점에서 볼 때, 용어 그래프는 일반 그래프가 아니라, n-ary 단어가 1위, 2위, 기타 등등, 그래프 이론에서 연구된 일반적인 비방향 그래프에는 존재하지 않는 구별이 있는 하이퍼그래프다.

용어 그래프 재작성 규칙은 컴파일러의 운영 의미론을 공식적으로 표현할 수 있기 때문에 용어 그래프는 프로그래밍 언어 연구에서 중요한 주제다.용어 그래프는 동시성 모델과 같은 그래픽 계산뿐만 아니라 화학 및 생물학적 계산을 모델링할 수 있는 추상적인 기계로도 사용된다.용어 그래프는 정량화된 문장을 첫 번째 순서로 나타내기에 적합하기 때문에 자동화된 검증과 논리 프로그래밍을 수행할 수 있다.심볼 프로그래밍 소프트웨어는 용어 그래프의 또 다른 응용으로, 그룹, 필드, 링과 같은 추상 대수적 구조로 연산을 나타내고 수행할 수 있다.

TERMGRAPH 컨퍼런스는 용어 그래프 재작성과 그 적용에 대한 연구에 전적으로 초점을 맞추고 있다.

용어 그래프는 유형 추론에서도 사용되는데, 여기서 그래프 구조가 유형 통일을 구현하는 데 도움이 된다.[4]

참고 항목

참조

  1. ^ Plump D. (Hartmut Ehrig, G. Engels, Grzegorz Rozenberg, eds) (1999). Handbook of Graph Grammars and Computing by Graph Transformation: applications, languages and tools. Vol. 2. World Scientific. pp. 9–13. ISBN 9789810228842.{{cite book}}: CS1 maint : 복수이름 : 작성자 목록(링크)
  2. ^ Barendregt; van Eekelen; Glauert; Kennaway; Plasmeijer; Sleep (1987). "Term graph rewriting". PARLE Parallel Architectures and Languages Europe (Lecture Notes in Computer Science). Lecture Notes in Computer Science. 259: 141–158. doi:10.1007/3-540-17945-3_8. ISBN 978-3-540-17945-0.
  3. ^ "TERMGRAPH 2013".
  4. ^ 프리츠 헝글린(1988)형식 추론과 반통일.1988년 Proc. LISP 및 기능 프로그래밍에 관한 ACM 컨퍼런스, 페이지 184-197. doi:10.1145/62678.62701
Stub icon

이 형식적인 방법 관련 기사는 단조롭다.위키피디아를 확장하여 도울 수 있다.