유한 반군다양체의 계산적 탐색

알지브라적 오토마타 이론의 최근 알고리즘적 발전은 반군다양체(반범주)에 대한 주목을 끌었습니다. 이들은 유형화된 계산 프로세스에 대한 수학적 설명이지만, 오토마타의 맥락에서 체계적으로 연구되지 않았습니다. 여기에서는 관계형 프로그래밍을 사용하여 유한 반군다양체를 탐색하여 이러한 계산 모델에 대한 수학적 직관을 향상시킵니다. 우리는 추상 반군다양체(부분 구성 표)를 나열하고, 동형사상을 찾고, (최소) 변환 표현을 구성하기 위한 선언적 솔루션을 구현합니다. 우리는 결합법칙과 일관된 유형화가 서로 다른 속성임을 보여주고, 엄격한 동형사상과 더 관용적인 동형사상을 구별하며, 화살표 유형 반군다양체(구체화된 유형 구조)를 체계적으로 나열합니다.