검색 기능은 준비 중입니다.
검색 기능은 준비 중입니다.

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice

The Unification Problem for Confluent Semi-Constructor TRSs 합류형 반도체 TRS의 통합 문제

Ichiro MITSUHASHI, Michio OYAMAGUCHI, Kunihiro MATSUURA

  • 조회수

    0

  • 이것을 인용

요약 :

용어 재작성 시스템(TRS)의 통일 문제는 TRS에 대한 결정 문제입니다. R 그리고 두 개의 용어 st여부 st 모듈로를 통합할 수 있습니다. R. 우리는 융합 단순 TRS에 대해 문제가 결정 가능하다는 것을 보여주었습니다. 여기서 단순 TRS는 모든 다시 쓰기 규칙의 오른쪽이 기본 용어 또는 변수인 TRS를 의미합니다. 본 논문에서는 이 결과를 확장하여 합류형 반도체 TRS에 대한 통합 문제가 결정 가능함을 보여줍니다. 여기서, 세미컨스트럭터 TRS는 각 다시 쓰기 규칙의 오른쪽에 나타나는 모든 정의된 기호가 해당 기본 하위 항목에만 나타나는 것을 의미합니다.

발행
IEICE TRANSACTIONS on Information Vol.E93-D No.11 pp.2962-2978
발행일
2010/11/01
공개일
온라인 ISSN
1745-1361
DOI
10.1587/transinf.E93.D.2962
원고의 종류
PAPER
범주
정보시스템의 기초

작성자

키워드