Pagina 1 di 1

[Automi e Linguaggi] Problema dell'accettazione di un DFA

MessaggioInviato: 10/01/2019, 01:54
da Paolovox
Se F è un linguaggio finito e L- F è accettato da un DFA
possiamo dire che anche L è accettato da un DFA?

Potreste aiutarmi a capire in che modo ragionarci?

Grazie

Re: [Automi e Linguaggi] Problema dell'accettazione di un DFA

MessaggioInviato: 04/02/2019, 03:40
da Brufus
non so se sto per scrivere una corbelleria,ma a livello insiemistico credo valga la relazione $L=(L-F) cup F$ e siccome entrambi i linguaggi sono regolari($F$ è regolare poichè è finito e quindi puoi sempre scrivere un DFA che lo accetti)allora la loro unione è ancora un linguaggio regolare.
Non so se ho sbagliato chissà