{"product_id":"finite-automata-formal-logic-and-circuit-complexity-progress-in-theoretical-computer-science-9780817637194","title":"Finite Automata Formal Logic and Circuit Complexity Progress in Theoretical Computer Science","description":"\u003cb\u003eBook Synopsis\u003c\/b\u003e\u003cbr\u003eOne of these, explored by McNaughton and Papert in their 1971 monograph Counter-free Automata, was the characterization of automata that admit first-order behavioral descriptions, in terms of the semigroup­ theoretic approach to automata that had recently been developed in the work of Krohn and Rhodes and of Schiitzenberger.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eTable of Contents\u003c\/b\u003e\u003cbr\u003eI Mathematical Preliminaries.- I.1 Words and Languages.- I.2 Automata and Regular Languages.- I.3 Semigroups and Homomorphisms.- II Formal Languages and Formal Logic.- II.1 Examples.- II.2 Definitions.- III Finite Automata.- III.1 Monadic Second-Order Sentences and Regular Languages.- III.2 Regular Numerical Predicates.- III.3 Infinite Words and Decidable Theories.- IV Model-Theoretic Games.- IV.1 The Ehrenfeucht-Fraïssé Game.- IV.2 Application to FO[","brand":"Birkhauser Boston","offers":[{"title":"Default Title","offer_id":53515502453079,"sku":"9780817637194","price":80.99,"currency_code":"GBP","in_stock":true}],"url":"https:\/\/bookcurl.com\/products\/finite-automata-formal-logic-and-circuit-complexity-progress-in-theoretical-computer-science-9780817637194","provider":"Book Curl","version":"1.0","type":"link"}