Automata and computability: A programmer's perspective - Gopalakrishnan Ganesh Lalitha (Boca Raton CRC Press, 2019)
Appendices 297-317p.; Index 323-328p.
Keywords: Designing DFA; NP-Completeness; Pushdown automata; Computer Science