Stack Exchange

jmad

top accounts reputation activity favorites subscriptions
Top Questions
Top Answers
21
How to prove that a language is not context-free?
cs.stackexchange.com

16
Counting sort on non-integers - why not possible?
cs.stackexchange.com

13
Is there a difference between $\lambda xy.xy$ and $\lambda x.\lambda y.xy$?
cs.stackexchange.com

12
How to convert finite automata to regular expressions?
cs.stackexchange.com

11
How hard is counting the number of simple paths between two nodes in a directed graph?
cs.stackexchange.com

11
Are Turing machines more powerful than pushdown automata?
cs.stackexchange.com

10
Characterization of lambda-terms that have union types
cs.stackexchange.com

10
Random Sudoku generator
cs.stackexchange.com

10
When are two simulations not a bisimulation?
cs.stackexchange.com

10
Decide whether a context-free languages can be accepted by a deterministic pushdown automaton
cs.stackexchange.com

9
How to go from a recurrence relation to a final complexity
cs.stackexchange.com

9
What does “dummy argument” mean?
cs.stackexchange.com

8
CCS process for a drink dispenser with two different prices
cs.stackexchange.com

8
Logic gates from everyday materials
cs.stackexchange.com

8
Alpha-Beta Pruning with simultaneous moves?
cs.stackexchange.com

8
Representing Negative and Complex Numbers Using Lambda Calculus
cs.stackexchange.com

8
what is semantics?
cs.stackexchange.com

7
Notions of efficient computation
cs.stackexchange.com

7
How can I prove this language is not context-free?
cs.stackexchange.com

7
Rule of thumb to know if a problem could be NP-complete
cs.stackexchange.com

7
Making random sources uniformly distributed
cs.stackexchange.com

7
Criteria for selecting language for first programming course
cs.stackexchange.com

7
Machine Learning algorithms based on “structural risk minimization”?
cs.stackexchange.com

7
Testing Polygon for Monotonicity with respect to any arbitrary line
cs.stackexchange.com

7
Does High Order Functions provide more power to Functional Programming?
cs.stackexchange.com

7
Result of the product $0.9 \times 0.99 \times 0.999 \times …$
math.stackexchange.com

6
Language of the values of an affine function
cs.stackexchange.com

6
Turn one string into another with single letter substitions
cs.stackexchange.com

6
Does there exist any work on creating a Real Number/Probability Theory Framework in COQ?
cs.stackexchange.com

6
How to convert finite automata to regular expressions?
cs.stackexchange.com

1 2