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. Public
    2. Questions
    3. Tags
    4. Users
    5. Unanswered
    6. Find a Job
    7. Jobs
    8. Companies
    1. Teams
      Stack Overflow for Teams – Collaborate and share knowledge with a private group. Create a free Team What is Teams?
    2. Teams
      What’s this?
    3. Create free Team

Teams

Q&A for work

Connect and share knowledge within a single location that is structured and easy to search.

Learn more
Profile Activity
Meta user
Network profile
zython

Reputation

347
  • 347
  • 342
  • 337
  • Jul
  • Oct
  • Jan
  • Apr

Top tag

computability

Next privilege

500 Rep.
Access review queues

Badges

2
12

Newest

 Popular Question

Next badge

0/1
Critic

Impact

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

14 Questions

Votes Activity Newest Views
 
2
votes
1
answer
284
views

Proving special case of SAT is in P

algorithms satisfiability polynomial-time
Jan 21 '19 at 20:38 Community♦ 1
 
2
votes
1
answer
54
views

Exponential Space Complexity equality

complexity-theory space-complexity
Aug 28 '18 at 20:36 Yuval Filmus 250k
 
3
votes
2
answers
1k
views

PCP undecidability

reductions undecidability
Aug 7 '18 at 21:40 Yuval Filmus 250k
 
0
votes
1
answer
73
views

Build all valid parenthesis in polynomial time

time-complexity dynamic-programming
Jun 7 '18 at 0:08 D.W.♦ 130k
 
0
votes
1
answer
210
views

How to reduce language is finite to language is regular?

formal-languages reductions decision-problem
Feb 26 '18 at 11:36 ttnick 1,109
 
1
vote
1
answer
809
views

Reducing the infinite language problem to halting problem

computability reductions undecidability halting-problem
Feb 25 '18 at 14:08 Yuval Filmus 250k
 
2
votes
2
answers
162
views

What is a “Master-Reduction”?

complexity-theory np-complete reductions
Feb 28 '18 at 9:56 Community♦ 1
 
2
votes
0
answers
47
views

How do I develop a structured work method for theoretical computer science? [closed]

complexity-theory formal-languages computability
Dec 15 '17 at 22:11 zython 347
 
2
votes
1
answer
178
views

What does $|w|$ mean in the statement “ $|w|$ where $w \in L \subset \Sigma^*$”?

formal-languages notation
Apr 10 '18 at 18:23 padawan 1,379
 
1
vote
1
answer
162
views

Maximum value of LOOP-Program turing-computable

computability loops check-my-answer
Dec 19 '17 at 14:28 zython 347
 
1
vote
1
answer
90
views

Construct a computable function from non-computable funciton

computability
Nov 4 '17 at 18:24 Ariel 12.5k
1
2
votes
1
answer
241
views

Show that function is not turing-computable?

computability check-my-answer
Nov 6 '17 at 5:06 Stella Biderman 757
 
3
votes
0
answers
147
views

Do Combinational Logic circuits describe a set of languages?

formal-languages automata chomsky-hierarchy
Aug 2 '17 at 17:24 zython 347
 
2
votes
1
answer
423
views

single tape NTM to single tape DTM equivalence

turing-machines time-complexity nondeterminism
Jun 18 '17 at 14:27 Yuval Filmus 250k
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
  • Cookie Settings
  • Cookie Policy
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.4.20.39106

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.