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. [...] a una serie di idee avanzate da Juri Gurevich e Leo Harrington, il cui punto chiave è l'uso di strategie vincenti in 1956, pp. 3-42.
Knuth 1977: Knuth, Donald E. - Morris, James H. - Pratt, Vaughan R., Fast pattern matching in strings, "SIAM journal ...
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 [...] presenti alcune idee elaborate da Juri Gurevich e Leo Harrington, il cui tratto distintivo è l'uso di (pattern matching). Il più famoso è l'algoritmo di Donald E. Knuth, James H. Morris e Vaughan R. Pratt, che permette di localizzare una parola ...
Leggi Tutto