컴퓨터 과학

저는 다양한 주제로 겨울 코스를 가르 칠 계획입니다. 그 중 하나는 컴파일러가 될 것입니다. 이제 저는 이번 분기 내내 과제를 생각하면서이 문제를 겪었습니다. 그러나 나는 그것을 예를 들어서 대신 사용할 수있게되었습니다. public class DeadCode { public static void main(String[] args) { return; System.out.println("This line won't print."); } } 위의 프로그램에서 …

32 computability  proof-techniques  compilers 

컴퓨터가 변수를 저장할 때 프로그램이 변수의 값을 가져와야 할 때 컴퓨터는 해당 변수의 값을 메모리에서 찾을 위치를 어떻게 알 수 있습니까?

32 compilers  memory-access  variable-binding 

CPU를 연구하고 있는데 메모리에서 프로그램을 읽고 명령을 실행하는 방법을 알고 있습니다. 또한 OS는 프로세스에서 프로그램을 분리 한 다음 각 프로그램을 너무 빨리 번갈아 실행하여 동시에 실행되고 있다고 생각하지만 실제로는 각 프로그램이 CPU에서 단독으로 실행됩니다. 그러나 OS가 CPU에서 실행되는 많은 코드 인 경우 프로세스를 어떻게 관리 할 수 ​​있습니까? 내가 생각하고 …

32 operating-systems 

