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

Messaggioda Paolovox » 10/01/2019, 02: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
Junior Member
Junior Member
 
Messaggio: 322 di 322
Iscritto il: 13/06/2014, 20:44

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

Messaggioda Brufus » 04/02/2019, 04: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à
Brufus
Starting Member
Starting Member
 
Messaggio: 7 di 8
Iscritto il: 05/02/2016, 01:44


Torna a Informatica

Chi c’è in linea

Visitano il forum: Nessuno e 3 ospiti