La grande scienza. Automi e linguaggi formali
Dominique Perrin
Automi e linguaggi formali
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. [...] funzioni iniziali (proiezione, successore e costanti) mediante le seguenti operazioni: (1) composizione; (2) ricorsione primitiva; (3) minimizzazione.
La ricorsione primitiva permette di costruire una funzione f a partire da funzioni g, h mediante f ...
Leggi Tutto