Profile Activity

Cilenco

Network profile

Reputation

385

385
254
123

2017
2018
2019
2020

Top tag

graphs

Next privilege

500 Rep.

Access review queues

Badges

1

7

Newest

Yearling

Next badge

0/1

Impact

0 posts edited

0 helpful flags

8 votes cast

Summary Answers Questions Tags Badges Favorites Bounties Reputation All actions

11 Questions

Views Newest Activity Votes

2

5

votes

1

answer

266

views

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

formal-languages context-free reference-request undecidability

May 18 at 18:13 John L. 20.2k

5

votes

1

answer

62

views

Problem with definition of bisimilarity

formal-methods process-algebras

Mar 19 at 12:39 Shaull 14.1k

3

votes

1

answer

39

views

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

formal-languages reference-request pushdown-automata

May 21 at 8:16 Yuval Filmus 215k

3

votes

1

answer

63

views

Nested word automatons

finite-automata

Mar 11 at 4:44 John L. 20.2k

3

votes

0

answers

25

views

Automaton without stack for visibly pushdown languages

formal-languages pushdown-automata

Mar 6 at 17:22 Cilenco 385

3

votes

2

answers

84

views

Why is LTL Model Checking in PSPACE

complexity-theory linear-temporal-logic

Jan 31 '19 at 16:50 DCTLib 2,452

2

votes

1

answer

76

views

Is a Petri net without places well-defined?

automata petri-nets

Oct 20 '15 at 7:17 Raphael♦ 66.8k

1

vote

1

answer

39

views

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

turing-machines finite-automata

May 21 at 16:21 Yuval Filmus 215k

1

vote

2

answers

640

views

Show that NP is not equal to SPACE(n)

complexity-theory time-complexity space-complexity

Jun 24 '18 at 15:55 Yuval Filmus 215k

0

votes

0

answers

45

views

Space complexity for accepting word decision problem of DFAs

complexity-theory finite-automata space-complexity

Jan 21 '19 at 12:08 Raphael♦ 66.8k

0

votes

1

answer

87

views

Model Checking CTL* algorithm

model-checking

Jan 7 '19 at 19:13 J.Svejda 106

Computer Science Stack Exchange works best with JavaScript enabled