무언가가 단순하다면 몇 마디로 완전히 설명 할 수 있어야합니다. 이것은 λ 미적분에 대해 수행 할 수 있습니다. λ- 미적분은 축소 규칙 이있는 구문 문법 (기본적으로 구조)입니다 (이러한 패턴이 존재하지 않을 때까지 특정 패턴의 모든 발생에 반복적으로 검색 / 바꾸기 절차가 적용됨을 의미). 문법: Term = (Term Term) | (λ Var …

32 functional-programming  type-theory 

이항 Lambda 미적분 에있는이 579 비트 프로그램은 정지 상태를 알 수 없습니다. 01001001000100010001000101100111101111001110010101000001110011101000000111001110 10010000011100111010000001110011101000000111001110100000000111000011100111110100 00101011000000000010111011100101011111000000111001011111101101011010000000100000 10000001011100000000001110010101010101010111100000011100101010110000000001110000 00000111100000000011110000000001100001010101100000001110000000110000000100000001 00000000010010111110111100000010101111110000001100000011100111110000101101101110 00110000101100010111001011111011110000001110010111111000011110011110011110101000 0010110101000011010 즉,이 프로그램의 종료 여부를 알 수 없습니다. 그것을 결정하기 위해서는 Collatz 추측을 해결해야합니다. 또는 적어도 2 ^ 256까지의 모든 숫자에 대해해야합니다. 이 저장소 에는이 프로그램을 얻는 방법에 대한 완전한 설명이 …

32 algorithms  computability  kolmogorov-complexity 

Floyd의주기 감지 알고리즘을 이해하는 데 도움을 요청하고 있습니다. wikipedia에 대한 설명을 살펴 보았습니다 ( http://en.wikipedia.org/wiki/Cycle_detection#Tortoise_and_hare ) 알고리즘이 O (n) 시간의 사이클을 어떻게 감지하는지 알 수 있습니다. 그러나 거북이와 토끼 포인터가 처음 만나면 거북이 포인터를 다시 시작으로 이동 한 다음 한 번에 거북이와 토끼를 한 단계 씩 움직여주기 시작을 결정할 수는 …

32 algorithms  linked-lists 

Turing complete typed lambda calculi가 있습니까? 그렇다면 몇 가지 예는 무엇입니까?

31 computability  lambda-calculus  type-theory 

난 그냥의 첫 번째 챕터 완료 한 계산의 이론 소개 에 의해 마이클 십서 유한 오토마타의 기본 사항을 설명합니다. 그는 정규 언어를 유한 오토마타로 설명 할 수있는 것으로 정의합니다. 그러나 나는 왜 정규 언어가 "정규"라고 불리는지를 설명 할 수 없었습니다. 이 문맥에서 "정규"라는 용어의 기원은 무엇입니까? 참고 : 나는 초보자이므로 …

31 formal-languages  regular-languages  terminology  finite-automata  history 

말 그 및 같은 길이의 두 개의 문자열입니다. anagramming 개의 스트링은 전단 사 사상이다 되도록 각각 .b 1 b 2 … b na1a2…an에이1에이2…에이엔a_1a_2\ldots a_nb1b2…bn비1비2…비엔b_1b_2\ldots b_na i = b p ( i ) ip:[1…n]→[1…n]피:[1…엔]→[1…엔]p:[1\ldots n]\to[1\ldots n]ai=bp(i)에이나는=비피(나는)a_i = b_{p(i)}i나는i 동일한 문자열 쌍에 대해 둘 이상의 분석이있을 수 있습니다. 예를 들어, 'abcab` 및 …

31 algorithms  strings  search-algorithms  natural-language-processing 

다음과 같은 이산 분포를 시뮬레이션해야한다고 가정 해보십시오. P(X=k)={12N,1−12N,if k=1if k=0P(X=k)={12N,if k=11−12N,if k=0 P(X = k) = \begin{cases} \frac{1}{2^N}, & \text{if $k = 1$} \\ 1 - \frac{1}{2^N}, & \text{if $k = 0$} \end{cases} 가장 확실한 방법은 랜덤 비트를 그리고 모든 비트가 (또는 ) 인지 확인하는 것입니다 . 그러나 정보 이론에 …

31 algorithms  information-theory  randomness  pseudo-random-generators  entropy 

나는 기수 나무 (일명 압축 시도)에 대해 배우고 있지만 Patricia는 시도하지만 실제로 동일한 지 여부에 대한 상충되는 정보를 찾고 있습니다. 노드가 유일한 자식 일 때 부모와 노드를 병합하여 일반 (압축되지 않은) 트리에서 기수 트리를 얻을 수 있습니다. 패트리샤도 마찬가지다. 두 가지 데이터 구조는 어떤면에서 다른가? 예를 들어 NIST 는 둘을 …

31 data-structures  trees 

PSPACE가 일반적으로 EXPTIME과 다른 이유를 직관적으로 이해하는 데 어려움을 겪고 있습니다. PSPACE가 입력 크기 의 공간 다항식에서 해결할 수있는 문제의 집합 인 경우 지수 시간이 더 크게 발생하고 지수 공간을 사용하지 않는 일련의 문제 가있을 수 있습니까?f(n)f(n)f(n) Yuval Filmus의 답변은 이미 매우 도움이됩니다. 그러나 PSPACE ≠ EXPTIME (예 : PSPACE가 …

31 complexity-theory  complexity-classes  intuition 

컴퓨터가 이진수 시스템 (0,1)을 사용하는 이유는 무엇입니까? 왜 대신 3 차 숫자 체계 (0,1,2) 또는 다른 숫자 체계를 사용하지 않습니까?

31 computer-architecture  binary-arithmetic 

NP-Complete 가 아니며 결정 불가능한 NP-Hard 문제를 쉽게 이해할 수있는 좋은 예가 있는지 궁금합니다 . 예를 들어, 정지 문제 는 NP-Complete가 아니라 결정 불가능한 NP-Hard입니다. 나는 이것이 다항식 시간이 아닌 해결책을 검증 할 수있는 문제라는 것을 의미한다고 생각합니다. (이 경우가 아니면이 설명을 수정하십시오).

31 complexity-theory  computability  np-hard 

따라서 TSP (Travelling salesman problem) 의사 결정 문제는 NP 완료 입니다. 그러나 다항식 시간에서 최적의 솔루션을 찾을 수있는 방법이 없기 때문에 TSP에 대한 주어진 솔루션이 실제로 다항식 시간에서 최적임을 확인할 수있는 방법을 이해하지 못합니다 (P에 문제가 없기 때문에)? 실제로 다항식 시간에 검증을 수행 할 수 있다는 것을 알 수있는 방법이 …

31 complexity-theory  np-complete  traveling-salesman