Stack Exchange Network

Stack Exchange network consists of 174 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,256
reputation
1
18
46

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.

242
answers
2
questions
~330k
people reached

Communities (6)

Top Network Posts

Top Tags (122)

Score 196
Posts 44
Posts % 18
Score 168
Posts 37
Score 159
Posts 26
Score 149
Posts 26
Score 143
Posts 34
Score 120
Posts 23
View all tags →

Top Posts (244) 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
17 Finite state automata: final states Jun 4 '18
17 Is Dijkstra's algorithm just BFS with a priority queue? Feb 24 '13
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 (65)

Gold

1

Rarest

Silver

18

Rarest

Bronze

46

Rarest

View all badges →