Cilenco's user avatar
Cilenco's user avatar
Cilenco's user avatar
Cilenco
  • Member for 7 years, 7 months
  • Last seen more than a month ago
  • Germany
5 votes
1 answer
105 views

Problem with definition of bisimilarity

5 votes
1 answer
2k views

How to prove the emptiness of intersection of two context free languages is undecidable?

3 votes
1 answer
244 views

Proof emptiness for PDA is $\mathcal{O}(n^3)$

3 votes
0 answers
30 views

Automaton without stack for visibly pushdown languages

3 votes
1 answer
104 views

Nested word automatons

2 votes
1 answer
122 views

Is a Petri net without places well-defined?

2 votes
2 answers
232 views

Why is LTL Model Checking in PSPACE

2 votes
2 answers
2k views

Show that NP is not equal to SPACE(n)

1 vote
1 answer
171 views

Efficiently deciding whether TM accepts all inputs in at most $k$ steps

0 votes
1 answer
206 views

Model Checking CTL* algorithm

0 votes
0 answers
87 views

Space complexity for accepting word decision problem of DFAs