확률 적 오토마타 소개

확률 적 오토마타에 대한 소개와 그들이 인식하는 것 (단어에서 까지의 특정 기능)은 어디에서 찾을 수 있습니까 ? 결정적 유한 오토마타 (DFA)가 인식하는 "일반 언어"와 유사한 확률 적 오토마타에 의해 인식되는 이러한 기능에 대한 표준 용어가 있습니까? $[0,1]$

DFA 및 표현력, 폐쇄 및 결정 가능성 속성과 같은 일반 언어에 대한 기본 질문을 연구하는 것과 유사하게 접근하는 것을 찾고 있습니다.

이것 과 이것은 내가 찾고있는 것 같지 않습니다.

reference-request fl.formal-languages probabilistic-automata

— 프라 테크
소스

그들은의 "긍정적 인 지원"이다

언어, 즉 -rational 시리즈,

에 대한

등 일련의. 그러나 이것이 모두 잘 동작하는 것은 아닙니다. eccc.hpi-web.de/report/2013/040 이 클래스의 부울 클로저를 연구했습니다 .

Z

$\mathbb{Z}$

{w ∣ (r, w) > 0}

$\{w \mid (r, w) > 0\}$

r

$r$

— Michaël Cadilhac

Rabin (1963) 의 첫 번째 논문 은 찾고있는 기본 사항을 제공합니다. 확률 적 오토마타 (잘라 내기)가 인식하는 언어 클래스를 확률 적 언어라고합니다.

$P$ $\Sigma$ $f_P(w)$ $P$ $w \in \Sigma^*$ $P$ $\lambda \in [0,1)$

$L(P,\lambda) = \{ w \in \Sigma^* \mid f_P(w) > \lambda \}$

컷 포인트 인식은 무한 오차 인식으로 볼 수 있습니다. 경계 오차 (또는 분리 된 컷 포인트)의 경우 확률 적 오토마타는 모든 정규 언어 만 인식 할 수 있습니다.

이 책 파스로 (1971)와 조사 (1980) Bukharaev으로 좋은 참조입니다.

또한 양자 오토마타에 대한 최근 조사를 통해 확률 적 오토마타에 대한 참조를 추적 할 수 있습니다.

— 아부 저 야 카릴 릴 마즈
소스