확률적 자동자 조합을 통한 마코프 과정 구성
본 논문은 확률적 행동을 갖는 자동자를 조합하는 대수적 프레임워크를 제시하고, 이를 이용해 고전적인 식사 철학자 문제에서 k 단계 내 교착 상태에 도달할 확률을 계산한다. 퍼론–프루베니우스 정리를 적용해 k가 무한대로 갈 때 그 확률이 1에 수렴함을 증명한다.
저자: L. de Francesco Albasini, N. Sabadini, R.F.C. Walters
논문은 먼저 확률적 자동자라는 새로운 형식 모델을 정의한다. 전통적인 자동자는 입력에 따라 상태가 결정적으로 변하지만, 확률적 자동자는 각 전이가 특정 확률값을 갖는다. 이를 위해 상태 집합 S, 입력 알파벳 Σ, 전이 확률 함수 δ: S × Σ × S →
원본 논문
고화질 논문을 불러오는 중입니다...
댓글 및 학술 토론
Loading comments...
의견 남기기