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

Messaggioda Paolovox » 10/01/2019, 01:54

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
« Una volta eliminato l'impossibile, ciò che resta, per quanto improbabile, deve essere la verità. »
(Sherlock Holmes)
Avatar utente
Paolovox
Average Member
Average Member
 
Messaggio: 310 di 620
Iscritto il: 13/06/2014, 19:44

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

Messaggioda Brufus » 04/02/2019, 03:40

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à
Avatar utente
Brufus
Average Member
Average Member
 
Messaggio: 7 di 525
Iscritto il: 05/02/2016, 00:44
Località: Roma


Torna a Informatica

Chi c’è in linea

Visitano il forum: Nessuno e 1 ospite