An introduction to formal language theory ; with contributions by James Pustejovsky /

An introduction to formal language theory ; with contributions by James Pustejovsky /

Bibliographic Details
Main Author:	Moll, Robert N
Other Authors:	Arbib, Michael A, Kfoury, A. J
Format:	Book
Language:	English
Published:	New York : Springer-Verlag, c1988
Series:	Texts and monographs in computer science The AKM series in theoretical computer science
Subjects:	Formal languages Programming languages (Electronic computers)

Similar Items

An introduction to formal language theory /
by: Moll, Robert N, et al.
Published: (1988)

New trends in formal languages : control, cooperation, and combinatorics /
Published: (1997)

New trends in formal languages : control, cooperation, and combinatorics /
Published: (1997)

Grammars for programming languages /
by: Cleaveland, J. Craig, et al.
Published: (1977)

Petri net languages /
by: Hack, Michel, 1947-
Published: (1976)

Formal methods for quantitative aspects of programming languages : 10th international school on formal methods for the design of computer, communication and software systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010 ; advanced lectures /
Published: (2010)

Formal description of programming concepts--II : proceedings of the IFIP Working Conference on Formal Description of Programming Concepts--II, Garmisch-Partenkirchen, FRG, 1-4 June 1982 /
Published: (1983)

Methods of algorithmic language implementation /
Published: (1977)

Formal description of programming concepts : proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, St. Andrews, N.B., Canada, August 1-5, 1977 /
Published: (1978)

Using formal description techniques : an introduction to Estelle, LOTOS, and SDL /
Published: (1993)

Formal semantic descriptions of applicative languages /
by: Jones, Gerald Alan, 1946-
Published: (1978)

Formal languages, automata and numeration systems 1 : introduction to combinatorics on words /
by: Rigo, Michel
Published: (2014)

A programmer's introduction to computability and formal languages
by: Kurki-Suonio, Reino, et al.
Published: (1971)

New directions in algorithmic languages

FOLDS, a declarative formal language system /
by: Fang, Isu, 1940-
Published: (1972)

Definition of programming languages by interpreting automata /
by: Ollongren, Alexander, et al.
Published: (1974)

A language implementation system
by: Altman, Vernon E (Vernon Edward)
Published: (1974)

Formal description techniques : proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, 6-9 September 1988 /
Published: (1989)

Formal description techniques : proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, 6-9 September 1988 /
Published: (1989)

Introduction a la theorie des langages /
by: Moreau, René, et al.
Published: (1975)

Associons and the closure statement /
by: Rem, M, et al.
Published: (1976)

Formal description of programming concepts-III : proceedings of the IFIP TC2/WG2.2 Working Conference on Formal Description of Programming Concepts Ebberup, Denmark 25-28 August, 1986 /
Published: (1987)

Methods of algorithmic language implementation /
Published: (1977)

New Trends in Formal Languages : Control, Cooperation, and Combinatorics /
Published: (1997)

Formal languages, automata and numeration systems
by: Rigo, Michel
Published: (2014)

Formal languages and compilation /
by: Crespi-Reghizzi, Stefano, et al.
Published: (2019)

Formal languages and compilation /
by: Crespi-Reghizzi, Stefano
Published: (2009)

Formal languages and compilation /
by: Crespi-Reghizzi, Stefano, et al.
Published: (2013)

Formal description of programming concepts--III : proceedings of the IFIP TC 2/WG 2.2 Working Conference on Formal Description of Programming Concepts--III, Ebberup, Denmark, 25-28 August 1986 /
Published: (1987)

Formal description techniques : proceedings of the ... IFIP WG 6.1 International Conference on Formal Description Techniques
Published: (1995)

Formal languages, automata and numeration systems 2 /
by: Rigo, Michel
Published: (2014)

Formal languages, automata and numeration systems 2 /
by: Rigo, Michel
Published: (2014)

Formal Languages and Compilation
by: Crespi Reghizzi, Stefano, et al.
Published: (2019)

Formal description techniques, IV : proceedings of the IFIP TC6/WG 6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '91, Sydney, Australia, 19-22 November 1991 /
Published: (1992)

Languages: from formal to natural : essays dedicated to Nissim Francez on the occasion of his 65th birthday /
Published: (2009)

Formal description techniques : proceedings of the IFIP TC/WG 6.1 ... International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE
Published: (1990)

Formal languages, automata and numeration systems 2 : applications to recognizability and decidability /
by: Rigo, Michel
Published: (2014)

Simple program schemes and formal languages /
by: Engelfriet, Joost, et al.
Published: (1974)

Formal Languages and Compilation /
by: Crespi-Reghizzi, Stefano, et al.
Published: (2019)

Logic, language, formalism, informalism /
by: Richardson, Daniel, et al.
Published: (1995)