For instance, Culik and Yu proposed three well-defined classes (and a fourth one for the automata not matching any of these), which are sometimes called Culik-Yu classes; membership in these proved undecidable.
На пример, Цулик и Ју, су предложили три добро дефинисане класе (и четврту за аутомате који не одговарају било којем од ових), што се понекад зове Цулик-ЈУ настава; Чланство у овоме се показало као неодлучив задатак.