Computazione, teoria della
Fabrizio Luccio
La necessità del calcolo, pur riconosciuta dall'uomo in tutte le epoche storiche, ha condotto solo in tempi relativamente recenti a una sistemazione teorica [...] ′α∣−*xsy con s∈F, x,y∈Π*}. I linguaggi (o insiemi) accettati dalle MT si dicono ricorsivamenteenumerabili. Per la MT G abbiamo L(G)={aibici, i≥0}, quindi questo linguaggio è ricorsivamenteenumerabile.
Ricordiamo che una MT M si arresta per tutte le ...
Leggi Tutto