Už víme jak najít primitiva a že gramtika jednoznačně vymezuje třídu. Teď je na čase říci si jak rozpoznávání vypadá v praxi.

Nejprve je nutné odvodit gramatiku z trénovací množiny. tomuto odvození se říká inference. Dosud neexistuje obecné metoda, jak ze slov jazyka odvodit gramatiku, která by jazyk vhodně aproximovala (musíme totiž předpokládat, že trénovací množina není úplná).

Při rozpoznávání stojíme před rozhodnutím, zda rozpoznávané slovo patří do jazyka třídy či nikoliv tj. zda je generováno gramatikou třídy. K tomu použijeme syntaktickou analýzu, kterou se podrobně zabývá teorie formálních jazyků.