컴퓨터 과학

공식 문법을 제공하여 공식 언어를 지정하는 것은 빈번한 작업입니다. 언어를 설명 할뿐만 아니라 언어를 구문 분석하거나 적절한 과학을 수행 하기 위해서는 문법이 필요합니다 . 모든 경우에 필요한 문법이 정확해야합니다 . 즉, 원하는 단어를 정확하게 생성하는 것입니다. 문법이 왜 원하는 언어를 적절히 표현하고 공식적인 증거를 생략했는지에 대한 높은 수준의 논쟁을 종종 …

22 formal-languages  formal-grammars  proof-techniques  reference-question 

나는 Kolmogorov Complexity 에 대해 무언가를 연구하고 Vitanyi와 Li의 기사와 책을 읽었으며 Normalized Compression Distance 의 개념을 사용하여 저자의 stilometry를 확인했습니다 (각 저자가 유사성으로 텍스트와 그룹 문서를 작성하는 방법을 식별). 이 경우 데이터 압축기는 튜링 기계로 사용될 수 있기 때문에 Kolmogorov의 복잡성을 근사하기 위해 데이터 압축기가 사용되었습니다. 데이터 압축 및 …

22 computability  approximation  data-compression  kolmogorov-complexity 

문맥이없는 문법 G가 주어지면, G가 받아들이는 언어를 정확하게 받아들이는 비 결정적 푸시 다운 오토 마톤 N이 있습니다. (그리고 비자도 마찬가지) G가 받아들이는 언어를 정확하게 받아들이는 결정 론적 푸시 다운 오토 마톤 D도 있을 수 있습니다. 문법에 따라 다릅니다. G의 생성에 대해 어떤 알고리즘으로 D가 존재하는지 확인할 수 있습니까?

22 automata  context-free  pushdown-automata 

함수형 프로그래밍은 영구적 인 데이터 구조와 불변 개체를 사용합니다. 내 질문은 여기에 그러한 데이터 구조를 갖는 것이 왜 중요합니까? 데이터 구조가 영구적이지 않으면 어떻게 될지 저수준 으로 이해하고 싶습니다 . 프로그램이 더 자주 충돌합니까?

22 data-structures  functional-programming  programming-paradigms  persistent-data-structure 

하자 일부 완료 가중 될 무향 그래프. 우리는 두 번째 구성 그래프 G ' = ( V , E를 ' ) 가장자리를 행 하나씩 추가함으로써 E 에 E를 ' . 우리 는 총 G ' 에 Θ ( | V | ) 모서리를 추가 합니다.G=(V,E)G=(V,E)G=(V,E)G′=(V,E′)G′=(V,E′)G'=(V, E')EEEE′E′E'Θ(|V|)Θ(|V|)\Theta(|V|)G′G′G' 우리가 하나의 테두리를 추가 …

22 algorithms  graphs  graph-theory  shortest-path 

