Introduction to languages, machines and logic : computable languages, abstract machines and formal logic / Alan P. Parkes.

Bibliographic Details
Main Author:	Parkes, Alan
Language:	English
Published:	London ; New York : Springer, [2002], ©2002.
Subjects:	Formal languages. Machine theory.
Physical Description:	xi, 351 pages : illustrations ; 24 cm
Format:	Book

Similar Items

Automata, languages, and machines.
by: Eilenberg, Samuel
Published: (1974)

Languages and machines : an introduction to the theory of computer science
by: Sudkamp, Thomas A.
Published: (1988)

Languages and machines : an introduction to the theory of computer science
by: Sudkamp, Thomas A.
Published: (1997)

An introduction to formal languages and automata
by: Linz, Peter
Published: (2001)

Formal languages and their relation to automata
by: Hopcroft, John E., 1939-
Published: (1969)

A second course in formal languages and automata theory
by: Shallit, Jeffrey Outlaw
Published: (2009)

Formal languages and automata theory
by: Drobot, Vladimir
Published: (1989)

Theory of finite automata : with an introduction to formal languages
by: Carroll, John, 1951-
Published: (1989)

The mathematical theory of context free languages.
by: Ginsburg, Seymour, 1927-
Published: (1966)

Introduction to formal language theory
by: Harrison, Michael A.
Published: (1978)

Automata-theoretic aspects of formal power series
by: Salomaa, Arto
Published: (1978)

Automata, languages, and programming : 12th colloquium, Nafplion, Greece, July 15-19, 1985
Published: (1985)

Automata, languages, and programming : 10th colloquium, Barcelona, Spain, July 18-22, 1983
Published: (1983)

Automata, languages and programming
Published: (1973)

Automata, languages, and programming : 13th international colloquium, Rennes, France, July 15-19, 1986 : proceedings
Published: (1986)

Automata, languages, and programming : 14th international colloquium, Karlsruhe, Federal Republic of Germany, July 13-17, 1987 : proceedings
Published: (1987)

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

Finite-state models for logical machines
by: Hennie, Frederick C.
Published: (1968)

Word processing in groups
by: Epstein, D. B. A.
Published: (1992)

Formal languages.
by: Salomaa, Arto
Published: (1973)

Automata, languages and programming : sixth colloquium, Graz, Austria, July 16-20, 1979
Published: (1979)

Automata, languages, and programming : eighth colloquium, Acre (Akko), Israel, July 13-17, 1981
Published: (1981)

Automata, languages and programming : fourth colloquium, University of Turku, Finland, July 18-22, 1977
Published: (1977)

Theory of automata.
by: Salomaa, Arto
Published: (1969)

Varieties of formal languages
by: Pin, Jean Eric
Published: (1986)

Handbook of formal languages
Published: (1997)

Introduction to formal grammars
by: Gross, Maurice, 1934-
Published: (1970)

Jewels of formal language theory
by: Salomaa, Arto
Published: (1981)

Mathematical foundations of computer science, 1976 : proceedings, 5th Symposium, Gdańsk, September 6-10, 1976
Published: (1976)

Algebraic and automata-theoretic properties of formal languages
by: Ginsburg, Seymour, 1927-
Published: (1975)

Formal language theory : perspectives and open problems
Published: (1980)

Machines, languages, and computation
by: Denning, Peter J., 1942-
Published: (1978)

Algorithmic logic
by: Mirkowska-Salwicka, Grażyna
Published: (1987)

Simple program schemes and formal languages
by: Engelfriet, Joost
Published: (1974)

Essays on concepts, formalisms, and tools
Published: (1987)

Regulated rewriting in formal language theory
by: Dassow, Jürgen
Published: (1990)

Partiality, truth, and persistence
by: Langholm, Tore, 1957-
Published: (1988)

Logic, automata, and algorithms
Published: (1971)

Logic of programming and calculi of discrete design : International Summer School directed by F.L. Bauer ... [et al.]
Published: (1987)

Sequential machines and automata theory
by: Booth, Taylor L.
Published: (1967)