Problem Detail: I had a question on an assignment where we were supposed to write a regular expression for a language where every $a$ in $w$ is immediately preceded and followed by a $b$. My answer was $epsilon + (b + Read More …
Category: Uncategorized
[Solved]: Do Kernel-Mode Windows Services Considered Part of Kernel?
Problem Detail: I learned that there are two types of services in Windows , one called -service- which is in user-mode , other is called -driver service / device driver– which is in kernel-mode. What I wonder is , do kernel-level Read More …
[Solved]: Is the DPLL algorithm complexity in terms of # of clauses or # of variables?
Problem Detail: I’m a bit confused how worst case complexity is estimated for the DPLL algorithm. Is it in terms of number of clauses, number of variables, or something else? Asked By : Rich Answered By : Kyle Jones In the papers I’ve Read More …
[Solved]: Halting problem without input?
Problem Detail: I’m only a layman therefore only discuss stuff naïvely. I read some introductory articles about halting problems with a scenario that if there were such a decider accessible to us, we should be able to solve some unsolved mathematical Read More …
[Solved]: Product of a Transition System and a Finite Automaton
Problem Detail: Dealing with a question that asks me to compute the product of the following transition system and finite automaton. Compute the product between the transition system TS and the finite-word automaton A depicted below. Can’t seem to find a Read More …
[Solved]: Infinite chain of big $O’s$
Problem Detail: First, let me write the definition of big $O$ just to make things explicit. $f(n)in O(g(n))iff exists c, n_0gt 0$ such that $0le f(n)le cg(n), forall nge n_0$ Let’s say we have a finite number of functions: $f_1,f_2,dots f_n$ Read More …
[Solved]: Characterization of lambda-terms that have union types
Problem Detail: Many textbooks cover intersection types in the lambda-calculus. The typing rules for intersection can be defined as follows (on top of the simply typed lambda-calculus with subtyping): $$ dfrac{Gamma vdash M : T_1 quad Gamma vdash M : T_2} Read More …
[Solved]: How does the processor find kernel code after an interrupt?
Problem Detail: When an interrupt occurs, the processor preempts the current process and calls kernel code to handle the interrupt. How does the processor know where to enter the kernel? I understand that there are interrupt handlers which can be installed Read More …
[Solved]: Q-learning in a Dynamic environment
Problem Detail: I am new to reinforcement learning. Lately, I have learned Q-learning using the following tutorial. Is Q-learning still possible if the environment is dynamic. Using the environment of the tutorial as an example, in some states it is possible Read More …
[Solved]: Find Divisible Sum Pairs in an array in O(n) time
Problem Detail: You are given an array of n integers a0, a1, .. an and a positive integer k. Find and print the number of pairs (i,j) where i<j and i+j is evenly divisible by k (Which is i+j % k Read More …