결정할 수없는 "자연"언어가 있습니까? "자연"이란 기계와 그에 상응하는 것이 아니라 문자열의 속성에 의해 직접 정의 된 언어를 의미합니다. 즉, 같은 언어 보이면 TM, DFA (또는 정규 EXP), PDA (문법) 인, 등등, 그 다음 자연스럽지 않습니다 . 그러나 는 자연 스럽습니다.L = { ⟨ M⟩ ∣ … }L={⟨M⟩∣…} L = \{ …

22 formal-languages  automata  computability  undecidability 

베이지안 네트워크의 이론을 이해하고 실제로 구축하기 위해 무엇이 필요한지 궁금합니다. 이 예제에서 100 개의 이산 랜덤 변수로 구성된 베이지안 (지시) 네트워크가 있다고 가정 해 봅시다. 각 변수는 최대 10 개의 값 중 하나를 사용할 수 있습니다. 모든 노드를 DAG에 저장하고 각 노드마다 CPT (Conditional Probability Table)를 저장합니까? 일부 CPT가 변경 …

22 data-structures  machine-learning 

이전의 질문 에서 무게 균형을 잡은 나무의 정의와 레드-블랙 나무에 관한 질문 이있었습니다. 이 질문은 동일한 질문이지만 AVL 트리에 대한 것 입니다. 문제는 다른 질문에서와 같이 μμ\mu 균형 트리 의 정의를 감안할 때 일부 있습니까 μ > 0μ>0\mu \gt 0 모든 충분히 큰 AVL 나무가되도록 μμ\mu -balanced? AVL 트리에는 단 …

22 data-structures  binary-trees  search-trees  balanced-search-trees  avl-trees 

정확히 동일한 테이프의 동일한 셀에 읽기 / 쓰기 헤드가있는 이전에 발생한 상태로 돌아가는 튜링 머신은 루프에 걸립 니 다. 그런 기계는 멈추지 않습니다. 누군가가 멈추지 않는 끊임없는 기계의 예를 제시 할 수 있습니까?

22 computability  turing-machines  halting-problem 

Java, Ruby 및 Python과 같은 언어의 JIT 컴파일러에 대한 과대 광고가있었습니다. JIT 컴파일러와 C / C ++ 컴파일러의 차이점은 무엇이며, Java, Ruby 또는 Python 용 컴파일러가 JIT 컴파일러라고하는 이유와 C / C ++ 컴파일러는 단지 컴파일러라고하는 이유는 무엇입니까?

22 compilers 

라고 가정 해 봅시다 . 는 또는 -hard에 없는 의 문제 클래스입니다 . 추측되는 문제 목록은 여기에서 찾을 수 있습니다 .N P I N P P N P N P IP ≠ N PP≠NP\mathsf{P} \neq \mathsf{NP}N P INPI\mathsf{NPI}N PNP\mathsf{NP}피P\mathsf{P}N PNP\mathsf{NP}N P INPI\mathsf{NPI} 라드의 정리는 우리에게 알려줍니다 경우 그 다음의 무한 …

22 complexity-theory  np-hard 

일반 정렬 알고리즘은 일반적으로 정렬 할 데이터 세트와 두 개의 개별 요소를 비교할 수있는 비교기 함수를 사용합니다. 비교기가 순서 관계 ¹이면 알고리즘의 출력은 정렬 된 목록 / 배열입니다. 어떤 정렬 알고리즘이 실제로 주문 관계가 아닌 비교기 (특히 각 비교에서 임의의 결과를 반환하는 비교기)와 함께 작동 하는지 궁금 합니다. "작업"이란 여기서는 …

22 algorithms  randomized-algorithms  sorting 

이 질문은 컴퓨터 과학 스택 교환에서 대답 할 수 있기 때문에 이론적 인 컴퓨터 과학 스택 교환에서 마이그레이션 되었습니다. 7 년 전에 이주했습니다 . 문법 계층뿐만 아니라 일반적인 언어 (문자열 집합)를 설명하는 수학적 이론을 찾고 있습니다.

22 formal-languages  formal-grammars 

이 질문은 컴퓨터 과학 스택 교환에서 대답 할 수 있기 때문에 이론적 인 컴퓨터 과학 스택 교환에서 마이그레이션 되었습니다. 6 년 전에 이주했습니다 . 이 페이지 에 따르면 Dijkstra의 알고리즘은 우선 순위 대기열이있는 BFS 일뿐입니다. 정말 간단합니까? 나는 그렇게 생각하지 않는다.

22 algorithms  graphs  shortest-path 

결정 문제가 다음과 같이 정의된다는 생각을 이해합니다. 비용이 C보다 낮은 경로 P가 있습니까? 수신 경로를 확인하여 이것이 사실인지 쉽게 확인할 수 있습니다. 그러나이 기준에 맞는 경로가 없으면 어떻게됩니까? 최고의 경로 TSP 문제를 해결하지 않고 "아니오"라는 대답을 어떻게 확인하고 가장 좋은 방법을 찾는 것이 C보다 비용이 더 비쌉니까?

21 complexity-theory  time-complexity  np  decision-problem  traveling-salesman