«computation-models» 태그된 질문

계산에 사용되는 허용 가능한 작업 집합의 정의 및 해당 비용. 모델의 예로는 튜링 머신, 재귀 함수, 람다 미적분학 및 생산 시스템이 있습니다.

6
튜링 머신이 인기있는 계산 모델 인 이유는 무엇입니까?
저는 CS 학부생입니다. Turing이 자신의 추상 기계 (계산을 수행하는 사람을 모델링)를 생각해 냈지만 이해하기가 어색하고 우아하지 않은 것처럼 보입니다. 왜 우리는 "테이프"와 머신 헤드가 기호를 쓰고 상태를 바꾸고 테이프를 앞뒤로 이동시키는 것을 고려합니까? 근본적인 의미는 무엇입니까? DFA는 우아합니다. 일반 언어를 인식하는 데 필요한 것을 정확하게 캡처하는 것 같습니다. 그러나 튜링 …
7
튜링 머신은 "정의 적으로"가장 강력한 머신입니까?
Turing Machine이 "모든 가능한 수학적 문제"를 수행 할 수 있다는 데 동의합니다. 그러나 그것은 단지 알고리즘의 기계적인 표현이기 때문입니다. 먼저 이것을 수행 한 다음 그렇게하고 결국 그것을 출력하십시오. 나는 해결할 수있는 것은 알고리즘으로 표현 될 수 있음을 의미합니다 (정확하게 '해결 가능'의 정의이기 때문에). 그것은 단지 타우 톨 로지 일뿐입니다. 나는 …
7
멀티 코어 CPU에서 반드시해야 할 것이 있습니까?
우리 팀은 멀티 스레드 친화적 인 프로그램을 고려해야 할 때 단일 코어 CPU에서 절대로 할 수없는 것이 있는지 여부에 대해 당황했습니다 . 그래픽 처리에는 대규모 병렬 처리가 필요하지만 DOOM과 같은 작업은 GPU가없는 단일 코어 CPU에서 수행되었다고 주장했습니다. 거기에 무엇인가 해야한다 멀티 코어 프로세서에서 수행 할 수는? 개발과 운영에 무한한 시간이 …
3
기능적 언어에 대한 알고리즘 복잡도는 어떻게 모델링됩니까?
알고리즘 복잡도는 하위 수준 세부 사항과 독립적으로 설계되었지만 명령형 모델 (예 : 배열 액세스 및 트리의 노드 수정에 O (1) 시간이 걸림)을 기반으로합니다. 순수한 기능적 언어에서는 그렇지 않습니다. Haskell 목록은 액세스하는 데 선형 시간이 걸립니다. 트리에서 노드를 수정하려면 트리의 새 사본을 작성해야합니다. 그렇다면 기능적 언어에 대한 알고리즘 복잡성의 대체 모델링이 …
2
양자 람다 미적분
일반적으로 계산에 대해 생각하는 3 가지 인기있는 방법이 있습니다 : 튜링 머신, 회로 및 람다 미적분학 (대부분의 기능적 관점에서 모두 이것을 캐치로 사용합니다). 세 가지 모두 서로 다른 유형의 문제에 대해 생각할 수있는 유익한 방법이었으며, 이러한 이유로 여러 분야에서 서로 다른 공식을 사용합니다. 그러나 양자 컴퓨팅으로 작업 할 때 회로 …
7
무작위 알고리즘과 비 결정적 알고리즘의 차이점과 관계는 무엇입니까?
무작위 알고리즘과 비 결정적 알고리즘의 차이점과 관계는 무엇입니까? 위키 백과에서 확률 적 알고리즘은 그 로직의 일부로서 난수의 정도를 사용하는 알고리즘이다. 이 알고리즘은 일반적으로 가능한 모든 랜덤 비트 선택에 대해 "평균 경우"에서 우수한 성능을 달성하기 위해 동작을 안내하기 위해 보조 입력으로 균일하게 랜덤 비트를 사용합니다. 공식적으로, 알고리즘의 성능은 임의의 비트에 의해 …
4
튜링은“기계가 놀라움을 줄 수 없다”는 말은 오류로 인해 무엇을 의미 했는가?
나는에 의해 문 아래에 발생 앨런 M. 튜링 여기 : "기계가 놀라움을 일으키지 않는다는 견해는 필자가 생각하기에 철학자와 수학자가 특히 다루고있는 오류에 기인한다. 이것은 사실이 사실로 떠오르 자마자 그 사실의 모든 결과가 떠오른 것으로 가정한다. 그것은 많은 상황에서 매우 유용한 가정이지만, 그것이 거짓이라는 것을 너무 쉽게 잊어 버립니다. " 나는 …
2
C의 void 유형이 빈 / 하단 유형과 유사하지 않은 이유는 무엇입니까?
Wikipedia와 내가 찾은 다른 소스 void는 빈 유형이 아닌 C 유형을 단위 유형으로 나열 합니다. 나는 void빈 / 하단 유형의 정의에 더 잘 맞는 것처럼 혼란 스럽습니다 . void내가 알 수있는 한 값이 없습니다 . 반환 유형이 void 인 함수는 함수가 아무것도 반환하지 않으므로 일부 부작용 만 수행 할 수 …
28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 
6
Turing Machine과 물리적으로 유사합니까?
최근 CS 수업에서 Turing Machine을 소개했습니다. 수업 후, 테이프와 기계의 관계를 파악하기 위해 2 시간 이상을 보냈습니다. 나는 컴퓨터 테이프의 존재 나 테이프와 기계가 오늘날까지 어떻게 상호 작용하는지 완전히 알지 못했습니다. 나는 여전히 기계가 테이프를 읽는 이유를 알 수 없지만 스캐너는 아마도 종이가 테이프로 간주되고 스캐너 내부로 들어가는 것은 Turing …
8
모든 표현이 이해되는 프로그래밍 언어
권장 사항에 따라 Stack Overflow 에서 이것을 다시 게시하고 있습니다 . 최근에 나는 다음과 같은 문제에 대해 생각하고있다. 표준 "Hello world!"의 코드를 고려하십시오. 프로그램: main() { printf("Hello World"); } 이제이 코드의 거의 모든 변경은 코드를 완전히 쓸모 없게 만들며, 실제로 거의 모든 변경으로 인해 코드가 컴파일되지 않습니다. 예를 들면 다음과 …
5
더 높은 수준의 계산 설명으로 이탈하여 중단 문제를 "해결"할 수 있습니까?
최근 튜링의 정지 문제에 대한 결정 불가능한 증거는 러셀의 이발사 역설과 매우 유사하다는 흥미로운 비유를 들었습니다. 그래서 수학자들은 Cantor의 순진한 현장 공식화에서 좀 더 복잡한 공리 시스템 (ZFC set theory)으로 전환하여 중요한 배제 (제한) 및 추가를 통해 세트 이론을 일관되게 만들었습니다. 따라서 튜링 머신보다 강력하고 표현력이 뛰어나고, 존재 증거를 얻거나 …
3
두 가지 계산 모델이 동일하다는 것을 보여주는 방법은 무엇입니까?
두 계산 모델이 동일하다는 것을 어떻게 증명할 수 있는지에 대한 설명을 찾고 있습니다. 동등성 증명이 생략 된 것을 제외하고는 주제에 관한 책을 읽었습니다. 두 계산 모델이 동일하다는 의미에 대한 기본 아이디어가 있습니다 (자동보기 : 동일한 언어를 허용하는 경우). 동등성에 대한 다른 사고 방식이 있습니까? Turing-machine 모델이 람다 미적분학과 동등한 지 …
1
비결정론으로부터 추가적인 힘을 얻지 못하는 문맥없는 언어를위한 기계
컴퓨터 계산 모델을 고려할 때, Chomsky 계층 구조는 일반적으로 유한 자동 마타, 푸시 다운 자동 마타, 선형 바운드 자동 마타 및 튜링 머신으로 구성됩니다. 첫 번째 수준과 마지막 수준 1 (일반 언어 및 재귀 적으로 열거 가능한 언어)의 경우 결정적 또는 비 결정적 기계를 고려하는지 여부, 즉 DFA가 NFA와 같고 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.