«reference-question» etiketlenmiş sorular

Uzun yıllardır bilgisayar meraklısıyım. Birkaç dilde programlayabilirim ve hatta onları bile oluşturabilirim. Geçen gün bir arkadaşıma oturdum ve bir bilgisayarın gerçekte nasıl elektrik aldığını ve onunla bir şey yaptığını sordum ve çözemedik ve Google da pek yardımcı olmadı. Yani, bir bilgisayar nasıl sürekli bir elektrik akışı alıp onu 1 ve …

40 computer-architecture  education  reference-question 

Örneğin, bir işlevler listesine sahip olduğumu varsayalım. 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 Bunları asimptotik olarak nasıl sıralayabilirim, yani; f≤Og⟺f∈O(g)f≤Og⟺f∈O(g)\qquad f \leq_O g \iff f \in O(g) , onlar (ayrıca bkz aslında İkili karşılaştırılabilir olduğunu varsayarak burada )? tanımını kullanmak OOOgarip görünüyor ve uygun ccc ve …

35 asymptotics  landau-notation  reference-question 

Aptalca bir soru gibi gelebilir ama bir bilgisayarın bunu nasıl bildiğini bilmek gerçekten merak ediyorum ? Ayrıca, bir bilgisayar tamsayının sırasının ve alfabenin A, B, C, D, ... olduğunu nasıl bilebilir ? Donanımda depolanan bir yer mi yoksa işletim sistemi bu tür bilgileri sağlıyor mu?1 , 2 , 3 , …

34 computer-architecture  reference-question 

Bugün, derste ikili arama kullanarak sıralanmış bir dizide bir eleman bulmak için çok basit bir algoritma tartıştık . Bir nnn element dizisi için asimptotik karmaşıklığını belirlememiz istendi . Benim fikrim, daha açık bir şekilde O ( logn )O(log⁡n)O(\log n) , veya olmasıydı, O ( log2n )O(log2⁡n)O(\log_2 n)çünkü günlük2nlog2⁡n\log_2 n , …

33 algorithm-analysis  asymptotics  landau-notation  reference-question 

Orada birçok teknik bir dil olduğunu kanıtlamak için değil bağlam içermeyen, ama nasıl bir dil olduğunu ispat yok olduğu bağlamdan-bağımsız? Bunu kanıtlamak için hangi teknikler var? Açıkçası, bunun bir yolu, dil için bağlamsız bir dilbilgisi sergilemektir. Belirli bir dil için bağlamsız bir dilbilgisi bulmak için sistematik teknikler var mı? Düzenli …

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

Resmi dilbilgileri vererek biçimsel dilleri belirtmek sıkça bir iştir: Dilbilgileri sadece dilleri tanımlamak için değil, aynı zamanda onları ayrıştırmak ve hatta uygun bilim yapmak için de kullanmamız gerekir . Her durumda, eldeki dilbilgisinin doğru olması, tam olarak istenen kelimeleri üretmesi önemlidir . Dilbilgisinin neden istenen dilin yeterli bir temsili olduğunu …

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

Hesaplama Teorisi dersimde, sorunlarımızın birçoğu, sonlu otomata hakkında ifadeleri kanıtlamak için giriş dizesinin uzunluğuna indüksiyon kullanmayı içerir. Matematiksel tümevarımı anlıyorum, ancak dizeler çaldığında gerçek açıldım. Birisi adım adım böyle bir kanıt yapma sürecinden geçerse gerçekten çok memnun olurum. İşte bir örnek problem (Hopcroft ve Ullman 3rd Edition'dan Egzersiz 2.2.10): Aşağıdaki …

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