두 개의 테이프 다이어그램 그리기 언어를 결정하는 비 결정적 튜링 기계 M L = {w∈Σ * | w = U U U ∈Σ *} 내가 어떻게 NDTM을 (언어 적) 구성하는 단계를 설명하고 도움을받을 수 있다면, 내가 그림을 그릴 수 있지만, 내가 대답으로 나올 couldnt는 생각 .. 는 u*u*u (편집 기록에서 볼), 나는 감히 당신이하려는 것은 u는
숫자가 단항 (0 = 1, 1 = 11, 2 = 111, 3 = 1111, ...) 인 경우 하나의 공백 기호를 남겨두고 동일한 숫자 (0 = 1 = 1, 2 = 10, 3 = 11, 4 = 100, ...). 번호를 역순으로 쓰는 것은 허용 가능합니다 (필수는 아닙니다). 완료되면 TM은 수락 상태로 전환해야합니다. 입력을 검증 할 필요가 없으며, 입력이
나는 Turing Machines에 대해 매우 익숙하며 질문에 난처하지 않습니다. Q = {q, r, s, t}, Σ = {abc}, Γ = {B, a, b, q}가되도록 튜링 기계가 주어진다 : M = (Q, Σ, Γ, c}, δ는 다음과 같이 정의된다 : [q, a, r, b, R], [q, b, r, a, R], q, c, t, 그리고 M이 입력 ab
방금이 코드를 온라인에서 찾았으며 입력을 어떻게 포맷해야하는지 이해하지 못했다. 동일한 프로그래머의 유사한 입력 예가 여기에 표시됩니다. Pushdown automaton implemented in C 하지만 여전히 많은 도움이되지 않습니다. E01 : 입력 형식은 같다 : E0의 $ : 000111 : A : 광고 : aeeb의 $ : b0eb0 : b1
튜링 기계의 기본 기능을 코딩하려고합니다. 아래와 같이 지금까지, 프로그램리스트로 사용자 입력 및 저장을 취 public String cmdLoop()
{
Scanner getReq = new Scanner(System.in);
for(; ;)
{
say("current read/write head positio
L1과 L2를 두 언어로 사용하여 L1과 L2 모두에 속한 문자열 w가 존재하지 않도록하십시오. L1과 L2가 모두 튜링으로 인식 가능하다면, L1 ⊆ A와 L2 ⊆ A`와 같은 결정 가능한 언어 A가 존재한다는 것을 입증하는 방법에 대해 고심하고 있습니다. A` - 우리는 하나가있는 경우,이 솔루션은 사소한 때문에 둘의 L1도 L2이 decidable 있