frabala's user avatar
frabala's user avatar
frabala's user avatar
frabala
  • Member for 5 years
  • Last seen more than a month ago
6 votes

Two regular languages over the same alphabet, regular or not regular?

5 votes

Difference between assignment, binding, and substitution?

4 votes

Why is the second operation of a Monad called bind?

4 votes
Accepted

Arden's Rule, DFA & NFA to regular expressions

3 votes
Accepted

Give a computation of the expression to normal form (Lambda calculus)

3 votes
Accepted

Free variables in constraint-typing derivation?

2 votes
Accepted

Pumping lemma occurrence of c > d

2 votes

In a NPDA if the stack is empty, where the start/end state are the same can you go again

2 votes

Is λx. a valid Lamda Calculus abstraction?

2 votes
Accepted

Find typing derivation of STLC term with reference types

2 votes
Accepted

Prove that the language $\{a^ib^i | i\geq 0\}$ is not regular? (Do we just consider $a^nb^n$, where $n$ is the pumping length?

2 votes
Accepted

Variable Capturing With Repetition of Variable Name

2 votes
Accepted

PDA with more than one initial state

2 votes
Accepted

NFA-$\epsilon$ extended transition function for inverted strings

2 votes
Accepted

Zigzag concatenation of two languages

1 vote

Is it possible to construct a Turing Submachine such that a regular turing machine can decide whether the TSM halts but the TSM cannot

1 vote

What are Contexts in Lambda Calculus?

1 vote
Accepted

Sqrt(x) function implementation; what is $(i^2 \leq x) \land ((i + 1)^2 > x)$ checking?

1 vote
Accepted

converting for loop into mathematical notation

1 vote

Why do we need value-returning functions?

1 vote

Predicate Logic - negating the conclusion to prove logical consequence?

1 vote

what are meta variables in this static analysis book's explanation about types?

0 votes
Accepted

How to describe the language of an automaton in plain English?

0 votes

Large DFA to regex?

0 votes

Over the alphabet {a,b,c,d}, how would i construct a NFA that only accepts strings that end with a letter that is already part of the string?