1
SCXML의 한계는 결정 론적 유한 오토 마톤/결정 론적 유한 상태 머신과 동일합니까? 아니면 다른 추상 머신/오토 마톤에 의해 더 잘 캡쳐 된 SCXML의 힘입니까? 예를 들어, SCXML이 푸시 다운 오토 마톤 또는 튜링 머신을 설명하기에 충분히 강력 할 수 있습니까?SCXML은 어떤 종류의 오토 마톤을 묘사합니까?
A
답변
2
데이터 모델이 없으면 모든 SCXML 문서를 해당 DFA에 매핑 할 수 있습니다. NFA를 DFA로 변환 할 때와 달리 PowerSet을 사용합니다. 그러나 모든 실제적인 목적을 위해 jbeard4가 맞습니다. 튜링이 완성 된 데이터 모델을 완성하자마자 SCXML이 완성되었습니다.
업데이트 : 나는이 것을 고쳐야합니다. SCXML은 데이터 모델 없이도 이미 튜닝 완료되었습니다! 내부 큐를 FIFO로 사용하면 튜링 기계와 동일한 DQA (deterministic queue automaton)를 모델링 할 수 있습니다. 따라서 SCXML은 튜링 완료되었습니다.
2
실제로 SCXML은 스크립트 태그를 사용하여 임의의 튜링 완료 코드를 실행할 수 있기 때문에 완벽합니다.