Star di Kleene: differenze tra le versioni

Versione delle 18:58, 14 dic 2004

Versione delle 18:59, 14 dic 2004

Riga 1:

La '''[[star di Kleene]]''' (o '''stella di Kleene''') è una operazione definita sui linguaggi di un dato [[alfabeto]].

Se A è un [[insieme]], '''A*''' è defintito come l'insieme delle sequenze finite di elementi di A; A* viene anche detto '''universo linguistico''' di A. Una sequenza di A* si indica giustapponenendo gli elementi di A che la formano. Le sequenze così definite sono dette '''[[parola|parole]]''' (o [[stringa|stringhe]]) su A mentre A è detto '''[[alfabeto]]'''. Gli elementi di A coincidono con le parole di A* costituite da un solo elemento di A.

Se <math>\alpha</math> e <math>\beta</math> sono due parole, indichiamo con <math>\alpha \beta</math> la parola ottenuta concatenando le parole date nell'ordine in cui compaiono.