Download Finite Automata, Formal Logic, and Circuit Complexity by Howard Straubing PDF

By Howard Straubing

The research of the connections among mathematical automata and for­ mal good judgment is as previous as theoretical laptop technology itself. within the founding paper of the topic, released in 1936, Turing confirmed the best way to describe the habit of a common computing desktop with a formulation of first­ order predicate good judgment, and thereby concluded that there's no set of rules for identifying the validity of sentences during this good judgment. study at the log­ ical features of the speculation of finite-state automata, that's the topic of this e-book, begun within the early 1960's with the paintings of J. Richard Biichi on monadic second-order good judgment. Biichi's investigations have been prolonged in numerous instructions. this sort of, explored via McNaughton and Papert of their 1971 monograph Counter-free Automata, used to be the characterization of automata that admit first-order behavioral descriptions, by way of the semigroup­ theoretic method of automata that had lately been built within the paintings of Krohn and Rhodes and of Schiitzenberger. within the greater than 20 years that experience handed because the visual appeal of McNaughton and Papert's e-book, the underlying semigroup thought has grown enor­ mously, allowing a substantial extension in their effects. in the course of the comparable interval, besides the fact that, basic investigations within the thought of finite automata most of the time fell out of favor within the theoretical com­ puter technological know-how neighborhood, which moved to different concerns.

Show description

Read or Download Finite Automata, Formal Logic, and Circuit Complexity PDF

Best machine theory books

Numerical computing with IEEE floating point arithmetic: including one theorem, one rule of thumb, and one hundred and one exercises

Are you acquainted with the IEEE floating element mathematics general? do you want to appreciate it higher? This publication supplies a extensive review of numerical computing, in a old context, with a different specialize in the IEEE regular for binary floating element mathematics. Key principles are built step-by-step, taking the reader from floating aspect illustration, thoroughly rounded mathematics, and the IEEE philosophy on exceptions, to an figuring out of the an important strategies of conditioning and balance, defined in an easy but rigorous context.

Robustness in Statistical Pattern Recognition

This e-book is worried with very important difficulties of sturdy (stable) statistical pat­ tern attractiveness whilst hypothetical version assumptions approximately experimental facts are violated (disturbed). development popularity concept is the sector of utilized arithmetic within which prin­ ciples and techniques are built for class and identity of gadgets, phenomena, strategies, occasions, and indications, i.

Bridging Constraint Satisfaction and Boolean Satisfiability

This booklet offers an important step in the direction of bridging the parts of Boolean satisfiability and constraint delight by means of answering the query why SAT-solvers are effective on yes periods of CSP situations that are not easy to resolve for normal constraint solvers. the writer additionally offers theoretical purposes for selecting a specific SAT encoding for a number of vital sessions of CSP situations.

A primer on pseudorandom generators

A clean examine the query of randomness used to be taken within the idea of computing: A distribution is pseudorandom if it can't be exclusive from the uniform distribution by way of any effective strategy. This paradigm, initially associating effective methods with polynomial-time algorithms, has been utilized with appreciate to various typical periods of distinguishing approaches.

Extra info for Finite Automata, Formal Logic, and Circuit Complexity

Sample text

In the subsequent sections of this chapter we will make specific choices for these numerical predicates and prove some limitations on the power of first-order sentences. For example, we will show that the numerical predicate x < y cannot be defined by a first-order formula in which the only numerical predicates are of the form x = y and y = x + 1, and that there are regular languages that cannot be defined by first-order sentences in which x < y is the only numerical predicate allowed. The question of first-order definability will be investigated using an interesting method from model theory: Ehrenfeucht-Praisse games.

Show, using the result of the preceding exercise, that 3y(4)I\'ljJ) is equivalent to 3y4>I\'ljJ, and that 3y(4)V'ljJ) is equivalent to 3y4> V 'ljJ. (c) Conclude from this that every first-order formula is equivalent to one which consists of a sequence of universal and existential quantifiers, followed by a quantifier-free formula. (Such a formula is said to be in prefix form. One way to measure the complexity of a formula is to count the number of quantifiers in an equivalent formula in prefix form.

Obviously this union is contained in AW\L. 7, there exist equivalence classes J, K such that a E J KW. 6, J KW ~ L. Thus L is equal to the union, as claimed. 5, this union is recognized by a finite automaton. 2, a k-ary relation on Z+. If the formula is a sentence, it states a property of Z+, which is either true or false. We can thus view monadic second-order logic with the successor relation and without the predicates Qa as a language in which to express properties of ordinary arithmetic. Following the traditions in the literature, we call this language SIS.

Download PDF sample

Rated 4.32 of 5 – based on 41 votes