Picture languages: Formal models for picture recognition