«machine-models» 태그된 질문

튜링 머신에 대한 프레젠테이션을 진행하고 있으며 튜링 머신을 소개하기 전에 FSM에 대한 배경 지식을 제공하고자했습니다. 문제는, 나는 정말로 서로 다른 것이 무엇인지 정말로 모른다는 것입니다. 다른 점은 다음과 같습니다. FSM은 튜링 머신이 읽고 쓰는 헤드가있는 무한 "테이프"에서 작동하는 동안 충족 된 해당 조건에 따라 순차적 인 상태를 갖습니다. FSM에는 끝나지 …

27 terminology  turing-machines  finite-automata  machine-models 

는 시간을 구성 할 수있는 고정 함수로 하자 .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 

무작위 알고리즘에 대한 Wikipedia 에서 예상되는 실행 시간이나 메모리 사용량을 줄이기 위해 임의의 입력을 사용하는 알고리즘 을 구분 해야하지만 항상 제한된 시간 내에 올바른 결과로 종료해야하며 확률 적 알고리즘 은 임의의 입력에 따라 기회가 있습니다 실패를 알리거나 종료하지 않음으로써 잘못된 결과 (Monte Carlo 알고리즘)를 생성하거나 결과 (Las Vegas 알고리즘)를 생성하지 …

14 algorithms  terminology  randomized-algorithms  nondeterminism  machine-models 

알고리즘의 알고리즘 복잡성을보고 할 때 최신 계산에 근사한 일부 추상 머신 (예 : RAM)에서 기본 계산이 수행된다고 가정합니다. 이러한 모델을 통해 알고리즘의 시간 및 공간 복잡성을보고 할 수 있습니다. 이제 GPGPU 가 확산 되면서 전력 소비를 고려할 수있는 잘 알려진 모델이 있는지 궁금합니다. GPU는 상당한 양의 전력을 소비하는 것으로 잘 …

13 complexity-theory  computer-architecture  power-consumption  machine-models 

직장에서 나는 동적 언어에 대한 몇 가지 유형 정보를 유추하는 임무를 맡았습니다. 다음 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 

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

10 complexity-theory  turing-machines  machine-models  simulation