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

    • Theoretical Computer Science
      help chat
    • Theoretical Computer Science Meta

    your communities

    Sign up or log in to customize your list.

    more stack exchange communities

    company blog
Theoretical Computer Science
  1. Home
    1. Questions
    2. Tags
    3. Users
    4. Unanswered
    5. Jobs
Profile Activity
Meta user
Network profile
Michaël Cadilhac

Reputation

3,776
  • 3.8k
  • 3.4k
  • 3k
  • 2018
  • 2019
  • 2020
  • 2021

Top tag

automata-theory

Next privilege

5,000 Rep.
Approve tag wiki edits

Badges

19
37

Newest

 Yearling

Next badge

0/1
Excavator

Impact

~236k
people reached
7 posts edited
19 helpful flags
130 votes cast
Summary Answers Questions Tags Badges Bookmarks Bounties Reputation All actions

20 Answers

Votes Activity Newest
30
What papers should everyone read?
Sep 12 '10 at 4:02
19
What videos should everybody watch?
Sep 12 '10 at 20:03
16
(False?) proof for computability of a function?
Oct 6 '10 at 17:28
15
Regular language that discriminates between two deterministic CFGs
Dec 16 '17 at 10:38
14
Finding a finite model
Apr 13 '11 at 17:47
12
LogDCFL-complete problems
Sep 14 '10 at 11:51
11
Is the complement of { www | … } context-free?
Jan 12 '19 at 23:25
11
On the realisation of monoids as syntactic monoids of languages
Jun 10 '16 at 9:13
9
A reference for a “more algebraic” approach to pushdown automata and CFLs?
Nov 19 '16 at 0:33
8
Does there exist a hardest DCFL?
Feb 24 '16 at 17:21
8
Is it decidable whether the output length of a transducer is bounded by the input length?
Oct 17 '15 at 17:22
7
Is there an example of a non context-sensitive language?
Feb 22 '11 at 13:50
6
Survey Article on the Theory of Recursive Functions?
Nov 28 '10 at 14:25
6
Reductions from the book.
Aug 31 '10 at 15:51
5
For which $R$ is $\{0^a10^b10^c\mid R(a,b,c)\}$ context-free?
Jan 14 '19 at 17:57
5
What language $L \in NCM$ has $\overline{L} \not \in NCM$?
Jul 30 '14 at 23:38
5
Dinner-table description of theoretical computer science?
Sep 20 '10 at 1:11
3
Are Reversal-bounded Multicounter Machines closed under reversal?
Jun 3 '13 at 18:47
2
Regular expressions aren't
Aug 24 '10 at 1:55
1
Image processing algorithms
Sep 2 '10 at 11:52
Theoretical 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.15.38327