Problem Detail: I am trying to learn about applying the pumping lemma and I’m not really sure how to go about proving this language isn’t regular with the pumping lemma: $L= {0^n 1^m space | space m equiv 0 space mod Read More …
Blog
[Solved]: Is it possible to do Dependent Types in Typed Racket?
Problem Detail: Is it possible to use Dependent Types in the existing Typed Racket implementation? (ie do they exist in it?) Is it reasonably possible to implement a Dependent Types System using Typed Racket? Asked By : hawkeye Answered By : hawkeye Dependent Read More …
[Solved]: Predicate Logic Notation: What does a “dot” mean?
Problem Detail: What does a dot (.) mean in predicates? $forall a in A. exists d in D. H(a,d)$ Especially, how is the above different to $ exists d in D. forall a in A. H(a,d)$ I’ve never seen this used Read More …
[Solved]: Why does merge sort run in $O(n^2)$ time?
Problem Detail: I have been learning about Big O, Big Omega, and Big Theta. I have been reading many SO questions and answers to get a better understanding of the notations. From my understanding, it seems that Big O is the Read More …
[Solved]: Automata that recognizes Kleene closure of permutations of three symbols
Problem Detail: This is an automata theory homework question. I need to create DFA that meets the following criteria: Alphabet $Sigma = { a, b, c }$ Machine accepts empty string and strings of length that is a multiple of three, Read More …
[Solved]: distance between histograms
Problem Detail: I have 2 histograms that represent the height of characters in 2 images. example: 1 ** 2 **** 3 **** . . . 100 ****** For these 2 histograms I compute the peaks. And To check if these 2 Read More …
[Solved]: Lambda calculus outside functional programming?
Problem Detail: I’m a university student, and we’re currently studying Lambda Calculus. However, I still have a hard time understanding exactly why this is useful for me. I realize if you do loads of functional programming it might be useful, however Read More …
[Solved]: Any very user friendly resources on the Baum-Welch algorithm?
Problem Detail: I’d like to understand the Baum-Welch algorithm. I liked this video on the Forward-Backward algorithm so I’d like a similar one for Baum-Welch. I’m having trouble coming up with good resources for Baum-Welch. Any ideas? Asked By : Walrus the Read More …
[Solved]: Constructing a random Hamiltonian Cycle (Secret Santa)
Problem Detail: I was programming a little Secret Santa tool for my extended family’s gift exchange. We had a few constraints: No recipients within the immediate family Nobody should get who they got last year The whole thing should be a Read More …
[Solved]: Handling dead state in NFA to DFA conversion
Problem Detail: I want to convert below NFA into DFA: I prepared below tables and finally the NFA: NFA However I feel I am wrong here, since original NFA does not have any transitions defined for state C and my final Read More …
