Infatti quello intendevo(" , esiste da qualche parte la sua controparte ")".
Ad esempio la stringa "[(()()())]".
Ok. Ma un "pochino" sono in grado di contare. Se per esempio voglio una stringa che accetti 5 'a' consecutive lo posso fare.Ebbene questo è un'esempio di linguaggio di Dyck, e non esiste nessun automa in grado di accettare tale linguaggio, perché gli automi non sono in grado di contare
@Spider, sto parlando dall'alto della mia ignoranza in merito
Forse contare indefinitivamente non sono in grado di farlo, dovrei leggere i testi "sacri", ma se lo dici vuol dire che è così.
Ci proverò.Se ti vuoi esercitare prova a costruire l'automa che accetta i seguenti linguaggi. Σ = {0, 1}:
L'insieme di tutte le stringhe tali che, se interpretate come numero binario, sono divisibili per 2;
L'insieme di tutte le stringhe tali che, se interpretate come numero binario, sono divisibili per 4;
L'insieme di tutte le stringhe tali che, se interpretate come numero binario, sono divisibili per 5.
Se hai voglia e tempo, dai un'occhiata ai codici che ho postato.
Odio sollecitare, ma sono rimasti in sospeso e non so se sono corretti. Nel caso grazie, e grazie delle precisazioni fatte
EDIT: post doppio, segnalo, scusate
