«ar.hardware-architecture» 태그된 질문

최근에 나는 아주 흥미로운 이론적 구성을 발견했다. 소위 고델 기계 자체 최적화가 가능한 일반적인 문제 해결사입니다. 반응 환경에 적합합니다. 내가 이해하는 것처럼, 요구 사항은 현재 사용 가능한 하드웨어를 훨씬 뛰어 넘지 만 범용 Turing machine 용 프로그램으로 구현할 수 있습니다. 그래도 많은 세부 정보를 찾을 수 없었습니다. 그러한 기계를 실제로 …

17 computability  turing-machines  physics  machine-models  ar.hardware-architecture 

지난 수십 년 동안 컴퓨터 프로그램에서 볼 수있는 대부분의 속도 향상은 더 빠른 하드웨어보다는 더 나은 알고리즘에 의한 것이라고 주장한 연구 나 기사를 본 적이 있습니다. 누구든지 연구 나 기사를 알고 있습니까?

14 ds.algorithms  reference-request  big-picture  ar.hardware-architecture 

Microsoft Word의 단일 목적 (Touring이 아닌 완전한) 기계적 구현을 ​​구축 할 수 있습니까? 반복자, 1 차 함수, 프로그래밍 기술의 전체 영역과 같은 것을 구현할 수 있습니까? 기어 및 기타 기계 부품이 데이터 구조 또는 프로그램 객체를 나타낼 수 있습니까? 특정 시점에서 이것은 일반적인 목적의 Turing- 등가 기계를 구축해야하거나 각 기능, …

13 computability  pl.programming-languages  machine-models  ar.hardware-architecture 

EE 학부 과정에서 몇 개의 강의에 참석하여 몇 개의 중첩 루프가 있는지에 대한 부울 회로의 훌륭한 특성을 제시했습니다. 복잡성에서, 부울 회로는 종종 dags로 생각되지만 실제 하드웨어주기에서는 일반적입니다. 이제 루프가 무엇인지, 그리고 중첩 루프를 구성하는 것에 대한 몇 가지 기술은 기본적으로 하드웨어에서 오토 마톤을 구현하려면 두 개의 중첩 루프가 필요하며 프로세서를 …

11 cc.complexity-theory  reference-request  circuit-complexity  machine-models  ar.hardware-architecture