CforLinux 's user avatar
CforLinux 's user avatar
CforLinux 's user avatar
CforLinux
  • Member for 2 years, 2 months
  • Last seen this week
0 votes
0 answers
14 views

$A\in LSPACE \Longrightarrow CYCLE(A)\in LSPACE$

1 vote
1 answer
49 views

Enumerator for $L=\{0^{3^n}| n\ge 0\}$

0 votes
1 answer
99 views

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

0 votes
0 answers
99 views

Is there linear solution for the hotel problem

0 votes
0 answers
112 views

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

2 votes
1 answer
40 views

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

2 votes
2 answers
82 views

Prove irregularity of a language using closure properties

3 votes
1 answer
43 views

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

1 vote
2 answers
27 views

Construct a regular expression for a specified language

3 votes
2 answers
306 views

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

0 votes
0 answers
33 views

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

1 vote
2 answers
236 views

sort array with some of the elements in a known range

0 votes
0 answers
70 views

Calculating the expected height of a randomly built binary search tree

0 votes
0 answers
165 views

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

0 votes
1 answer
59 views

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

0 votes
0 answers
76 views

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