python windows winapi mfc asked Jun 10, 2011 at 22:18

formal-languages turing-machines logic proof-techniques undecidability asked Jun 6, 2013 at 16:25

math-mode editors scripts asked May 24, 2013 at 21:49

fl.formal-languages automata-theory time-complexity polynomial-time decidability asked Jun 16, 2014 at 17:37

game-of-thrones asked Jul 18, 2016 at 20:54

minted sourcecode asked Mar 10, 2016 at 20:56

reference-request fl.formal-languages automata-theory context-free context-free-languages asked Jul 18, 2013 at 17:42

algorithms complexity-theory reference-request np-complete integer-programming asked Jan 24, 2015 at 14:45

audio devices alsa recording asked Jun 15, 2013 at 4:47

complexity-theory formal-languages reference-request automata finite-automata asked Jul 26, 2013 at 22:35