1
Lingue riconosciute da DFA polinomiali
Per un alfabeto finito fisso ΣΣ\Sigma , un linguaggio formale LLL su ΣΣ\Sigma è regolare se esiste un automa a stati finiti deterministico (DFA) su ΣΣ\Sigma che accetta esattamente LLL . Sono interessato a lingue "quasi" regolari, nel senso che possono essere riconosciute da famiglie di dimensioni di automi che …