«reference-question» 태그된 질문

나는 몇 년 동안 컴퓨터 대단했다. 나는 몇 가지 언어로 프로그래밍 할 수 있고 심지어 그것들을 만들 수도 있습니다. 나는 다른 날 친구와 앉아서 컴퓨터가 실제로 전기를 사용하고 무언가를하는 방법을 물었고, 우리는 그것을 알아낼 수 없었고, 구글도 그다지 도움이되지 않았습니다. 내 말은, 컴퓨터가 어떻게 일정한 전기 흐름을 가져 와서 1과 …

40 computer-architecture  education  reference-question 

예를 들어 함수 목록이 있다고 가정합니다. nloglog(n),2n,n!,n3,nlnn,…nlog⁡log⁡(n),2n,n!,n3,nln⁡n,…\qquad n^{\log \log(n)}, 2^n, n!, n^3, n \ln n, \dots 이를 무정형으로 정렬하려면 어떻게해야합니까? f≤Og⟺f∈O(g)f≤Og⟺f∈O(g)\qquad f \leq_O g \iff f \in O(g) , 그것들이 실제로 쌍으로 비교된다고 가정 합니까 ( 여기도 참조 하십시오 )? 의 정의를 사용하는 것은 어색한 것으로 보이며, 적절한 상수 와 …

35 asymptotics  landau-notation  reference-question 

어리석은 질문처럼 들릴지 모르지만 컴퓨터가 어떻게 를 알고 있는지 궁금합니다 . 또한 컴퓨터는 정수의 순서가 이고 알파벳이 A, B, C, D, ... 임을 어떻게 알 수 있습니까? 하드웨어에 저장되어 있거나 운영 체제에서 이러한 종류의 정보를 제공합니까?1 , 2 , 3 , 4 , 5 , …1 &lt; 21&lt;21<21 , 2 …

34 computer-architecture  reference-question 

오늘 우리는 이진 검색을 사용하여 정렬 된 배열에서 요소를 찾기위한 매우 간단한 알고리즘을 강의에서 논의했습니다 . nnn 요소 배열에 대한 점근 적 복잡성을 결정하라는 요청을 받았습니다 . 내 생각은 log 2 n 이 최악의 경우 작업 수 이기 때문에 분명히 O(logn)O(log⁡n)O(\log n) 또는 O(log2n)O(log2⁡n)O(\log_2 n) 가 더 구체적이라는 것 입니다. …

33 algorithm-analysis  asymptotics  landau-notation  reference-question 

있습니다 많은 기술 언어임을 증명 하지 문맥 자유는 있지만, 어떻게 언어는 것을 증명 할 것이다 문맥 자유? 이것을 증명하기 위해 어떤 기술이 있습니까? 분명히, 한 가지 방법은 언어에 대해 문맥이없는 문법을 보여주는 것입니다. 주어진 언어에 대해 문맥이없는 문법을 찾는 체계적인 기술이 있습니까? 일반 언어의 경우,이 있는 체계적인 방법으로 일반 문법 …

26 formal-languages  context-free  formal-grammars  proof-techniques  reference-question 

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

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

컴퓨팅 이론 과정에서 우리의 많은 문제는 입력 문자열의 길이에 유도를 사용하여 유한 오토마타에 대한 진술을 증명하는 것과 관련이 있습니다. 나는 수학적 귀납법을 이해하지만, 현이 연주 될 때 나는 실제 트립됩니다. 누군가가 그런 증거를 단계별로 만드는 과정을 거치면 정말 감사하겠습니다. 다음은 문제의 예입니다 (Hopcroft 및 Ullman 3rd Edition의 2.2.10 연습). 다음 …

20 automata  finite-automata  proof-techniques  reference-question  induction