컴퓨터 과학

두 NPDA의 교차로에 대한 라파엘의 제안에 대한 아프로 포이즈 : 하자 1 및 이 문맥 - 자유 언어 NPDA을 L 1 과 L 이 각각. L = L 1 ∩ L 2 가 문맥이 없다는 것을 알고 있다고 가정하면 , L에 대해 NPDA A 를 (효과적으로) 구성 할 수 있습니까?ㅏ1A1A_1ㅏ2A2A_2엘1L1L_1엘2L2L_2L …

13 computability  automata  pushdown-automata 

나는 Wikipedia 와 다른 텍스트를 읽었습니다. 정지 문제는 [...] LBA ( linear bounded automata ) [및] 유한 메모리를 가진 결정 성있는 머신에 대해 결정 가능합니다. 그러나 이전에는 정지 문제가 결정 불가능한 문제이므로 TM이 해결할 수 없다고 기록되었습니다! LBA는 TM의 유형으로 정의되므로 동일하지 않아야합니까?

13 turing-machines  automata  undecidability  halting-problem  linear-bounded-automata 

가정합니다 피≠ N피P≠NPP\neq NP. 모든 NP 완료 문제의 런타임 범위에 대해 무엇을 말할 수 있습니까? 즉, 가장 완전한 함수 패 , U: N → NL,U:N→NL,U:\mathbb{N}\to\mathbb{N} 은 어떤 NP- 완전 문제에 대한 최적의 알고리즘이 적어도 ω ( L ( n ) )ω(L(n))\omega(L(n)) 및 최대 시간에 실행 되도록 보장 할 수 있습니다 …

13 complexity-theory  time-complexity  np-complete  p-vs-np 

"상관은 인과 관계와 동일하지 않다"는 것은 잘 알려진 사실이지만, 머신 러닝은 거의 전적으로 상관 관계에 기반한 것으로 보입니다. 나는 과거의 성과를 바탕으로 질문에 대한 학생들의 성과를 추정하기 위해 시스템을 연구하고 있습니다. Google 검색과 같은 다른 작업과 달리이 게임은 쉽게 게임 할 수있는 시스템처럼 보이지 않으므로 인과 관계는 실제로 관련이 없습니다. …

13 machine-learning  statistics 

순수한 람다 미적분학 에서 quine 의 예를 원합니다 . 인터넷 검색으로 찾을 수 없다는 사실에 놀랐습니다. quine 페이지 에는 많은 "실제"언어에 대한 quies가 나열되어 있지만 lambda 미적분학에는 해당되지 않습니다. 물론 이것은 람다 미적분학에서 퀴니가 의미하는 바를 정의하는 것을 의미합니다. (나는 매우 구체적인 것을 요구하고 있습니다.) Larkin and Stocks (2004)와 같은 …

13 lambda-calculus 

함수형 프로그래밍은 매우 우아한 Lambda Calculus와 그 변형을 백업 이론으로 사용합니다. OOP에 그런 것이 있습니까? 객체 지향 모델에 대한 추상화 란 무엇입니까?

13 terminology  lambda-calculus  functional-programming  object-oriented 

나는 Kolmogorov Complexity에 대한 Wikipedia의 항목을 읽었습니다 ( 이 질문 덕분에 ). 어떤 문자열의 Kolmogorov 복잡도는 문자열 자체의 길이보다 몇 바이트 이상 클 수 없다는 것을 알 수 있습니다. 문자열을 설명하기 위해 왜 문자열 자체보다 더 필요한 것이 있습니까?

13 kolmogorov-complexity 

