Stack Exchange Network

Stack Exchange network consists of 176 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
Loading…
  1. 0
  2. +0
    • Tour Start here for a quick overview of the site
    • Help Center Detailed answers to any questions you might have
    • Meta Discuss the workings and policies of this site
    • About Us Learn more about Stack Overflow the company
    • Business Learn more about hiring developers or posting ads with us
  3. Log in Sign up
  4. current community

    • Computer Science
      help chat
    • Computer Science Meta

    your communities

    Sign up or log in to customize your list.

    more stack exchange communities

    company blog
Computer Science
  1. Home
    1. Questions
    2. Tags
    3. Users
    4. Unanswered
    5. Jobs
Profile Activity
Meta user
Network profile
Cilenco

Reputation

375
  • 385
  • 254
  • 123
  • 2018
  • 2019
  • 2020
  • 2021

Top tag

graphs

Next privilege

500 Rep.
Access review queues

Badges

1
8

Newest

 Popular Question

Next badge

0/1
Critic

Impact

~3k
people reached
0 posts edited
0 helpful flags
8 votes cast
Summary Answers Questions Tags Badges Bookmarks Bounties Reputation All actions

11 Questions

Votes Activity Newest Views
2
5
votes
1
answer
498
views

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

formal-languages context-free reference-request undecidability
May 18 '19 at 18:13 John L. 24.9k
 
5
votes
1
answer
73
views

Problem with definition of bisimilarity

formal-methods process-algebras
Mar 19 '19 at 12:39 Shaull 15.2k
 
3
votes
1
answer
120
views

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

formal-languages reference-request pushdown-automata
May 21 '19 at 8:16 Yuval Filmus 247k
 
3
votes
1
answer
74
views

Nested word automatons

finite-automata
Mar 11 '19 at 4:44 John L. 24.9k
 
3
votes
0
answers
25
views

Automaton without stack for visibly pushdown languages

formal-languages pushdown-automata
Mar 6 '19 at 17:22 Cilenco 375
 
2
votes
2
answers
124
views

Why is LTL Model Checking in PSPACE

complexity-theory linear-temporal-logic
Jan 31 '19 at 16:50 DCTLib 2,647
 
2
votes
1
answer
92
views

Is a Petri net without places well-defined?

automata petri-nets
Oct 20 '15 at 7:17 Community♦ 1
 
1
vote
1
answer
43
views

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

turing-machines finite-automata
May 21 '19 at 16:21 Yuval Filmus 247k
 
1
vote
2
answers
1k
views

Show that NP is not equal to SPACE(n)

complexity-theory time-complexity space-complexity
Jun 24 '18 at 15:55 Yuval Filmus 247k
 
0
votes
0
answers
53
views

Space complexity for accepting word decision problem of DFAs

complexity-theory finite-automata space-complexity
Jan 21 '19 at 12:08 Raphael♦ 69.3k
 
0
votes
1
answer
154
views

Model Checking CTL* algorithm

model-checking
Jan 7 '19 at 19:13 J.Svejda 106
Computer Science
  • Tour
  • Help
  • Chat
  • Contact
  • Feedback
  • Mobile
Company
  • Stack Overflow
  • For Teams
  • Advertise With Us
  • Hire a Developer
  • Developer Jobs
  • About
  • Press
  • Legal
  • Privacy Policy
  • Terms of Service
Stack Exchange
Network
  • Technology
  • Life / Arts
  • Culture / Recreation
  • Science
  • Other
  • Stack Overflow
  • Server Fault
  • Super User
  • Web Applications
  • Ask Ubuntu
  • Webmasters
  • Game Development
  • TeX - LaTeX
  • Software Engineering
  • Unix & Linux
  • Ask Different (Apple)
  • WordPress Development
  • Geographic Information Systems
  • Electrical Engineering
  • Android Enthusiasts
  • Information Security
  • Database Administrators
  • Drupal Answers
  • SharePoint
  • User Experience
  • Mathematica
  • Salesforce
  • ExpressionEngine® Answers
  • Stack Overflow em Português
  • Blender
  • Network Engineering
  • Cryptography
  • Code Review
  • Magento
  • Software Recommendations
  • Signal Processing
  • Emacs
  • Raspberry Pi
  • Stack Overflow на русском
  • Code Golf
  • Stack Overflow en español
  • Ethereum
  • Data Science
  • Arduino
  • Bitcoin
  • Software Quality Assurance & Testing
  • Sound Design
  • Windows Phone
  • more (28)
  • Photography
  • Science Fiction & Fantasy
  • Graphic Design
  • Movies & TV
  • Music: Practice & Theory
  • Worldbuilding
  • Video Production
  • Seasoned Advice (cooking)
  • Home Improvement
  • Personal Finance & Money
  • Academia
  • Law
  • Physical Fitness
  • Gardening & Landscaping
  • Parenting
  • more (10)
  • English Language & Usage
  • Skeptics
  • Mi Yodeya (Judaism)
  • Travel
  • Christianity
  • English Language Learners
  • Japanese Language
  • Chinese Language
  • French Language
  • German Language
  • Biblical Hermeneutics
  • History
  • Spanish Language
  • Islam
  • Русский язык
  • Russian Language
  • Arqade (gaming)
  • Bicycles
  • Role-playing Games
  • Anime & Manga
  • Puzzling
  • Motor Vehicle Maintenance & Repair
  • Board & Card Games
  • Bricks
  • Homebrewing
  • Martial Arts
  • The Great Outdoors
  • Poker
  • Chess
  • Sports
  • more (16)
  • MathOverflow
  • Mathematics
  • Cross Validated (stats)
  • Theoretical Computer Science
  • Physics
  • Chemistry
  • Biology
  • Computer Science
  • Philosophy
  • Linguistics
  • Psychology & Neuroscience
  • Computational Science
  • more (10)
  • Meta Stack Exchange
  • Stack Apps
  • API
  • Data
  • Blog
  • Facebook
  • Twitter
  • LinkedIn
  • Instagram

site design / logo © 2021 Stack Exchange Inc; user contributions licensed under cc by-sa. rev 2021.3.5.38726