Problem Detail: Would it be convenient to express semantics of imperative languages (e.g. C) and object-oriented languages (e.g. Java) with $lambda$-calculus? Or in the other words: is $lambda$-calculus a suitable candidate for expressing semantics of all context-sensitive languages? Asked By : Petr Read More …
Category: Uncategorized
[Solved]: Simulating a TM with a 2-head, right moving TM
Problem Detail: Is it possible to simulate a regular Turing Machine with a TM with the following specs? There are two heads, one of which can read, one of which can write Both heads can only move right When a head Read More …
[Solved]: proving $P subseteq PCP(0,O(log(n))$
Problem Detail: I was working on proving this one and I’ve solve one direction as follows : to prove that $P subseteq PCP(0,logn)$ I said : let $M$ be deterministic polynomial TM that accepts $L in P$ ,we want to show Read More …
[Solved]: Difference between the languages accepted by two DFAs with different initial state/accepting states?
Problem Detail: Recently, I asked a question on Math SE. No response yet. This question is related to that question, but more technical details toward computer science. Given two DFAs $A = (Q, Sigma, delta, q_1, F_1)$ and $B = (Q, Read More …
[Solved]: Which part of the computer allocates memory in RAM?
Problem Detail: When we declare a variable there will be a random part of memory will be allocated in RAM. Which component will allocate the memory? Is the processor or any other specific hardware doing the allocation? Asked By : sivashanmugam kannan Read More …
[Solved]: Removing common background in image processing phase for classification
Problem Detail: I’m trying to build a machine learning classifier that can detect which object is in an image. I have a labled training set of images and am currently in the image processing phase. Each of these images has one Read More …
[Solved]: construct a TM from a PDA
Problem Detail: Given a PDA $P=(Q,sum,delta,q_0,F)$ construct formally a TM that accepts $L(P)$. My idea is to construct a Turing machine with 2 tapes, one for the input and the other for the stack. Also to add $q_a$ for accept and Read More …
[Solved]: Expressing that a function converges to 1 with linear rate using Landau notation
Problem Detail: I am working on an algorithm which approximates a certain optimal quantity. The approximation becomes better when the size of the problem ($n$) becomes larger: the difference from the optimum is approximately $1/n$. Initially, I wrote that the algorithm Read More …
[Solved]: Why do some inference engines need human assistance while others don’t?
Problem Detail: I am learning Automated Theorem Proving / SMT solvers / Proof Assistants by myself and post a series of questions about the process, starting here. Why is it that automated theorem provers, i.e. ACL2, and SMT solvers do not Read More …
[Solved]: Computing with the Monster
Problem Detail: The Monster M is the largest of the finite sporadic groups that arises in the classification of finite, simple groups in mathematics. M can be realized as a (very large!) set of 196882 X 196882 matrices with nothing more Read More …
