SCXML의 한계는 결정 론적 유한 오토 마톤/결정 론적 유한 상태 머신과 동일합니까? 아니면 다른 추상 머신/오토 마톤에 의해 더 잘 캡쳐 된 SCXML의 힘입니까? 예를 들어, SCXML이 푸시 다운 오토 마톤 또는 튜링 머신을 설명하기에 충분히 강력 할 수 있습니까?
튜링 기계의 예를 들어 내 대답이 맞는지 아닌지 누군가가 알 수 있습니까 ?? 올바른 여부 ^(q1,a)=(X,q2,R)
^(q2,a)=(a,q2,R)
^(q2,b)=(Y,q3,R)
^(q3,b)=(b,q3,R)
^(q3,c)=(Z,q4,L)
^(q4,b)=(b,q4,L)
^(q4,Y)=(Y,q4,L)
^(q4,a)=(a,q4,L)
^(q4,
나는 종종 "C++ 소스는 컴파일하는데 많은 시간과 메모리가 필요합니다"라고 들었습니다. 또한 C++ 템플릿은 튜링이 완료된 것으로 들었으므로 Halting problem이 발생할 수 있습니다. 나는 또한 8 GiB의 메모리와 2 시간의 시간을 소비하는 C++ 프로젝트를 만들었습니다. 질문 : 무한한 시간 동안 컴파일되는 C++ 코드가 있습니까? (중첩 포
A가 유한이거나 일대일 자연수로 매핑되는 경우 집합 A가 셀 수있는 것으로 알고 있습니다. ALPH가 임의의 유한 알파벳이라고 가정합니다. A) ALPH에 각각 임의의 언어 가산 근로있다 : 나는 나의 추론을 요약한다. B) ALPH 모든 언어의 세트가 가산 근로이다 (나는 이것이 사실 생각). (나는이 거짓이라고 생각) C) ALPH에 각각 임의의 언어에
이 언어가 무엇인지 알아야합니다. L = {ww | w {0,1} *} 은 튜링 기계로 결정할 수있다. TM에는 1 개의 테이프와 2 개의 헤드/포인터가 있습니다. 입력 문자열은 유한입니다. 그것을 해결하는 방법에 대한 제안? 문자열의 길이를 알면 쉽게 해결할 수 있습니다.
저는 NDTM을 처음 접했지만 튜링 기계의 개념을 이해합니다. 그것이 내가 약간 혼란스러워 NDTM에 올 때, 나는 언어에 대한 NDTM을 개발하기로되어 있어요 {A, B, C}와 L = {w ∈ Σ*| Ǝv ∈ Σ*, Ǝn >= 2 with w = v (to the power of) n }
내가 알고 싶은 우선 예를 들어, L을 읽는 방법입니다 mea