Theoretical Computer Science

Nice Answer

 Nice Answer
Answer score of 10 or more. This badge can be awarded multiple times.

earned this badge 12 times.
Existence of an algorithm
Awarded May 31, 2018 at 13:36
Who introduced nondeterministic M-automata, and proved that the finite ones recognize the rational sets over M?
Awarded Jun 7, 2017 at 15:12
Hierarchies in regular languages
Awarded Nov 1, 2016 at 0:36
On the realisation of monoids as syntactic monoids of languages
Awarded Jun 26, 2016 at 12:04
Can I show algebraically that this regular expression accepts all binary strings?
Awarded Dec 3, 2015 at 9:06
"Embedding" a language in itself
Awarded Jun 22, 2015 at 23:17
Minimizing Automata accepting $\omega$-words (i.e. infinite words)
Awarded Jan 6, 2015 at 21:17
How to minimize a FSM transducer?
Awarded Mar 16, 2014 at 4:29
Major unsolved problems in theoretical computer science?
Awarded Jan 31, 2014 at 15:48
Multi-language DFA minimisation
Awarded Sep 6, 2013 at 8:25
Algorithm for ranking members of a regular language?
Awarded Aug 13, 2013 at 9:23
Measurability of an $\omega$-regular language
Awarded Aug 7, 2013 at 14:16

Others with this badge

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.