I love every beautifully thing, the moon, the stars and galaxies, Orion, mathematics, pi and Euler numbers, Linux os, puzzles, clouds, cloud computation, Rice's Theorem, Quantum theory, Latex, computer science, ants, ... and the world!
2 Use Rice's theorem to show that the language of optimisable Turing machines is undecidable jul 30 '13
1 How to show that given language is unambiguous dec 21 '12
-1 Is this strange language context free? jun 15 '13