Endliche Automaten, formale Logik und Schaltungskomplexität, Hardcover von Straubing...
Finite Automata, Formal Logic, and Circuit Complexity, Hardcover by Straubing, Howard, ISBN 0817637192, ISBN-13 9780817637194, Brand New, Free shipping in the US The material is situated at the juncture of automata theory, logic, computational complexity, and semigroup theory. The first part is devoted to the algebraic characterization of the regular languages definable in many different logical theories, including older results of Bnchi on monadic second-order logic, and McNaughton and Papert on first-order logic and star-free languages. The second part presents the recently discovered connections between the algebraic theory of automata and the complexity theory of small-depth circuits. Annotation copyright Book News, Inc. Portland, Or.
Jetzt bei Ebay: