에너지 문제 해결을 위한 별연속 Kleene 오메가 대수
안내: 본 포스트의 한글 요약 및 분석 리포트는 AI 기술을 통해 자동 생성되었습니다. 정보의 정확성을 위해 하단의 [원본 논문 뷰어] 또는 ArXiv 원문을 반드시 참조하시기 바랍니다.
초록
이 논문은 에너지 자동자에 나타나는 에너지 함수들을 *‑연속 Kleene ω‑대수 구조로 정형화하고, 전이 행렬에 대한 대수적 연산만으로 도달성 및 Büchi 수용성을 판단할 수 있음을 보인다. 이를 위해 완전 격자 위의 유한 가법 함수들의 폐쇄성, *>‑연속성, 지역 *‑폐쇄성을 연구하고, 이러한 함수 집합이 *‑연속 Kleene ω‑대수를 형성함을 증명한다.
상세 분석
논문은 먼저 에너지 자동자를 정의하고, 전이 라벨을 “에너지 함수”라 부른다. 에너지 함수는 정의역이 (
댓글 및 학술 토론
Loading comments...
의견 남기기