Skip to content
pandatutor® Log in
Panda Tutor

Formal languages

Featured — award winners and classics first, when available. Use “Show different books” for a new selection.

🔄 Show different books

General context-free recognition and parsing based on viable prefixes

D. Clay Wilson

1990

Rational series and their languages

Jean Berstel

1988

Grammars for programming languages

J. Craig Cleaveland

1977

Elements of the theory of computation

Harry R. Lewis

1981

Introduction to the Theory of Computation

Michael Sipser

2005 ★ 4.4

Syntactic pattern recognition

Rafael C. Gonzalez

1978

A course in formal languages, automata and groups

Ian Chiswell

2009

Languages and machines

Thomas A. Sudkamp

1996

Introduction to automata theory, languages, and computation

Rajeev Motwani, Jeffrey D. Ullman, John E. Hopcroft

1979

An implementation of a system for the formal definition of programming languages

Brian Alfred Hansche

1978

The language of machines

Robert W. Floyd

1994

Word processing in groups

D. B. A. Epstein

1992

Mathematical Logic and Formal Systems (Lecture Notes in Pure and Applied Mathematics)

Alcantara

1985

The logic of questions and answers

Nuel D. Belnap

1976

An introduction to formal specification and Z

Ben Potter

1991

Mathematical foundations of programming

Frank S. Beckman

1980

Discrete mathematics: applied algebra for computer and information science

Leonard S. Bobrow

1974

Computability, complexity, and languages

Davis, Martin

1983

An Introduction to the Theory of Computation

Eitan Gurari

1989

Array grammars, patterns and recognizers

Patrick S-P Wang

1989

Automata theory

Richard Y. Kain

1981

Introduction to formal languages

György E. Révész

1983

Machines, languages, and computation

Peter J. Denning

1978

An introduction to formal languages and automata

Peter Linz

1990

LINGOL, a readable formalism for programming language semantics

Garry R. Kampen

1977

Varieties of formal languages

J. E. Pin

1986

Formal languages and their relation to automata

John E. Hopcroft

1969

Formal languages

Arto Salomaa

1973

Finiteness and regularity in semigroups and formal languages

A. De Luca

1999

On the strong covering problem for LR(k) grammars

M. Dennis Mickunas

1974

Browse free books to read online

Book Explorer lets readers browse the free, readable part of the Open Library catalogue by familiar genres, or by the exact subject tags Open Library assigns each book. Every book has its own page with a reader where one is available, plus links to Open Library, your library, Libby and Amazon.

Fiction

Non-fiction

Poetry & Drama