Once you have parsed a sentence, you can figure out what it means, that is, the semantics of the sentence. Assuming that you know what a shoe is, and what it means to fall, you will understand the general implication of this sentence. Formal languages are designed to be nearly or completely unambiguous, which means that any statement has exactly one meaning, regardless of context. In order to make up for ambiguity and reduce misunderstandings, natural languages employ lots of redundancy. As a result, they are often verbose.
Formal languages are less redundant and more concise.
Formal languages mean exactly what they say. Ambiguity is not only common but often deliberate. Prose The literal meaning of words is more important and the structure contributes more meaning. Prose is more amenable to analysis than poetry, but still often ambiguous. Programs The meaning of a computer program is unambiguous and literal, and can be understood entirely by analysis of the tokens and structure.