INFORMATICA
Paolo Ercoli
Alberto Marini
Con il termine informatica, neologismo di origine francese, s'indica attualmente una nuova ed emergente disciplina, la quale si occupa di particolari rappresentazioni [...] , The algebraic theory of context-free languages, in Compute programming and formal systems (a cura di P. Brafford e D. Hirschberg), Amsterdam 1963, p. 118 segg.; R.W. Floyd, Syntactic analysis and operator precedence, in J. ACM, X (1063), p. 316 ...
Leggi Tutto
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. [...] è il confronto tra sequenze basato sulla ricerca della più lunga sequenza comune. Dovuto originariamente a Daniel S. Hirschberg, è stato riscoperto da vari autori. Permette di determinare, mediante una tecnica detta 'programmazione dinamica', la più ...
Leggi Tutto
Automi e linguaggi formali
Dominique Perrin
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. Tali successioni si presentano in situazioni [...] sono stati applicati numerosi algoritmi, alcuni elaborati appositamente. Uno dei più famosi, dovuto originariamente a Daniel S. Hirschberg e riscoperto da vari autori, è il confronto tra sequenze (string matching) basato su una tecnica, detta ...
Leggi Tutto