Cover Image

An Introduction to Formal Language Theory /

Show other versions (1)

This voume combines An Introduction to Formal Language Theory with issues in computational linguistics. The book begins with standard formal language material, including a discussion of regular, context-free, context sensitive, and arbitrary phrase stucture languages. This is followed by a discussio...

Full description

Bibliographic Details
Main Author:	Moll, Robert N.
Corporate Author:	SpringerLink (Online service)
Other Authors:	Arbib, Michael A., Kfoury, A. J.
Format:	eBook
Language:	English
Published:	New York, NY : Springer US, 1988.
Series:	Texts and monographs in computer science.
Subjects:	Computer science. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Larch: Languages and Tools for Formal Specification /
by: Guttag, John V., 1949-
Published: (1993)

Handbook of Formal Languages : Volume 3 Beyond Words /
by: Rozenberg, Grzegorz
Published: (1997)

Handbook of Formal Languages : Volume 2. Linear Modeling: Background and Application /
by: Rozenberg, Grzegorz
Published: (1997)

Theory and Formal Methods 1993 : Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31 March 1993 /
by: Burn, Geoffrey
Published: (1993)

Introduction to Languages, Machines and Logic : Computable Languages, Abstract Machines and Formal Logic /
by: Parkes, Alan P.
Published: (2002)

Understanding formal methods /
by: Monin, Jean-François
Published: (2003)

Semirings, Automata, Languages /
by: Kuich, Werner
Published: (1986)

Formal Aspects of Measurement : Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991 /
by: Denvir, Tim
Published: (1992)

Formal Specification : Techniques and Applications /
by: Nissanke, Nimal
Published: (1999)

Mural: A Formal Development Support System /
by: Jones, C. B.
Published: (1991)

Confluent String Rewriting /
by: Jantzen, Matthias
Published: (1988)

Discrete Mathematics Using a Computer /
by: Hall, Cordelia
Published: (2000)

Temporal Verification of Reactive Systems : Safety /
by: Manna, Zohar
Published: (1995)

6th Refinement Workshop : Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, 5-7 January 1994 /
by: Till, David, 1942-
Published: (1994)

Parsing Theory : Volume II LR(k) and LL(k) Parsing /
by: Sippu, Seppo
Published: (1990)

Introduction to Programming with Mathematica® : Includes diskette /
by: Gaylord, Richard J.
Published: (1993)

Extensional Constructs in Intensional Type Theory /
by: Hofmann, Martin
Published: (1997)

Algebra of Communicating Processes : Proceedings of ACP94, the First Workshop on the Algebra of Communicating Processes, Utrecht, the Netherlands, 16-17 May 1994 /
by: Ponse, A.
Published: (1995)

Computation of Language : an Essay on Syntax, Semantics and Pragmatics in Natural Man-Machine Communication /
by: Hausser, Roland
Published: (1989)

The Book of L /
by: Rozenberg, G.
Published: (1986)

Automated Theorem Proving : Theory and Practice /
by: Newborn, Monroe
Published: (2001)

5th Refinement Workshop : Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992 /
by: Jones, Cliff B.
Published: (1992)

Notations for Software Design /
by: Feijs, L. M. G. (Loe M. G.)
Published: (1994)

IV Higher Order Workshop, Banff 1990 : Proceedings of the IV Higher Order Workshop, Banff, Alberta, Canada 10-14 September 1990 /
by: Birtwistle, G. M. (Graham M.)
Published: (1991)

Proof in VDM: Case Studies /
by: Bicarregui, J. C.
Published: (1998)

Asynchronous Digital Circuit Design /
by: Birtwistle, G. M. (Graham M.)
Published: (1995)

4th Refinement Workshop : Proceedings of the 4th Refinement Workshop, organised by BCS-FACS, 9-11 January 1991, Cambridge /
by: Morris, Joseph M.
Published: (1991)

A Basis for Theoretical Computer Science /
by: Arbib, Michael A.
Published: (1981)

Functional Programming, Glasgow 1994 : Proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland, 12-14 September 1994 /
by: Hammond, Kevin
Published: (1995)

Elements of Finite Model Theory /
by: Libkin, Leonid
Published: (2004)

Mathematical Logic for Computer Science /
by: Ben-Ari, Mordechai
Published: (2001)

Many-Valued Logics : 1: Theoretical Foundations /
by: Bolc, Leonard
Published: (1992)

Logic from Computer Science : Proceedings of a Workshop held November 13-17, 1989 /
by: Moschovakis, Yiannis N.
Published: (1992)

The Parametric Lambda Calculus : A Metamodel for Computation /
by: Rocca, Simona Ronchi Della
Published: (2004)

First-Order Logic and Automated Theorem Proving /
by: Fitting, Melvin
Published: (1990)

Information and Randomness : An Algorithmic Perspective /
by: Calude, Cristian S.
Published: (2002)

First-Order Logic and Automated Theorem Proving /
by: Fitting, Melvin
Published: (1996)

Information and Randomness : An Algorithmic Perspective /
by: Calude, Cristian
Published: (1994)

Vaguely Defined Objects : Representations, Fuzzy Sets and Nonclassical Cardinality Theory /
by: Wygralak, Maciej
Published: (1996)

Incomplete Information: Structure, Inference, Complexity /
by: Demri, Stéphane P.
Published: (2002)