It is also interesting to consider the problem of translating from one language to another. Semiotic morphisms illuminate some of the difficulties. It will help bring out the issues if we focus on the particularly difficult case of poetry, noting that less severe versions of the same difficulties can arise in any form of language. All of this is easily expressed using sign systems, with various kinds of constructors and relations. For example, iambic pentameter is a particular sign system for syllabification.
Sonnata form plays a similar role in music from the classical period.
Secondly, notice that structures are often more natural for one language than for another. For example, it is much easier to rhyme in Romance languages like Spanish and Latin than in English. Of course, every feature may be preserved to a certain extent, rather than being either fully preserved or not preserved. Many people agree that mathematical proofs are an area where better design could have a big impact, e.g., in K12 education. The above ideas provide a way to explore how computer technology might help with this.