이 논문은 유한 N-가중치 오토마타의 함수적 폐쇄 속성을 분석한다.
첫째, 단변수 함수적 폐쇄 속성을 분석하여 이들이 궁극적으로 PORC(Polynomial On Residue Classes) 함수와 정확히 일치함을 보인다.
둘째, 다변수 함수적 폐쇄 속성을 분석하여 이들이 단변수 PORC 함수의 유한 합과 곱으로 표현될 수 있음을 보인다.
셋째, 다변수 다항식의 경우, 이들이 함수적 폐쇄 속성이 되기 위한 필요충분조건을 제시한다.
넷째, 단조 그래프 변수에 대해 이러한 분류가 소멸이상(vanishing ideal)에 의해 완전히 특성화됨을 보인다.
他の言語に翻訳
原文コンテンツから
arxiv.org
深掘り質問