«turing-machines» 태그된 질문

Alan Turing의 생일을 축하하기 위해 Google 은 기계를 보여주는 기념일 로고 를 게시했습니다 . 기념일 로고는 어떤 기계입니까? 튜링 컴플리트 언어를 표현할 수 있습니까? 고전적인 튜링 기계와는 명백한 차이점이 있습니다. 유한 테이프, 상태 연결 방법의 제약, ... 기념일 로고는 여기에서 계속 사용할 수 있습니다 (오른쪽 상단의 디스플레이는 예상 출력을 보여줍니다.) …

10 cc.complexity-theory  turing-machines 

분산 시스템에 중점을 둔 이론적 컴퓨터 과학에 관심이있는 마스터 학생입니다. 튜링 머신 위에 분산 시스템의 공식 표현이 있는지 궁금합니다. 즉, 분산 컴퓨팅을 이용하기 위해 튜링 머신의 개념을 확장 (변형 화) 할 수 있습니까? 한 가지 아이디어 는 TM간에 공유 테이프 ( Tuple Space 와 비슷한 것)를 만드는 것 입니다.

10 turing-machines  dc.distributed-comp 

나는 매우 흥미롭고 여전히 열린 질문 " 단일 테이프 Turing machine의 알파벳 "(Emanuele Viola) 을 가지고 놀고 있었고 다음 언어를 생각해 냈습니다. L = { x ∈ { 0 , 1 }엔 성 | x | = n = 2미디엄 그리고 c o u n t 1 ( x ) …

10 cc.complexity-theory  turing-machines  time-complexity 

대부분의 문헌은 특정 문제에 대해 단일 oracles가있는 기계에 관한 것으로 보이지만, 여러 oracles가있는 기계를 고려한 논문이 몇 개있는 것으로 보입니다. 그러한 기계에 대해 알려진 것에 대한 개요를 제공하는 좋은 논문이나 논문이 있습니까? 특히 저는 여러 개의 oracles를 가진 P에 관심이 있습니다.

10 oracles  turing-machines 

나는 정확히 하나의 테이프와 정확히 3 개의 상태 (즉, 시작 상태)를 가진 Turing Machines에 대해 궁금했습니다. q0q0q_0수락 상태 qacceptqacceptq_{accept}, 거부 상태 qrejectqrejectq_{reject}). 임의의 (유한 한) 테이프 알파벳을 허용합니다 (즉, 테이프 알파벳은 입력 알파벳과 같도록 제한되지 않습니다). 편의상 해당 TM이 인식 할 수있는 언어 클래스를 호출하십시오. C3C3C_3. 이 수업에 대해 몇 …

9 automata-theory  turing-machines  cellular-automata 

경계 방문 비 결정적 선형 경계 오토마타는 일반 언어 만 인식합니까? 비결정론 적 선형 경계 오토 마톤 (nLBA)은 입력이 양 끝에 엔드 마커로 "채워져"덮어 쓰여질 수없는 단일 테이프 비결정론 적 튜링 머신을 의미하며, 헤드가 입력 영역 밖으로 이동할 수 없도록합니다. endmarkers "외부". 숫자가있는 경우 LBA는 경계 방문입니다 있도록 모두 에서 …

9 automata-theory  turing-machines  regular-language  space-bounded 

나는 순진한 질문이 있습니다 : 터닝 머신이 사실이지만 자연스럽고 일관되며 유한하게 액화 가능한 이론으로 입증 할 수없는 튜링 머신이 있습니까? 구체적인 예보다는 단순한 존재 증명을 요구합니다. 이것은 서수 분석 과 관련이있을 수 있습니다 . 실제로 튜링 머신미디엄미디엄M우리는 정의 할 수 있습니다 오 ( M)영형(미디엄)O(M)종결을 증명하는 일관된 이론의 최소 서수 (또는 …

9 turing-machines  proof-theory  halting-problem