Automata theory and logic
Auteur :
Hofmann, Martin / Lange, Martin
Éditeur :
Springer Fachmedien Wiesbaden
ISBN :
9783662721537
Date de publication :
30 oct. 2025
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Allemagne
This book introduces the reader into the field of automata theory and logic. The book can be used for self-study or as a basis for a graduate course on automata and logic, presupposing knowledge on finite automata and regular languages of finite words only.