Logique MSO (logique monadique de second ordre) sur les mots

Question

Soit l une langue sur $ Sigma = {a, b, c } $ qui contient tous les mots, où la longueur $ | w | _b $ (Nombre de tous les B) a le reste 1 s'il est divisé par 3.

La logique MSO sur les mots est défini comme suit:

Je veux exprimer cette langue en utilisant MSO Logic. Mais mon problème est de savoir comment puis-je compter les B pour calculer le rappel? Ce serait donc Easiet si je regarde juste $ | w | $, parce que je pouvais utiliser max.