Regular expressions for data words

Introduction to automata theory, languages and computation

Mathematics and Computers in Simulation · 1981 · 10.9K citations

Computing, Computer Science, Mathematics +10

Introduction to automata theory, languages, and computation

Computer Languages · 1980 · 6.9K citations

Computing, Computer Science, Mathematics +10

Introduction to the Theory of Computation

Michael Sipser · ACM SIGACT News · 1996 · 2.8K citations

Computing, Computer Science, Mathematics +10

Finite-memory automata

Michael Kaminski, Nissim Francez · Theoretical Computer Science · 1994 · 367 citations

Computing, Computer Science, Theory Of Computation +8

Finite state machines for strings over infinite alphabets

Frank Neven, Thomas Schwentick, Victor Vianu · ACM Transactions on Computational Logic · 2004 · 269 citations

Computing, Computer Science, Formal Methods +16