Problem Detail: I have come across a question that is a bit hard to understand due to its wording, I may havecome up with a possible solution, but I don’t know if it’s correct. Can you please help me? Thanks in Read More …
Blog
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 …
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 …
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 …
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 …
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 …
Evaluation of reverse Polish notation
Problem Detail: We only consider the reverse Polish notation as an arithmetic expression. Formally, RNP is a sequence consisted of numbers and arithmetic operators: $+,-,*,/$, and its syntax is: $$newcommandRNF{mathrm{RNF}}newcommandnum{mathrm{number}}newcommandop{mathrm{operator}}RNF=num,bigvert,RNF,RNF,op$$ and its value $$newcommandeval{operatorname{eval}}evalnum=num$$ $$evalRNF_1,RNF_2,op=evalRNF_1 op evalRNF_2$$ The following pseudo code Read More …
How to prove Transitive property of Reducibility with a TM?
Problem Detail: How can we prove that $h(x) = g(f(x))$ is a reduction function for $A leq_m C$, if $f$ is the reduction function of $A leq_m B$ and $g$ is the reduction function for $B leq_m C$ The given Proposition Read More …
Language acceptance by DFA
Problem Detail: I have some questions regarding acceptance of a language by DFA Whether more that one dfa accept a language Whether a dfa can accept more than one language Asked By : user5507 Answered By : Ran G. To expand Luke’s answer Read More …
Hex Bit Pattern to IEEE 754 standard Floating Point Number
Problem Detail: The question asks for the decimal number that 0x0C000000 represents if it is a floating number. I’m not too sure on how to approach this, but here’s my thought process: 0x0C000000 = 0000 1100 0000 0000 0000 0000 0000 Read More …
