Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

  7. current community

    your communities

    more stack exchange communities

    company blog
Computer Science
Meta user
Network profile
13,361
reputation
1
21
49

Shaull

Postdoc at Oxford University, UK.

Research interests: Dynamical Systems, Formal Verification, Temporal Logic, Automata Theory, Weighted Automata and Weighted Logics, and all things theoretical.

243
answers
2
questions
~366k
people reached

Communities (6)

Top network posts

Top tags (123)

Score 196
Posts 44
Posts % 18
Score 169
Posts 37
Score 159
Posts 26
Score 149
Posts 26
Score 144
Posts 34
Score 121
Posts 23
View all tags →

Top posts (245) All Questions Answers | Votes Newest

37 Can a language have more than one DFA? Feb 3 '16
27 What's an example of an unsatisfiable 3-CNF formula? Jan 30 '14
18 Is Dijkstra's algorithm just BFS with a priority queue? Feb 24 '13
17 Finite state automata: final states Jun 4 '18
16 Flaw in my NP = CoNP Proof? Mar 12 '13
15 Construct two functions $f$ and $g$ satisfying $f \ne O(g), g \ne O(f)$ Mar 16 '13
15 Is there an efficient test for if an NFA accepts a subset of another NFA? Feb 20 '13
13 Is it decidable whether a given context free grammar generates an infinite number of strings? Jan 31 '16
13 Are turing machine really countable? Sep 22 '13
12 Without using pumping lemma, can we determine if $A =\{ww \mid w \in \{0,1\}^* \}$ is non regular? May 3 '13
View all questions and answers →

Badges (71)

Gold

1

Rarest

Silver

21

Rarest

Bronze

49

Rarest

View all badges →