User babou - Computer Science Stack Exchange

babou

Member for 10 years, 6 months
Last seen more than a week ago

12 Questions

Score Activity Newest Views

20 votes

4 answers

3k views

Defining the halting problem for non-deterministic automata

asked Jul 7, 2015 at 22:10

7 votes

1 answer

2k views

How are REGEXP implemented in programming languages?

asked Mar 26, 2014 at 17:01

6 votes

1 answer

553 views

Can a probabilistic Turing Machine compute an uncomputable number?

asked Apr 8, 2015 at 22:08

4 votes

3 answers

326 views

Splicing squares on a Turing Machine finite tape

asked May 3, 2015 at 20:47

3 votes

1 answer

64 views

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

asked May 18, 2015 at 11:37

3 votes

0 answers

51 views

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

asked Jun 25, 2015 at 12:57

3 votes

1 answer

870 views

Language independent software libraries

asked Jun 3, 2013 at 16:40

3 votes

1 answer

126 views

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

asked Feb 10, 2015 at 15:42

2 votes

0 answers

69 views

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

asked Feb 20, 2014 at 16:22

2 votes

0 answers

110 views

What is hiding behind amortized constant delay enumeration?

asked Apr 2, 2014 at 10:58

2 votes

2 answers

235 views

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

asked Nov 1, 2014 at 18:03

2 votes

0 answers

100 views

How does a minimal DFA ensure minimal computational cost?

asked Apr 13, 2015 at 17:21