(questo BLOG è stato visitato 7279 volte)
ULTIMI 10 VISITATORI:
ospite, ospite, ospite, ospite, ospite, ospite, ospite, ospite, ospite, ospite
[ ELENCO ULTIMI COMMENTI RICEVUTI ]
Monday, October 16, 2006 - ore 00:09
Teoria dei linguaggi formali
(categoria: " Informatica ")
La teoria dei linguaggi formali studia gli insiemi di stringhe, cioè i linguaggi formali, e le loro proprietà seguendo vari approcci.
Approccio generativo: un linguaggio viene definito come l’insieme di tutte e sole le stringhe che vengono prodotte da una grammatica generativa, da un sistema di Lyndenmayer o da qulche altro sistema di riscrittura.
Approccio riconoscitivo: un linguaggio viene definito come l’insieme di tutte e sole le stringhe che vengono accettate da un automa.
Approccio denotazionale: un linguaggio viene definito mediante espressioni simboliche compatte, come le espressioni regolari, che ne denotano (tutte e sole) le stringhe in forma concisa.
Approccio algebrico: un linguaggio viene definito attraverso sue proprietà algebriche, in particolare proprietà riconducibili alla teoria dei semigruppi e alle algebre di Kleene.
Approccio trasformazionale: un linguaggio viene definito come ottenuto sottoponendo a una data trasformazione un altro linguaggio, tendenzialmente più semplice.
COMMENTA (0 commenti presenti)
PERMALINK
![](/blog/blog.asp?bloggone=<center><br><br><br><img src="/gallery/blogs/immagini/38443/hr.jpg" border=0>)
![](/blog/blog.asp?bloggone=<br><br><br><img src="/gallery/blogs/immagini/38443/amici.jpg" border=0><br><br>)