Author: ignougroup

Problem Detail: I am really struggling with determining the decidability of languages and cant figure out whether this problem is decidable or not. I have a language $qquaddisplaystyle L = { (R(M_1), R(M_2)) mid L(M_1) cap L(M_2) = emptyset }$, where Read More …

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 …

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 …

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 …

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 …

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 …

Problem Detail: I saw in this video that computing clustering coefficient of central node of a star graph using the following algorithm is $Theta(n^2)$ and for a clique it is $Theta(n^3)$. is that correct? def clustering_coefficient(G,v): neighbors = G[v].keys() if len(neighbors) Read More …

Problem Detail: This is a question about recurrence relation that contains sum inside the recursion.I am totally stuck. Can anyone help? The problem asks to solve the following recursion $T(n)=frac{1}{n} sum_{i=1}^{n-1}(T(i)+T(n-i))+cn$. The problem also warns that unwrapping is going to be Read More …

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 …