Teoria dei linguaggi formali
Wikipedia Italiano L'enciclopedia liberaDownload this dictionary
Teoria dei linguaggi formali
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.

Per saperne di più visita Wikipedia.org...


Questo articolo utilizza materiale tratto da Wikipedia® ed è autorizzato sotto la licenza GNU Free Documentation License

| Teoria dei linguaggi formali in Italian