Regolare su ?={0} sse unione finita di insiemi del tipo [tex]\{ 0^{a_k+b_kn} \mid n \in \mathbb N \}[/tex]

Calcolabilità, modelli di calcolo, complessità, linguaggi formali.

Regolare su ?={0} sse unione finita di insiemi del tipo [tex]\{ 0^{a_k+b_kn} \mid n \in \mathbb N \}[/tex]

Messaggioda marco il ven 10 lug 2009, 9: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\}
The first rule of first order logic is you can't talk about first order logic
marco
 
Messaggi: 26
Iscritto il: mer 2 lug 2008, 16:27

Torna a Fondamenti dell'Informatica

Chi c’è in linea

Visitano il forum: Nessuno e 1 ospite

cron