[논문 리뷰] Multi-Solid Varieties and Mh-Transducers

Slavcho Shtrakov|ArXiv.org|2007. 02. 15.

semigroups and automata theory참고 문헌 4인용 수 3

한 줄 요약

이 논문은 각 항목 위치에 자연수 색상을 할당한 색상화된 항(term)으로 일반화된 초하이퍼대체 이론을 확장하여 다중-고체 다양체와 다중-초하이퍼대체를 도입한다. 다중-고체 다양체의 격자 구조가 고체 다양체의 완전한 부분격자임을 증명하고, 다중-초하이퍼대체를 Mh-전이기계를 통해 기계적 실현함으로써 다중-초하이퍼대체의 모노이드와 Mh-전이기계의 모노이드 사이의 동형사상이 성립함을 증명한다.

ABSTRACT

We consider the concepts of colored terms and multi-hypersubstitutions. Studying the multi-hypersubstitutions we find out necessary and sufficient conditions a variety to be pre-complete. Finally we give an automata realization of multi-hypersubstitutions and colored terms.

연구 동기 및 목표

• 초하이퍼대체 이론을 다중-초하이퍼대체와 색상화된 항으로 확장한다.
• 다중-초하이퍼대체에 대해 항등식이 보존되는 M-다중-고체 다양체를 정의하고 특성화한다.
• 나무 기계를 이용하여 다중-초하이퍼대체와 Mh-전이기계 사이의 범주적 동형사상을 수립한다.
• 다중-초등식이론의 완전성과 다중-고체 다양체의 닫힘 성질을 증명한다.
• Mh-전이기계를 통한 다중-초하이퍼대체의 기계 이론적 실현을 제공한다.

제안 방법

• 항 t의 비변수 위치에 자연수를 할당하는 함수 αt에 따라 쌍 (t, αt)로 표현되는 색상화된 항을 도입한다.
• M이 초하이퍼대체의 모노이드일 때, ρ: ℕ → M 형태의 다중-초하이퍼대체를 정의한다.
• 다중-초하이퍼대체를 색상화된 항으로 확장하는 유도된 사상 ρ̄를 구성한다.
• 다중-초하이퍼대체의 작용을 색상화된 항에 대해 계산하는 나무 기계로서 Mh-전이기계를 도입한다.
• Mh-전이기계의 합성 연산을 정의하고 결합법칙을 증명하여 모노이드 구조를 확립한다.
• φ(ρ) = Aρ를 통해 다중-초하이퍼대체의 모노이드와 Mh-전이기계의 모노이드 사이의 동형사상을 증명한다.

실험 결과

연구 질문

• RQ1 색상화된 항을 사용하여 초하이퍼대체 이론을 다중-초하이퍼대체의 순서로 일반화할 수 있는가?
• RQ2 다중-초하이퍼대체는 어떤 대수적 구조를 형성하며, 다양체의 격자와의 관계는 어떠한가?
• RQ3 다중-초하이퍼대체는 나무 기계로 실현될 수 있으며, 이러한 기계는 어떤 성질을 만족하는가?
• RQ4 어떤 조건에서 다양체가 M-다중-고체가 되며, 이는 다중-초하이퍼대체에 대한 항등식의 닫힘성과 어떻게 관련되는가?
• RQ5 다중-초등식이론에 대해 완전성 정리가 존재하는가, 그리고 기존의 등식논리와 비교해 볼 때 어떻게 다른가?

주요 결과

• M-다중-고체 다양체의 격자는 모든 M-고체 다양체의 격자의 완전한 부분격자이다.
• 항등식에 대한 닫힘 연산자 χM이 ρ̄를 통한 색상화된 항으로 확장되며, 등식적 닫힘을 유지한다.
• Mh-전이기계의 모노이드는 M 위에서 다중-초하이퍼대체의 모노이드와 동형이므로 범주적 동치가 성립한다.
• Mh-전이기계의 합성은 결합법칙을 만족하며, 전이기계의 작용은 정확히 색상화된 항에 대한 다중-초하이퍼대체 사상과 일치한다.
• Mh-전이기계를 통한 다중-초하이퍼대체의 기계적 실현은 다중-초등식의 계산 모델을 제공한다.
• 다중-초등식이론에 대해 완전성 정리가 증명되었으며, 모든 논리적 함의는 닫힘 연산자 χM를 통해 유도 가능하다.