Алгоритм исправления опечаток в поиске Google

Я заметил, что если я сделаю опечатку в строке поиска Google, это, скорее всего, исправит ее за меня.

Например, если я наберу «неразборчиво», будет предложено «невероятно», или для «stackovflow» это будет «stackoverflow».

В чем суть такого алгоритма?