Theory of visual languages