user avatar
user avatar
user avatar
CforLinux
  • Member for 1 year, 5 months
  • Last seen more than a week ago
3 votes
1 answer
40 views

Build an automaton from a given automaton to prove regularity of more complex strings

3 votes
2 answers
175 views

How to build a deterministic finite automaton from a given one with a new definition for automaton language?

2 votes
2 answers
62 views

Prove irregularity of a language using closure properties

2 votes
1 answer
39 views

Irregularity of $\{b^ma^n: (m,n)=1\}$ using Nerode [closed]

1 vote
2 answers
209 views

sort array with some of the elements in a known range

1 vote
2 answers
24 views

Construct a regular expression for a specified language

0 votes
0 answers
53 views

BST deletion of node with 2 children by copying right child to predecessor

0 votes
1 answer
48 views

Finding 2 nodes which sum equals twice their common ancestor in RBT in $\Theta(n\lg n)$

0 votes
0 answers
123 views

Create a data structure with D-SUCCESSOR running in $O(1)$

0 votes
0 answers
46 views

Calculating the expected height of a randomly built binary search tree

0 votes
1 answer
93 views

updating n elements in $O(\lg{n})$ time

0 votes
0 answers
31 views

prove the intersection of a positive closure of a non-regular language and a finite language is a regular language

0 votes
0 answers
55 views

Defining grammar for $L=\{a^ib^ic^jd^j| i \ge j \ge 0\}$

0 votes
0 answers
41 views

Is there linear solution for the hotel problem