Editing Finite-state machine (section)

=== Finite-state machines (automata theory) in theoretical computer science ===
* {{cite book | last = Arbib | first = Michael A. | title = Theories of Abstract Automata | edition = 1st | publisher = Prentice-Hall, Inc. | location = Englewood Cliffs, N.J. | year = 1969 | isbn = 978-0-13-913368-8}}
* {{cite book | last1 = Bobrow | first1 = Leonard S. | first2 = Michael A. | last2 = Arbib | title = Discrete Mathematics: Applied Algebra for Computer and Information Science | edition = 1st | publisher = W. B. Saunders Company, Inc. | location = Philadelphia | year = 1974 | isbn = 978-0-7216-1768-8 | url-access = registration | url = https://archive.org/details/discretemathemat0000bobr }}
* {{cite book | last = Booth| first = Taylor L. | title = Sequential Machines and Automata Theory | edition = 1st | publisher = John Wiley and Sons, Inc. | location = New York | year = 1967| id = Library of Congress Card Catalog Number 67-25924}}
* {{cite book | last1 = Boolos | first1 = George |first2=Richard |last2=Jeffrey | title = Computability and Logic | url = https://archive.org/details/computabilitylog0000bool_r8y9 | url-access = registration | edition = 3rd | publisher = Cambridge University Press | location = Cambridge, England | orig-year = 1989| year = 1999| isbn = 978-0-521-20402-6}}
* {{cite book | last = Brookshear | first = J. Glenn | title = Theory of Computation: Formal Languages, Automata, and Complexity | year = 1989 | publisher = Benjamin/Cummings Publish Company, Inc. | location = Redwood City, California | isbn = 978-0-8053-0143-4}}
* {{cite book | last1 = Davis| first1 = Martin |first2=Ron |last2=Sigal |first3=Elaine J. |last3=Weyuker | title = Computability, Complexity, and Languages and Logic: Fundamentals of Theoretical Computer Science | edition = 2nd | publisher = Academic Press, Harcourt, Brace & Company| location = San Diego | year = 1994 | isbn = 978-0-12-206382-4}}
* {{cite book | last1 = Hopkin | first1 = David |first2=Barbara |last2=Moss| title = Automata | publisher = Elsevier North-Holland | location = New York | year = 1976| isbn = 978-0-444-00249-5 }}
* {{cite book | last = Kozen | first = Dexter C. | title = Automata and Computability | edition = 1st | publisher = Springer-Verlag | location = New York | year = 1997|isbn = 978-0-387-94907-9}}
* {{cite book | last1 = Lewis| first1 = Harry R.| author-link = Harry R. Lewis |first2=Christos H. |last2=Papadimitriou |author2-link=Christos H. Papadimitriou| title = Elements of the Theory of Computation | edition = 2nd | publisher = Prentice-Hall | location = Upper Saddle River, New Jersey | year = 1998| isbn = 978-0-13-262478-7 }}
* {{cite book | last = Linz| first = Peter| title = Formal Languages and Automata | edition = 4th | publisher = Jones and Bartlett | location = Sudbury, MA | year = 2006| isbn = 978-0-7637-3798-6 }}
* {{cite book | last = Minsky| first = Marvin| title = Computation: Finite and Infinite Machines| url = https://archive.org/details/computationfinit0000mins| url-access = registration| edition = 1st | publisher = Prentice-Hall | location = New Jersey | year = 1967}}
* {{cite book |first=Christos |last=Papadimitriou |author-link=Christos Papadimitriou | year = 1993 | title = Computational Complexity | publisher = Addison Wesley | edition = 1st | isbn = 978-0-201-53082-7}}
* {{cite book | last = Pippenger| first = Nicholas| title = Theories of Computability| edition = 1st | publisher = Cambridge University Press| location = Cambridge, England | year = 1997| isbn = 978-0-521-55380-3 }}
* {{cite book | last1 = Rodger| first1 = Susan |first2=Thomas |last2=Finley| title = JFLAP: An Interactive Formal Languages and Automata Package | edition = 1st | publisher = Jones and Bartlett | location = Sudbury, MA | year = 2006| isbn = 978-0-7637-3834-1 }}
* {{cite book | last = Sipser| first = Michael | title = Introduction to the Theory of Computation | edition = 2nd | publisher = Thomson Course Technology | location = Boston Mass | year = 2006| isbn = 978-0-534-95097-2 }}
* {{cite book | last = Wood| first = Derick | author-link = Derick Wood | title = Theory of Computation | edition = 1st | publisher = Harper & Row, Publishers, Inc.| location = New York | year = 1987| isbn = 978-0-06-047208-5 }}