Dagens kort – Endelige tilstandsmaskiner og formelle språk

A* = ⋃$_{n\geq 0} A^n = A^0 \cup A^1 \cup A^2 \cup$ …, der $A^0 = {\lambda }$ og $A^{n+1} = A^n\cdot A$. Den består av alle strenger dannet ved å konkatenere null eller flere strenger fra A. A* inneholder alltid den tomme strengen $\lambda$ .