I have forgotten: learning theory can train our expression of intuitive ideas. The formal method requires us to convert an intuitive description into a strict math description or convert a form of language into another form. Sometimes an idea is obvious, but its formal description is not easy. For example, put inevitable languages {a
IB
I |
I> 0} is expressed as ∃X (x (y, z) => (x (y) => (x (y) => (x (y) => (max)). Similarly, programming languages are also a formal language (most important characteristics: no ziguity, and strict morphemes). We are also facing the problem of converting the idea into a row of programs. At least for me, the learning theory expands my driving ability to formulate language, let me relaxantly transform complex ideas into streamlined mathematics or algorithm language description.
