Problem Detail: I’m trying to prove that the following CFG can be converted to a CNF: S->aAB A->aAa A->bb B->a Here below is how i’ve managed so far: Step 1: add a new start state: S0->S S->aAB A->aAa A->bb B->a Step Read More …
Author: ignougroup
[Solved]: Can a functional language be homoiconic?
Problem Detail: According to the wikipedia page on homoiconicity: In a homoiconic language the primary representation of programs is also a data structure in a primitive type of the language itself. I was wondering if the lambda calculus was homoiconic (I Read More …
[Solved]: How to measure processing power of a quantum computer?
Problem Detail: Is there any way to get an equivalent of computing power of quantum computers in terms of computing power of common computers? I mean, how many teraflops (or so) can a quantum computer compute? How can I calculate that Read More …
[Solved]: How do you swap consecutive boxes on a Turing Machine tape?
Problem Detail: I can’t figure out how to swap boxes on a Turing Machine tape. So for example, I have a tape that says a 1 0 1 1 1 0 ^ And I want to move that a over so Read More …
[Solved]: Real life description for (~A->A)->A
Problem Detail: It can be shown that the logical preposition [ :- (~A->A)->A ] is a theorem (always true). I want to know if anybody knows a real life description for the preposition above? I mean an expression in computer, economics, Read More …
[Solved]: What is the complexity of depth first traversal that don’t label nodes as discovered?
Problem Detail: I’ve found an algorithm that acts like a depth first traversal that don’t recognizes nodes that have been visited before. A / B C / D | E If run on this graph, the algorithm will traverse in this Read More …
[Solved]: Lexing and parsing a language with juxtaposition as an operator
Problem Detail: Normal human math notation treats juxtaposition as implied multiplication, e.g., $2x$ means $2$ multiplied by $x$. This does not seem to be a common feature of computer languages, although it was, for example, supposed to be included in the Read More …
[Solved]: What’s the time complexity of Monte Carlo Tree Search?
Problem Detail: I’m trying to find the time complexity of Monte Carlo Tree Search (MCTS). Googling doesn’t help, so I’m trying to see how far I get calculating it myself. It does four steps for n iterations, or before the time Read More …
[Solved]: Combinatory interpretation of lambda calculus
Problem Detail: According to Peter Selinger, The Lambda Calculus is Algebraic (PDF). Early in this article he says: The combinatory interpretation of the lambda calculus is known to be imperfect, because it does not satisfy the $ξ$-rule: under the interpretation, $M Read More …
[Solved]: Why is the PageRank vector also the eigenvector of the web adjacency matrix?
Problem Detail: From wikipedia: The PageRank values are the entries of the dominant eigenvector of the modified adjacency matrix. This makes PageRank a particularly elegant metric Can anyone please elaborate on the connection between the eigenvector and the PR vector? Why Read More …
