Z doprovodného článku na webu Českého rozhlasu k interview s jazykovědcem Karlem Olivou:

Jazykověda a matematika. Že to nejde dohromady? Omyl. „Každá věda, aby byla skutečně vědecká, musí zkoumat a popisovat vztahy a struktury. Právě matematika je k tomu ten nejvhodnější nástroj,” vysvětluje jazykovědec Karel Oliva.

Vezměte si třeba oblíbený textový editor Word. Každý, kdo ho pravidelně používá, pravděpodobně zná jeho systém automatických oprav češtiny, které se zobrazují jako červené nebo zelené vlnovky.

Za vznikem gramatického korektoru českého jazyka (respektive oněch „zelených vlnovek”) stojí Karel Oliva a jeho tým a k jeho vzniku jim pomohla právě matematika. (…)

Mimochodem, pokud prý wordovskému korektoru stoprocentně věříte, děláte chybu. „V každém programu, který je delší než deset řádků, je alespoň jedna chyba,” připomíná starou programátorskou zásadu. „Aby program stoprocentně fungoval, musel by vidět do hlavy toho, kdo píše,” dodává, že chyba může být kontextuální.

K editoru Word viz též Barbora Čiháková: Víš, co ten Word vlastně umí…