Lee's user avatar
Lee's user avatar
Lee's user avatar
Lee
  • Member for 11 years, 8 months
  • Last seen more than a month ago
9 votes

Why isn't it simple to count the number of words in a regular language?

8 votes
Accepted

Upper bound of of fib(n+2)

7 votes

Intuitive explanation of Hoare assignment axiom

6 votes

Solving divide & conquer reccurences if the split-ratio depends on $n$

6 votes
Accepted

Why aren't existential types implemented in any mainstream language?

5 votes

Number of balanced binary trees (The Art of Computer Programming)

5 votes
Accepted

Understanding this answer: A CFG defines a language as a the smallest solution to a system of language equations

5 votes

Can we express the program to find last element of a list as a catamorphism?

4 votes
Accepted

Showing Optimal Substructure for Stacking Boxes DP Problem?

4 votes
Accepted

How to use structural induction to prove law on lists

3 votes

Find an upper bound for a Linear Recurrence

3 votes

What is meant by "uneven spacing" on number line when dealing with floating point numbers in computers?

3 votes
Accepted

Dynamic Programming Help

3 votes

Construct non-recursive predictive parser for grammar $S \to Aa \mid b A c \mid Bc \mid bBa, A \to d, B \to d$

2 votes
Accepted

Comparing two recurrence relations w.r.t. asymptotic growth

2 votes
Accepted

Combinatorics approach to staircase problem

1 vote
Accepted

Accounting method amortized analysis of a sequence of operations (CLRS 17.2-2)

1 vote
Accepted

Efficiently find maximum XOR on a graph

1 vote

Eliminate left recursion from grammar

0 votes

Could we write $(a+b)^* = (\epsilon + a + b)^+$?