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