Teoria degli Automi Finiti - Luca (Springer Milan, 2013)