Regolare su Σ={0} sse unione finita di insiemi del tipo \{ 0^{a_k+b_kn} \mid n \in \mathbb N \}

Calcolabilità, modelli di calcolo, complessità, linguaggi formali.
( Voti: 0, Media: 0 )

Regolare su Σ={0} sse unione finita di insiemi del tipo \{ 0^{a_k+b_kn} \mid n \in \mathbb N \}

Messaggiodi marco il ven 10 lug 2009, 10:03

Provare che

$\displaystyle L \mbox{ regolare su } \Sigma = \{0\} \Longleftrightarrow L=\bigcup_{k=1}^{m < \infty} \{ 0^{a_k+ b_kn} \mid n\in \mathbb N \}$

con $a_k,b_k\in\mathbb N\ \ \forall k=\{1,...,m\}$
marco
 
Messaggi: 7
Iscritto il: mer 2 lug 2008, 17:27
Gruppo: Utenti registrati

Torna a Fondamenti dell'Informatica

Chi c’è in linea

Visitano il forum: Nessuno e 1 ospite