Book Name: Implementation and Application of Automata Author: Markus Holzer, Martin Kutrib Publisher: Springer International Publishing ISBN-10: 3319223593 Year: 2014…