Problem Detail: I need to remove indirect left recursion from the following CFG: remove indirect left recursion from the following CFG. $$A → Ba| b$$ $$B → Cd | e$$ $$C → Df | g$$ $$D → Df | Aa | Read More …
Category: Uncategorized
[Solved]: Why doesn’t the binary fraction representation match the decimal fraction representation?
Problem Detail: The Problem: What value does the hexadecimal number x55544552 represent in data type IEEE floating point? My Work: I first wrote out that hexadecimal number in binary and got 0101 0101 0101 0100 0100 0101 0101 0010 Read More …
[Solved]: Compare-and-Swap in an RDBMS for custom locks and lock escalation
Problem Detail: I’m applying the Compare-and-Swap technique to a SQL database to create custom row-level locking in my dataset, allowing for safe READ UNCOMMITTED isolation at the database level. The Resource table includes a LockOwner GUID and a IsLocked BIT field. Read More …
[Solved]: Any path detecting between A to B
Problem Detail: In my world there are nodes and lines, I want to see if there is any path between node A, and node B, that do not cross any line(including the lines of the path itself) and do not go Read More …
[Solved]: Exponential separation between NFAs and DFAs in the presence of unions
Problem Detail: Recently an interesting question was asked and subsequently deleted. For a regular language $L$, its DFA complexity is the size of the minimal DFA accepting it, and its NFA complexity is the size of the minimal NFA accepting it. Read More …
[Solved]: Theory of multi-label classification
Problem Detail: Multi-label classification is a machine-learning problem where each sample can have zero or more labels from a closed set of possible labels. This task has applications in several fields. For example, in dialog systems, each sentence that the human Read More …
[Solved]: Grammatical characterization of deterministic context-free languages
Problem Detail: Deterministic context-free languages are commonly defined using an automaton concept, the (restricted, deterministic) pushdown automaton. To some that is confusing, as the name context-free refers to a grammar type. I seem to remember there exists a characterization of the Read More …
[Solved]: How to simplify boolean expression?
Problem Detail: I am having trouble simplifying logical expressions to a much simpler form, can someone provide me some insight on how to approach the problem? Let’s assume i have the following expression: $ABCD + Abar{B}CD$. I am aware of the Read More …
[Solved]: Finding trading cycles
Problem Detail: Say we have N persons and M items (when a person has a certain item, she usually only has one piece). For example, person 1 has item A, C, D, and wants item F person 2 has item B, Read More …
[Solved]: Reducing A(TM) to some decidable problem
Problem Detail: We know that A(TM) is undecidable, what if we reduce A(TM) to A(DFA) which is decidable? How will we prove that A(DFA) is decidable? I couldn’t find an example or theory. Thanks Asked By : Abdussami Tayyab Answered By : Patrick87 Read More …