user avatar
user avatar
user avatar
Algebruh
  • Member for 3 years
  • Last seen more than a week ago
  • Germany
3 votes
2 answers
604 views

Proof that L^2 is regular => L is regular

3 votes
1 answer
139 views

Regular expression vs rational expression

3 votes
1 answer
79 views

Is there a book with 100 reductions?

2 votes
1 answer
72 views

How to reduce EQU to UNI?

1 vote
1 answer
43 views

Description for languages that can be solved in time(n)?

1 vote
0 answers
27 views

The purpose of the splitting lemma for $\mathsf{SF(\Sigma^*})$

1 vote
1 answer
50 views

Why is $\mathsf{QP}$-hardness impossible?

1 vote
0 answers
27 views

How to reduce $\overline{K} \leq L$, or how to show semi-decidability of a given language?

0 votes
1 answer
23 views

Partitions of star-free languages and questions on the proof of the Splitting Lemma by Diekert/Gastin

0 votes
0 answers
22 views

Are there more succint algorithm for translating NFA's to DFA's?