«simulation» 태그된 질문

두 계산 모델이 동일하다는 것을 어떻게 증명할 수 있는지에 대한 설명을 찾고 있습니다. 동등성 증명이 생략 된 것을 제외하고는 주제에 관한 책을 읽었습니다. 두 계산 모델이 동일하다는 의미에 대한 기본 아이디어가 있습니다 (자동보기 : 동일한 언어를 허용하는 경우). 동등성에 대한 다른 사고 방식이 있습니까? Turing-machine 모델이 람다 미적분학과 동등한 지 …

21 proof-techniques  computation-models  simulation 

이 Wikipedia 기사 에 따르면 무제한 문법은 튜링 머신과 동일합니다. 이 기사에서는 Turing 기계를 무제한 문법으로 변환 할 수 있지만 문법을 Turing 기계로 변환하는 방법 만 보여줍니다. 실제로 어떻게 언어 을 인식하는 Turing 기계를 무제한 문법으로 변환합니까? 전환 규칙을 문법 규칙으로 바꾸려고했지만 튜링 머신은 다양한 상태 구성을 가질 수 있습니다.LLL

19 formal-grammars  turing-machines  simulation 

는 시간을 구성 할 수있는 고정 함수로 하자 .fff TM에 대한 고전적인 보편적 시뮬레이션 결과 (Hennie and Stearns, 1966)는 다음과 같이 2 테이프 TM 있다고 밝혔습니다.UUU TM을 설명 ⟨M⟩⟨M⟩\langle M \rangle 및 입력 문자열 ,xxx 단계 동안 실행 하고 x에 대한 M 의 답을 반환합니다 . 그리고 g는 임의 함수로 …

16 complexity-theory  reference-request  turing-machines  machine-models  simulation 

이상에서 반전 계산에 대한이 질문에 , 나는 종이 발견 낮은 증명 모든 (정확한) 공간의 복잡성에 바인딩 스트리밍 알고리즘을 . 나는이 한계가 모든 선형 시간 알고리즘으로 확장된다고 주장했다. 이것은 일반적으로 약간 대담하다. 선형 시간 알고리즘은 스트리밍 알고리즘이 할 수없는 마음대로 접근 할 수있다. 요소를 순서대로 조사해야합니다. 여러 패스를 수행 할 수는 …

14 algorithms  streaming-algorithm  simulation  lower-bounds 

목표는 정규식에서 DFA를 작성하는 것이며 "정규 exp> NFA> DFA 변환"을 사용하는 것은 옵션이 아닙니다. 어떻게해야합니까? 나는이 질문을 교수에게 물었지만 그는 우리가 직관을 사용할 수 있다고 말했고 친절하게 설명을 거부했다. 그래서 물어보고 싶었습니다. "정규 exp> NFA> DFA 변환"은 이러한 변환이 다소 복잡한 정규식을 변환하는 데 많은 시간이 걸리기 때문에 옵션이 아닙니다. …

12 automata  finite-automata  regular-expressions  simulation 

나는 Sipser를 읽고 있는데 k 테이프가있는 k Turing 기계를 제공하면 하나의 테이프로 동등한 Turing 기계를 뱉어 낼 수있는 과정이 무엇인지 이해하기가 어렵습니다. 좋은 예가 될 것입니다. 실제로 테이프 가있는 TM에서 1 개의 테이프가있는 TM으로 이동하는 방법을 보여주는 예제가 실제로 찾고 있습니다. 지금까지 찾지 못했습니다. 나는 또한 어떤 증거도 찾고 있지 …

11 turing-machines  simulation 

입자들 사이에 힘 을 시뮬레이션하는 세포 오토 마톤 (2D)이 있습니까?1 / r1/아르 자형1/r 보다 구체적으로, 엄격하게 로컬 업데이트 규칙을 사용하여 두 모델 (모델 내에 정의 된)이 힘으로 서로를 끌어들이는 것이 가능한지 알고 싶습니다 . 여기서 은 객체를 분리하는 거리입니다. 이것은 특히 물체 (입자)가 서로 가까워 질 때 가속을 수반합니다.1 / …

11 simulation  cellular-automata 

