In order to solve such a problem algorithmically, both the model of the system and the specification are formulated in some precise mathematical language.
Для того, що розв'язати таку задачу алгоритмічно, модель системи і специфікація формулюються якоюсь точною математичною мовою.