TY - BOOK AU - Pettorossi, Alberto TI - Automata theory and formal languages: fundamental notions, theorems, and techniques SN - 9783031119644 U1 - 005.13 PY - 2022/// CY - New York PB - Springer KW - Automata theory ER -