Formalization could be done in interaction with the computer. For a basic example today, we can look at how Google correct your query and suggest other queries,

Formalization could be done in interaction with the computer. For a basic example today, we can look at how Google correct your query and suggest other queries, or any other form of auto-complete and auto-correct