Automa a stati finiti deterministico aciclico