Computer Science
Meta user
Network profile
791
reputation
3
6

phs

I am a senior researcher in computer science.
22
answers
0
questions
~16k
people reached
  • Paris, France
  • Member for 6 years, 3 months
  • 34 profile views
  • Last seen Feb 17 at 13:43

Communities (29)

Top network posts

Top tags (42)

Score 17
Posts 4
Posts % 18
Score 13
Posts 4
Score 12
Posts 3
Score 11
Posts 1
Score 11
Posts 1
Score 10
Posts 2
View all tags →

Top posts (22) All Questions Answers | Votes Newest

11 Is Post Correspondence Problem in NP? Nov 16 '15
9 Class of the language only containing the empty string? Nov 25 '15
8 If the universe were predetermined, would non-deterministic automata still make sense? Nov 14 '15
5 if $\delta(q, a) = q$ for all symbols $a$, show that $\delta^* (q, w) = q$ is true for all strings $w$ Nov 12 '15
4 Few Big O example Jul 26 '13
2 Termination of a composition of terminating functions Dec 2 '16
2 Proof for Transitivity of Weak Bisimulation ≈ Nov 30 '15
2 Do recursive algorithms generally perform better than their for-loop counterpart? Sep 9 '15
2 What is the difference (if any) between transition systems and finite automata? Sep 6 '15
2 Prove that two different concatenations of relations are equivalent Nov 7 '13
View all questions and answers →

Badges (9)

Gold

—

Silver

3

Rarest

Bronze

6

Rarest

View all badges →