Turing machine for addition and comparison of binary numbers...

Context free grammar for non-palindrome...

Turing Machine - Finding k-th element and move it to the front of the tape...

NPDA for L= {w ∈ {a,b}*: number of a's is twice the number of b's}...

Negative speed up in Amdahl's law?...

NPM Version Range Grammar not regular?...

DFA for all binary strings having even number of 0's or contains exactly two 1's...

a challenging finite automata - what is the language?...

how to find the grammar of this Language?...

Complexity/decidability of the "nested maze" problem?...

Designing a Turing Machine's state table...

Conversion of NFA having a missing transition for any input character on initial state to DFA...

What is the context free grammar for the complement of the double word over 0,1?...

Is constexpr-based computation Turing complete?...

Searching Algorithm: Product Knapsack Problem with goal to find lowest product above a certain thres...

What will be the DFA for (0+1)*?...

Is it possible to write a program with thousand or fewer characters that can generate every possible...

Minimum number of states in a DFA having '1' as the 5th symbol from right...

Closure property of regular languages under concatenation and star operation...

What is the optimum known upper bound on Kolmogorov complexity?...

What is the industry standard for number of clusters for a development team in Databricks?...

Using string of set length with pumping lemma to prove irregularity...

Is it possible to write a prolog interpreter that avoids infinite recursion?...

C++ code example that makes the compile loop forever...

Inversion Counting Algorithm implementation in Python,cannot unpack non-iterable int object...

Confusion about NP-hard and NP-Complete in Traveling Salesman problems...

NFA that does not accept strings ending "101"...

Design a PDA of all strings of 0's and 1's that are not of the form ww^R...

why a^m b^n where m,n > 0 is a regular language but a^n b^n where n > 0 is non regular languag...

Writing lambda calculus higher order recursion scheme in Haskell...