Un identificatore è costituito da una lettera seguita da altre lettere o cifre. L'automa a stati finiti che riconosce gli identificatori è il seguente.
Implementazione in C dell'automa.