Problem Detail: Why do computer use Hex Number System at assembly language? Why don’t they use any other number system like binary, octal, decimal? What thing forced computer designer to use hex system at assembly? Why it looked so beneficial to Read More …
Category: Uncategorized
What is “dynamic” about dynamic programming?
Problem Detail: One of my seniors had a job interview and he was asked why it is called dynamic. He couldn’t answer and after he gave up the interviewer said that there’s nothing dynamic about it, its just called like that. Read More …
What combination of data structures efficiently stores discrete Bayesian networks?
Problem Detail: I understand the theory behind Bayesian networks, and am wondering what it takes to build one in practice. Let’s say for this example, that I have a Bayesian (directed) network of 100 discrete random variables; each variable can take Read More …
Closure of CFL against right-quotient with regular languages
Problem Detail: Let $A/B$ = ${ w mid wx in A$ for some $x in B }$. Show that if A is context free and B is regular, then $A/B$ is context free. My interpretation of this is is that Read More …
Does there exist a Turing complete typed lambda calculus?
Problem Detail: Do there exist any Turing complete typed lambda calculi? If so, what are a few examples? Asked By : Snowball Answered By : Gilles Yes, sure. Many typed lambda calculi accept only strongly normalizing terms, by design, so they cannot express Read More …
if (λ x . x x) has a type, then is the type system inconsistent?
Problem Detail: If a type system can assign a type to λ x . x x, or to the non-terminating (λx . x x) (λ x . x x), then is that system inconsistent as a consequence? Is every type under Read More …
Can someone explain this diagram about Slab Allocation?
Problem Detail: I’m trying to understand how Slab Allocation works and why it is different or better than ordinary paging. I found this diagram which I believe would be helpful if it had more explanation. Some questions: What do the 3KB Read More …
A DFA for recognizing comments
Problem Detail: The following DFA is a lexical analyzer which is supposed to recognize comments. The lexical analyzer will ignore the comment and goes back to the state one. I’m told that there’s something wrong with it but I can’t figure Read More …
Don’t understand one step for AVL tree height log n proof
Problem Detail: I came across a proof that the an AVL tree has O(log n) height and there’s one step which I do not understand. Let $N_h$ represent minimum number of nodes that can form an AVL tree of height h. Read More …
Can a Von Neumann CPU be pipelined?
Problem Detail: Can you pipeline a pure Von Neumann architecture based CPU or do you need seperate data and instruction caches for this? If you include seperate instruction and data caches (then it isn’t a von neumann CPU anymore, it’s a Read More …
