Logica mso (logica monadica del secondo ordine) sulle parole
-
05-11-2019 - |
Domanda
Lascia che sia una lingua $ Sigma = {a, b, c } $ che contiene tutte le parole, dove la lunghezza $ | w | _b $ (Numero di tutte le B) ha il resto 1 se diviso per 3.
La logica MSO sulle parole è definita come segue:
Voglio esprimere questa lingua usando MSO Logic. Ma il mio problema è come posso contare le B per calcolare il promemoria? Quindi sarebbe facilmente se guardo semplicemente $ | w | $, perché potrei usare Max.
Nessuna soluzione corretta
Autorizzato sotto: CC-BY-SA insieme a attribuzione
Non affiliato a cs.stackexchange