Finite automata, formal logic, and circuit complexity
Auteur :
Straubing, Howard
Éditeur :
Straubing, Howard
ISBN :
9780817637194
Date de publication :
3 mai 1994
Dimensions :
23,4 x 15,6 x 1,4 cm
Poids :
514 g
Format :
Laminated cover
Langue :
Anglais
Pays d'origine :
USA
The first part of this book focuses on the algebraic characterization of the regular languages definable in many different logical theories. The second part presents the recently-discovered connections between the algebraic theory of automata and the complexity theory of small-depth circuits.