Nella teoria dei linguaggi formali, e in particolare nell'ambito dei linguaggi traccia, un alfabeto concorrente è costituito da una coppia ${\displaystyle (\Sigma ,\theta )}$ in cui ${\displaystyle \Sigma }$ rappresenta un generico alfabeto e ${\displaystyle \theta }$ rappresenta una relazione binaria su ${\displaystyle \Sigma }$ detta relazione di indipendenza. Dati due simboli ${\displaystyle a,b\in \Sigma }$, se ${\displaystyle (a,b)\in \theta }$ si dice che ${\displaystyle a}$ e ${\displaystyle b}$ sono indipendenti.