User Brent

182 votes

14 answers

68k views

Why, really, is the Halting Problem so important?

asked Nov 8, 2014 at 16:44

16 votes

1 answer

6k views

Why separate lexing and parsing?

asked Feb 28, 2015 at 7:21

6 votes

4 answers

975 views

Free description of the Kameda-Weiner algorithm?

asked Aug 3, 2013 at 18:57

5 votes

2 answers

190 views

Modeling concurrent algorithms

asked Feb 5, 2015 at 20:35

5 votes

2 answers

732 views

Canonical representation of programs

asked Oct 18, 2015 at 15:40

4 votes

0 answers

865 views

Examples of the axes of the lambda cube

asked Sep 13, 2016 at 18:01

4 votes

1 answer

2k views

Can the plus operator in regex be replaced by the star operator?

asked Jul 27, 2013 at 21:19

4 votes

1 answer

60 views

Research regarding algorithm generation/discovery/heuristics

asked Apr 13, 2015 at 4:07

4 votes

1 answer

103 views

How do the non-∪ variants of NFAs work?

asked Aug 4, 2013 at 4:55

4 votes

4 answers

754 views

Using a computer algebra system to optimize mathematical expressions

asked May 17, 2013 at 18:24

2 votes

1 answer

1k views

If a parser can parse a non-deterministic grammar, is the parser non-deterministic?

asked Jul 22, 2013 at 17:38

1 vote

1 answer

113 views

What is this operator in "The Temporal Logic of Programs" Pnueli 1977?

asked Nov 2, 2017 at 20:37

1 vote

1 answer

631 views

How do I find depth and height of all nodes in a bounded semilattice?

asked Dec 10, 2017 at 23:52

1 vote

0 answers

17 views

How Should I Disambiguate Symbols for Type Placeholders and the Free Monoid Operator?

asked May 18, 2021 at 20:36

0 votes

1 answer

27 views

Formal Description Of Data Structure For Infinite Sets Of Reals

asked May 19, 2021 at 20:53

Stack Exchange Network

15 Questions

Why, really, is the Halting Problem so important?

Why separate lexing and parsing?

Free description of the Kameda-Weiner algorithm?

Modeling concurrent algorithms

Canonical representation of programs

Examples of the axes of the lambda cube

Can the plus operator in regex be replaced by the star operator?

Research regarding algorithm generation/discovery/heuristics

How do the non-∪ variants of NFAs work?

Using a computer algebra system to optimize mathematical expressions

If a parser can parse a non-deterministic grammar, is the parser non-deterministic?

What is this operator in "The Temporal Logic of Programs" Pnueli 1977?

How do I find depth and height of all nodes in a bounded semilattice?

How Should I Disambiguate Symbols for Type Placeholders and the Free Monoid Operator?

Formal Description Of Data Structure For Infinite Sets Of Reals