Top "Theory" questions

Programming-language-agnostic Questions that focus on the theoretical aspects rather than the actual implementations.

Understanding word alignment

I understand what it means to access memory such that it is aligned but I don’t understand why this …

algorithm hardware theory computer-architecture
Why is P ⊆ co-NP?

I've seen several places that have simply stated that it's known that P is a subset of the intersection of …

algorithm complexity-theory theory np
What is the relationship between event loop and Promise

I am curious about the relationship between Event Loop and Promise. The demo exposes the question. I expected the p1 …

javascript promise theory event-loop
How a RegEx engine works

In learning Regular Expressions it had me wondering how the underlying engine works. Probably more specifically, I'd like to know …

regex theory
Difference between convergence and idempotence in Chef

What is the basic difference between convergence and idempotence in Chef?

chef-infra theory configuration-management
When is theoretical computer science useful?

In class, we learned about the halting problem, Turing machines, reductions, etc. A lot of classmates are saying these are …

theory turing-machines halting-problem computation
How can I prove that derivations in Chomsky Normal Form require 2n - 1 steps?

I'm trying to prove the following: If G is a Context Free Grammar in the Chomsky Normal Form, then for …

grammar theory context-free-grammar chomsky-normal-form
How do you determine the base table?

My question is in relation to database theory. If I am given a set of tables, is there a way …

database database-design theory database-table
Is a Turing machine a real device or an imaginary concept?

When I am studying about Turing machines and PDAs, I was thinking that the first computing device was the Turing …

theory turing-machines
When does Big-O notation fail?

What are some examples where Big-O notation[1] fails in practice? That is to say: when will the Big-O running time …

algorithm language-agnostic theory big-o