Informatyka reference-question

6

Od wielu lat jestem kujonem komputerowym. Potrafię programować w kilku językach, a nawet je budować. Pewnego dnia usiadłem z kumplem i zapytałem, w jaki sposób komputer rzeczywiście pobiera prąd i coś z nim robi, i po prostu nie mogliśmy tego zrozumieć, a Google też niewiele pomógł. Mam na myśli, w …

40 computer-architecture education reference-question

6

Sortowanie funkcji według asymptotycznego wzrostu

Załóżmy, że mam na przykład listę funkcji nloglog( n ), 2n, n ! , n3), n lnn , …nlog⁡log⁡(n),2)n,n!,n3),nln⁡n,…\qquad n^{\log \log(n)}, 2^n, n!, n^3, n \ln n, \dots Jak sortować je asymptotycznie, tj. Według relacji zdefiniowanej przez fa≤Osol⟺fa∈ O ( g)fa≤Osol⟺fa∈O(sol)\qquad f \leq_O g \iff f \in O(g) , zakładając, …

35 asymptotics landau-notation reference-question

7

W jaki sposób komputer określa, czy liczba jest mniejsza czy większa od innej?

To może brzmieć jak głupie pytanie, ale jestem naprawdę ciekawy, skąd komputer wie, że ? Ponadto, skąd komputer wie, że kolejność liczb całkowitych wynosi a alfabet to A, B, C, D, ...? Czy jest to gdzieś zapisane w sprzęcie, czy też system operacyjny zapewnia tego rodzaju informacje?1<21<21<21,2,3,4,5,…1,2,3,4,5,…1,2,3,4,5,\ldots

34 computer-architecture reference-question

4

Jak O i Ω odnoszą się do najgorszego i najlepszego przypadku?

Dzisiaj omawialiśmy na wykładzie bardzo prosty algorytm znajdowania elementu w posortowanej tablicy za pomocą wyszukiwania binarnego . Poproszono nas o określenie jego asymptotycznej złożoności dla szeregu nnn elementów. Mój pomysł polegał na tym, że jest to wyraźnie O ( logn )O(log⁡n)O(\log n) lub O ( log2)n )O(log2⁡n)O(\log_2 n) aby być …

33 algorithm-analysis asymptotics landau-notation reference-question

2

Jak udowodnić, że język jest pozbawiony kontekstu?

Istnieje wiele technik, aby udowodnić, że język nie jest pozbawiony kontekstu, ale jak udowodnić, że język jest pozbawiony kontekstu? Jakie są techniki, aby to udowodnić? Oczywiście jednym ze sposobów jest wykazanie gramatyki bezkontekstowej dla tego języka. Czy istnieją jakieś systematyczne techniki znajdowania gramatyki bezkontekstowej dla danego języka? Dla stałych języków, …

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

1

Jak pokazać, że L = L (G)?

Określanie języków formalnych poprzez nadawanie gramatyki formalnej jest częstym zadaniem: potrzebujemy gramatyki nie tylko do opisu języków, ale także do ich analizy, a nawet do właściwej nauki . We wszystkich przypadkach ważne jest, aby gramatyka była poprawna , czyli generowała dokładnie pożądane słowa. Często możemy dyskutować na wysokim szczeblu, dlaczego …

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

1

Jak napisać dowód przy użyciu indukcji na długości ciągu wejściowego?

W moim kursie teorii obliczeń wiele naszych problemów wiąże się z wykorzystaniem indukcji na długości łańcucha wejściowego do udowodnienia twierdzeń o automatach skończonych. Rozumiem indukcję matematyczną, ale kiedy pojawiają się struny, naprawdę się potykam. Byłbym bardzo wdzięczny, gdyby ktoś krok po kroku robił taki dowód. Oto przykładowy problem (ćwiczenie 2.2.10 …

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

Pytania otagowane jako reference-question