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
Patrick87

Reputation

12,329
  • 12.3k
  • 11.4k
  • 10.4k
  • 2018
  • 2019
  • 2020
  • 2021

Top tag

formal-languages

Next privilege

15,000 Rep.
Protect questions

Badges

1
38
72

Newest

 Good Answer

Next badge

67/80
Strunk & White

Impact

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

19 Questions

Votes Activity Newest Views
4
44
votes
2
answers
1k
views

Determining capabilities of a min-heap (or other exotic) state machines

formal-languages automata
Apr 1 '12 at 14:08 Community♦ 1
7
39
votes
2
answers
6k
views

Are there inherently ambiguous and deterministic context-free languages?

formal-languages automata formal-grammars pushdown-automata
Jun 5 '14 at 3:12 vzn 10.6k
5
29
votes
3
answers
2k
views

Do subqueries add expressive power to SQL queries?

database-theory relational-algebra
Jun 6 '13 at 21:52 Erwin Smout 149
5
20
votes
1
answer
530
views

Algorithm to chase a moving target

algorithms probability-theory randomized-algorithms
Apr 10 '13 at 13:45 HdM 818
1
16
votes
2
answers
605
views

How does variance in task completion time affect makespan?

probability-theory scheduling parallel-computing
Dec 7 '13 at 11:20 András Salamon 3,212
 
16
votes
1
answer
541
views

Proving closure under reversal of languages accepted by min-heap automata

formal-languages automata closure-properties
Mar 20 '13 at 4:30 Community♦ 1
1
16
votes
2
answers
501
views

Languages accepted by modified versions of finite automata

formal-languages automata finite-automata
Mar 14 '12 at 18:00 Community♦ 1
 
15
votes
1
answer
1k
views

Computational power of deterministic versus nondeterministic min-heap automata

formal-languages automata nondeterminism
Mar 16 '12 at 18:25 Community♦ 1
2
13
votes
1
answer
728
views

Program synthesis, decidability and the halting problem

turing-machines undecidability halting-problem
Apr 5 '13 at 15:20 Shaull 15.1k
2
13
votes
1
answer
2k
views

Analyzing a modified version of the card-game “War”

algorithms optimization
Mar 29 '12 at 16:31 Dave Clarke 19.6k
5
10
votes
2
answers
279
views

Ordering elements so that some elements don't come between others

algorithms optimization scheduling
May 30 '12 at 7:24 JeffE 8,301
1
10
votes
1
answer
275
views

Analysis of and references for Koch-snowflake-like (and other exotic) network topologies

computer-networks network-topology
May 9 '12 at 16:27 Peter 1,405
 
8
votes
2
answers
7k
views

Algorithm to find optimal currency denominations

algorithms optimization combinatorics integers
Nov 10 '16 at 16:31 Nasiirr Khan 1
1
8
votes
1
answer
598
views

Proving closure under complementation of languages accepted by min-heap automata

formal-languages automata closure-properties
Apr 24 '12 at 7:15 Community♦ 1
1
7
votes
1
answer
431
views

Analyzing load balancing schemes to minimize overall execution time

scheduling distributed-systems parallel-computing
Mar 9 '12 at 17:09 Patrick87 12.3k
1
5
votes
2
answers
189
views

Computational power of nondeterministic type-1 min-heap automata with multiple heaps

formal-languages automata
Dec 2 '12 at 0:05 Community♦ 1
1
4
votes
1
answer
144
views

Power of nondeterministic type-1 min-heap automaton with both a heap and a stack

formal-languages automata
May 9 '14 at 11:44 Community♦ 1
1
4
votes
0
answers
102
views

Computational power of nondeterministic type-2 min-heap automata

formal-languages automata
Apr 1 '12 at 13:42 Community♦ 1
1
3
votes
0
answers
51
views

Minimal regular expression from minimal NFA for finite language in polynomial time?

finite-automata regular-expressions nondeterminism finite-sets
Sep 24 '19 at 0:12 Patrick87 12.3k
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.1.21.38376