트레이스 이론
Trace theory수학과 컴퓨터 과학에서 미량 이론은 동시 연산 및 공정 계산 연구를 위한 구체적인 수학적 기초를 제공하는 것을 목표로 한다.밑받침은 자유분방한 단조형 또는 추적단조형 또는 이와 동등하게 역사단조형에 대한 대수적 정의에 의해 제공되며, 이는 자유단조형이 형식 언어에 대한 밑받침을 제공하는 방식과 유사하게 구체적인 대수학적 기초를 제공한다.
미량 이론의 힘은 (페트리 네트와 같은) 의존성 그래프의 대수학이 미량 모노이드의 대수학이라는 사실에서 기인하며, 따라서 그래프 이론의 도구뿐만 아니라 대수적 형식 언어 도구도 모두 적용할 수 있다.
트레이스 모노이드는 1960년대에 피에르 카르티에와 도미니크 포아타에 의해 콤비네이터학으로 연구되어 왔지만, 트레이스 이론은 인터리빙과 비결정론적 선택의 문제를 포함한 동시 연산 이론의 일부 문제를 회피하기 위한 시도로 1970년대에 안토니 마즈르키에비츠에 의해 처음 공식화되었다.석회화 과정에서의 정제.
참조
- 볼커 디케르트, 그르제고르츠 로젠버그, 에드스추적의 서, (1995) 싱가포르의 세계 과학 ISBN981-02-2058-8
- 볼커 디케르트, 이브 메티비어, "부분적 감응과 추적", 인 지 로젠버그, A. Salomaa, 편집자, 공식 언어 핸드북, 제3권, 비욘드 워즈.1997년 베를린 스프링거-베를라크.
- 볼커 다이커트, 추적 결합기, LNCS 454, 스프링거, 1990, ISBN 3-540-53031-2