직장에서 나는 동적 언어에 대한 몇 가지 유형 정보를 유추하는 임무를 맡았습니다. 다음 let과 같이 일련의 명령문을 중첩 된 표현식 으로 다시 작성합니다 . return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z …

11 programming-languages  logic  type-theory  type-inference  machine-learning  data-mining  clustering  order-theory  reference-request  information-theory  entropy  algorithms  algorithm-analysis  space-complexity  lower-bounds  formal-languages  computability  formal-grammars  context-free  parsing  complexity-theory  time-complexity  terminology  turing-machines  nondeterminism  programming-languages  semantics  operational-semantics  complexity-theory  time-complexity  complexity-theory  reference-request  turing-machines  machine-models  simulation  graphs  probability-theory  data-structures  terminology  distributed-systems  hash-tables  history  terminology  programming-languages  meta-programming  terminology  formal-grammars  compilers  algorithms  search-algorithms  formal-languages  regular-languages  complexity-theory  satisfiability  sat-solvers  factoring  algorithms  randomized-algorithms  streaming-algorithm  in-place  algorithms  numerical-analysis  regular-languages  automata  finite-automata  regular-expressions  algorithms  data-structures  efficiency  coding-theory  algorithms  graph-theory  reference-request  education  books  formal-languages  context-free  proof-techniques  algorithms  graph-theory  greedy-algorithms  matroids  complexity-theory  graph-theory  np-complete  intuition  complexity-theory  np-complete  traveling-salesman  algorithms  graphs  probabilistic-algorithms  weighted-graphs  data-structures  time-complexity  priority-queues  computability  turing-machines  automata  pushdown-automata  algorithms  graphs  binary-trees  algorithms  algorithm-analysis  spanning-trees  terminology  asymptotics  landau-notation  algorithms  graph-theory  network-flow  terminology  computability  undecidability  rice-theorem  algorithms  data-structures  computational-geometry 

Universal Turing machine에 관한 두 가지 질문에 대한 답을 찾으려고합니다. 시뮬레이션중인 머신의 상태 수가 더 많은 경우 Universal Turing 머신이 Turing 머신을 어떻게 시뮬레이트 할 수 있습니까? 시뮬레이션중인 기계의 알파벳 수가 더 많은 경우 Universal Turing 기계가 Turing 기계를 어떻게 시뮬레이트 할 수 있습니까? 누구 든지이 질문에 나를 도울 수 …

10 computability  turing-machines  simulation  turing-completeness 

문제는 Arora-Barak의 저서 Computational Complexity-Modern Approach 의 연습 1.9입니다 . RAM 튜링 머신을 랜덤 액세스 메모리가있는 튜링 머신으로 정의하십시오. 우리는 이것을 다음과 같이 공식화합니다. 기계에는 모든 배열로 초기화되는 무한 배열 A가 있습니다. 다음과 같이이 배열에 액세스합니다. 기기의 작업 테이프 중 하나가 주소 테이프로 지정되어 있습니다. 또한 기계에는 R과 W로 표시되는 …

10 complexity-theory  turing-machines  machine-models  simulation 

컨텍스트 프리 문법을 푸시 다운 오토마타로 변환하는 규칙 또는 메소드 세트가 있습니까? 이미 온라인 에서 일부 슬라이드를 찾았 지만 이해할 수 없었습니다. 슬라이드 10에서 그는 누군가가 그것을 설명 할 수있는 몇 가지 규칙에 대해 이야기합니다.

9 context-free  formal-grammars  pushdown-automata  simulation 

무한 알파벳의 기호를 읽고 쓰는 것이 허용되는 튜링 머신은 일반 TM보다 강력합니다 (유일한 차이점입니다. 머신에는 여전히 유한 한 수의 상태가 있습니다)? 직관에 따르면 각 기호를 구별하기 위해 무한한 수의 상태가 필요하기 때문에 나에게 그렇지 않습니다. 따라서 심볼로 인한 일부 심볼 또는 전환 (또는 전환의 일부 하위 집합)은 동일해야한다고 생각합니다. 따라서 …

9 computability  turing-machines  reductions  simulation