다음 문제에 대한 효율적인 알고리즘이나 NP 경도 증명을 찾고 있습니다. 하자 세트되고 ⊆ P ( Σ ) 의 서브 세트의 세트 Σ . 각 L ∈ A 에 대해 { w k + i ∣ 0 ≤ i < | 와 같은 k ∈ N 이 있도록 최소 길이 의 …

13 algorithms  formal-languages  encoding-scheme 

다음과 같은 재귀 피보나치 알고리즘을 사용합니다. def fib(n): if n==0: return 0 elif n==1 return 1 return (fib(n-1)+fib(n-2)) fib (5)를 찾기 위해 숫자 5를 입력하면 이것이 5를 출력한다는 것을 알고 있지만이 알고리즘의 복잡성을 어떻게 조사합니까? 관련된 단계를 어떻게 계산합니까?

13 algorithms  time-complexity  recursion 

수학 그룹 과 CS 공식 언어 또는 튜링 머신과 같은 다른 핵심 CS 개념 을 연관 시키거나 연결하는 자연 스럽거나 주목할만한 방법이 있습니까? 참조 / 응용 프로그램을 찾고 있습니다. 그러나 세미 그룹과 CS 언어 사이의 링크를 알고 있습니다 (즉, 유한 automata 통해 ). (반 자동화에 대한이 문헌은 "그룹-자동화"를 본 적이 …

13 formal-languages  reference-request  automata  discrete-mathematics  group-theory 

언어 L⊆Σ∗L⊆Σ∗\mathcal{L} \subseteq \Sigma^* 를 규칙적으로 유지하십시오. 의 인수 분해 는 다음과 같은 단어 집합의 LL\mathcal{L}최대 쌍 (X,Y)(X,Y)(X,Y) 입니다. X⋅Y⊆LX⋅Y⊆LX \cdot Y \subseteq \mathcal{L} X≠∅≠YX≠∅≠YX \neq \emptyset \neq Y , 여기서 X⋅Y={xyX⋅Y={xyX \cdot Y = \{xy | x∈X,y∈Y}x∈X,y∈Y}x \in X, y \in Y\} . (X,Y)(X,Y)(X,Y)(X′,Y′)≠(X,Y)(X′,Y′)≠(X,Y)(X',Y') \neq (X,Y)X′⋅Y′⊆LX′⋅Y′⊆LX'\cdot Y' \subseteq \mathcal{L} …

13 algorithms  regular-languages  optimization 

"결정 론적 맥락없는 문법"과 같은 표현에서 "결정 론적"의 의미를 이해하려고합니다. (이 분야에는 더 결정적인 "사물"이 있습니다). 가장 정교한 설명보다 더 예를 들어 주셔서 감사합니다! 가능하다면. 저의 혼란의 주요 원인은 문법의이 속성이 (비) 모호성과 어떻게 다른지 알 수 없다는 것입니다. 내가 의미하는 바를 가장 가깝게 찾은 것은 D. Knuth의 왼쪽에서 오른쪽으로의 …

13 context-free  formal-grammars  parsers 

파서의 출력은 트리 여야합니까, 아니면 일반 그래프 일 수도 있습니까? 또한 구문에 트리 대신 일반 그래프 표현을 사용하는 기존 언어 나 그럴듯한 언어가 있습니까?

13 compilers  parsing 

나는 직렬화 가능성 과 선형화 가능성 의 차이점에 대해 읽었 으며 , 이는 복제 데이터베이스와 같은 복제 시스템의 일관성 기준입니다. 그러나 직렬화 가능성보다 강하더라도 선형화가 필요한 경우는 모르겠습니다. 그러한 강력한 재산이 실제로 필요한 시나리오를 생각해 낼 수 있습니까?

13 concurrency  databases 

있습니다 쓰레기통에서, 내가 일 빈은 포함 내가 공을. 공은이 n 개의 색깔이있다 나는 색상의 공 전 . 하자 m = Σ N 난 = 1 I를 .nnniiiaiaia_innnaiaia_iiiim=∑ni=1aim=∑i=1naim=\sum_{i=1}^n a_i 스왑은 한 빈에서 공을 가져오고 다른 빈에서 공을 스왑합니다. 각 빈에 같은 색의 볼만 포함되도록 최소 스왑 수를 원합니다. 나는 쉽게 특별한 …

13 algorithms  complexity-theory  balls-and-bins