Linguistics, Turing Completeness, and teh lulz - Boing Boing
►http://boingboing.net/2011/12/28/linguistics-turing-completene.html
Hard-to-parse protocols require complex parsers. Complex, buggy parsers become weird machines for exploits to run on. Help stop weird machines today: Make your protocol context-free or regular!
Protocols and file formats that are Turing-complete input languages are the worst offenders, because for them, recognizing valid or expected inputs is UNDECIDABLE: no amount of programming or testing will get it right.
A Turing-complete input language destroys security for generations of users. Avoid Turing-complete input languages!
Occupy Babel! ►http://www.cs.dartmouth.edu/~sergey/langsec/occupy