Skip to main content
nekketsuuu's user avatar
nekketsuuu's user avatar
nekketsuuu's user avatar
nekketsuuu
  • Member for 7 years, 9 months
  • Last seen more than a week ago
14 votes
Accepted

Why must a Turing Machine that Repeats the Same Configuration Twice be in an Infinite Loop?

6 votes
Accepted

Difference between beta reduction and substitution

5 votes

What kind of formal semantics can describe HTML and CSS?

3 votes
Accepted

Which part of Go(lang) is in Crystal(lang)?

3 votes
Accepted

Push-down Automata Construction

3 votes
Accepted

Push two symbols to stack at once in a push down automata

3 votes
Accepted

Can product DFA for intersection of two disjoint languages be minimal?

2 votes

Can we always transform a set of lines to a function?

2 votes

Finding CNF of $(p \rightarrow q) \rightarrow p$ and $\lnot (q \wedge (\lnot p \rightarrow q)) $

2 votes
Accepted

Does $\Sigma^* \cdot a^nb^n=\Sigma^*$

2 votes
Accepted

Are type abstraction values and universal types not for non functions, but only for functions?

2 votes
Accepted

having issue with numbers in Polymorphic Lambda Calculus

1 vote

How does a computer compute negative(-) and positive(+) Infinity?

1 vote
Accepted

What is the purpose of erasing a type application to a term-application in parametric polymorphism?

1 vote
Accepted

How does this allow list operations to be applied to lists with elements of any type?

1 vote

Proving property of a term using Induction

1 vote

What are some comparative studies on program termination verification tools?

1 vote

Show that NP is not equal to SPACE(n)

1 vote

Is a regular grammar valid if it only contains production rules that have nonterminals in the right operand?

1 vote
Accepted

Why it is not $O(m)$ but $O(\log m)$?

0 votes
Accepted

Big O analysis trying to follow a logic

0 votes

Turing Machine for $\{w\# w ' |$ where $w < w'$ lexicographically, and $w,w'\in \{0,1\}^* \}$