DFA - Accetta tutte le stringhe che non contengono una certa sottostringa [duplicato

Question

Questa domanda ha già una risposta qui:

• Come dimostrare che una lingua è regolare? 8 risposte

Quindi ho cercato di creare un automobilismo finito deterministico (DFA) in JFLAP che accetta tutte le stringhe dall'alfabeto {a, b, c} tranne quelle che contengono la sottostringa "ABC". Tuttavia, continuo a riscontrare problemi in cui alcune stringhe che dovrebbero essere consentite non sono, come "ACBC". Hai qualche consiglio o trucchi che possono essere usati per aggirare questo tipo di problemi?

DFA che accetta qualsiasi stringa che contiene la sottostringa "ABC" di seguito