Theory of computation | lit.salon