«terminology» 태그된 질문

표기법뿐만 아니라 특정 개념을 이해해야하는 방법에 대한 질문.


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

2
"문맥없는 문법"에서 "문맥"이란 무엇입니까?
Context-Free Grammar가 무엇인지에 대한 온라인 정의가 많이 있지만, 내가 찾은 것은 내 주요 문제를 만족시키지 않습니다. 어떤 맥락에서 자유롭습니까? 조사하기 위해 "문맥 인식 문법"을 Google로 검색했지만 여전히 "문맥"이 무엇인지 찾지 못했습니다. 누군가이 context이름에서 그 용어가 무엇을 의미 하는지 설명해 주 시겠습니까?

9
컴퓨터 과학과 컴퓨터 활용 능력의 차이점 설명 [닫기]
영어 전공에게 고전 컴퓨터 과학과 "MS-Windows를 사용하는 것이 좋다"의 차이점을 설명하는 좋은 은유 또는 예는 무엇입니까 컴퓨터 과학 컴퓨터 프로그래밍 컴퓨터 사용 크게 다른 3 가지. 대부분의 사람들은 컴퓨터 과학이 무엇인지 전혀 모른다. 그들은 단지 "컴퓨터"라는 단어를 봅니다. 따라서 "그는 컴퓨터 과학 전공입니다"는 "내 프린터를 연결할 수 있습니다"로 해석 될 …

7
무작위 알고리즘과 비 결정적 알고리즘의 차이점과 관계는 무엇입니까?
무작위 알고리즘과 비 결정적 알고리즘의 차이점과 관계는 무엇입니까? 위키 백과에서 확률 적 알고리즘은 그 로직의 일부로서 난수의 정도를 사용하는 알고리즘이다. 이 알고리즘은 일반적으로 가능한 모든 랜덤 비트 선택에 대해 "평균 경우"에서 우수한 성능을 달성하기 위해 동작을 안내하기 위해 보조 입력으로 균일하게 랜덤 비트를 사용합니다. 공식적으로, 알고리즘의 성능은 임의의 비트에 의해 …


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 

2
'진행성'이란 무엇입니까?
나는 종종 참조없이 '참 동시성 의미론'과 '참 동시성 동등성'과 같은 문구를 듣습니다. 그 용어는 무엇을 의미하며 왜 중요한가? 진정한 동시성 등가의 예는 무엇이며 이들의 필요성은 무엇입니까? 예를 들어, 더 많은 표준 동등성 (비 시뮬레이션, 미량 동등성 등)보다 더 적합한 경우는 무엇입니까?

5
튜링 머신과 유한 상태 머신의 차이점은 무엇입니까?
튜링 머신에 대한 프레젠테이션을 진행하고 있으며 튜링 머신을 소개하기 전에 FSM에 대한 배경 지식을 제공하고자했습니다. 문제는, 나는 정말로 서로 다른 것이 무엇인지 정말로 모른다는 것입니다. 다른 점은 다음과 같습니다. FSM은 튜링 머신이 읽고 쓰는 헤드가있는 무한 "테이프"에서 작동하는 동안 충족 된 해당 조건에 따라 순차적 인 상태를 갖습니다. FSM에는 끝나지 …


7
A가 거짓이고 B가 거짓이면 왜 A가 B를 암시합니까?
영어의 'implies'는 일상적인 언어 사용에서 대부분의 경우 'OR'단어가 'Exclusive OR'을 의미하는 것과 비슷한 방식으로 논리 연산자 'implies'와 동일한 것을 의미하지는 않습니다. 두 가지 예를 들어 보자. 오늘이 월요일이면 내일은 화요일입니다. 이다 사실 . 그러나 우리가 말한다면 : 태양이 녹색이면 잔디는 녹색입니다. 이것은 또한 사실로 간주됩니다. 왜? 이 뒤에 자연 영어의 …

3
단계적 기능 (개념적으로)이란 무엇입니까?
최근의 CACM 기사 [1]에서, 저자는 단계별 기능에 대한 구현을 제시합니다 . 그들은 잘 알려진 것처럼이 용어를 사용하며, 어떤 언급도 명백한 소개처럼 보이지 않습니다. 그들은 짧은 설명을 제공합니다 (강조 광산과 참조 번호가 변경되었습니다. 원래는 22입니다) 프로그램 생성과 관련하여 Taha and Sheard [2]에 의해 확립 된 다단계 프로그래밍 (MSP, 짧게 스테이징) 은 …

2
“NP-complete”최적화 문제
이 질문은 Computer Science Stack Exchange에서 답변을 얻을 수 있기 때문에 Stack Overflow에서 마이그레이션 되었습니다. 7 년 전에 이주했습니다 . 최적화 문제의 복잡성에 관한 몇 가지 용어로 인해 약간 혼란스러워합니다. 알고리즘 클래스에서 NP-complete로 설명 된 큰 parsimony 문제 가있었습니다 . 그러나 최적화 문제와 관련하여 NP-complete라는 용어가 무엇을 의미하는지 확실하지 않습니다. …


4
계산 함수가 재귀 함수라고도하는 이유는 무엇입니까?
계산 이론에서 계산 가능한 함수는 재귀 함수라고도합니다. 적어도 첫눈에 그들은 일상 프로그래밍에서 "재귀 적"이라고 부르는 것과 공통점이 없습니다 (즉, 스스로 호출하는 함수). 계산의 맥락에서 재귀의 실제 의미는 무엇입니까? 왜 이러한 기능을 "재귀"라고합니까? 다른 말로 표현하자면 : "재 귀성"의 두 의미 사이에는 어떤 관련이 있습니까?

당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.