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
user3472798

Reputation

421
  • 431
  • 321
  • 211
  • 2018
  • 2019
  • 2020
  • 2021

Top tag

turing-machines

Next privilege

500 Rep.
Access review queues

Badges

1
5
9

Newest

 Notable Question

Next badge

0/1
Critic

Impact

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

9 Questions

Votes Activity Newest Views
6
12
votes
3
answers
29k
views

How does an NFA use epsilon transitions?

automata finite-automata nondeterminism
Sep 8 '16 at 13:44 Community♦ 1
3
6
votes
2
answers
10k
views

What is an “encoding” of a TM?

turing-machines automata reductions encoding-scheme
Nov 18 '15 at 12:07 Raphael♦ 69.2k
 
6
votes
2
answers
3k
views

What is 'halting'?

terminology computability turing-machines
Feb 11 '15 at 8:25 Raphael♦ 69.2k
 
2
votes
3
answers
113
views

Graph cycles on 40 vertices

algorithms graphs polynomial-time search-problem
Mar 9 '15 at 19:36 Community♦ 1
 
1
vote
1
answer
85
views

Unification Functions

artificial-intelligence unification
Nov 15 '15 at 3:12 D.W.♦ 128k
 
1
vote
0
answers
42
views

Proving that a language is regular [duplicate]

formal-languages
Oct 5 '15 at 3:58 user3472798 421
1
1
vote
1
answer
1k
views

MIPS with one read port in the register file?

computer-architecture
Mar 10 '15 at 11:37 Wandering Logic 16.6k
1
1
vote
1
answer
173
views

number of different undirected graphs?

graphs
Apr 5 '14 at 1:37 Yuval Filmus 246k
 
0
votes
1
answer
471
views

Proving that it's decidable whether a TM ever moves on the blank input

computability turing-machines
Feb 6 '15 at 20:50 David Richerby 78.6k
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.2.26.38670