babou's user avatar
babou's user avatar
babou's user avatar
babou
  • Member for 10 years, 11 months
  • Last seen more than a week ago
20 votes
4 answers
3k views

Defining the halting problem for non-deterministic automata

7 votes
1 answer
2k views

How are REGEXP implemented in programming languages?

6 votes
1 answer
566 views

Can a probabilistic Turing Machine compute an uncomputable number?

4 votes
3 answers
332 views

Splicing squares on a Turing Machine finite tape

3 votes
1 answer
65 views

How to state that a complexity bound does not depend on a given parameter size?

3 votes
0 answers
55 views

A syntactic property of computing systems: is non-coding DNA universal?

3 votes
1 answer
877 views

Language independent software libraries

3 votes
1 answer
127 views

When was the terminology *tracing collector* introduced to denote both mark-and-sweep and copy collectors

2 votes
0 answers
69 views

What kind of structural features of strings can be described by regular grammars?

2 votes
0 answers
111 views

What is hiding behind amortized constant delay enumeration?

2 votes
2 answers
238 views

Is Newton's Method to compute the zeros of a function an algorithm?

2 votes
0 answers
100 views

How does a minimal DFA ensure minimal computational cost?