Introduction to Languages, Machines and Logic
Latest Publications

TOTAL DOCUMENTS

15

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By Springer London

9781852334642, 9781447101437

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Turing Machines as Computers

Introduction to Languages, Machines and Logic ◽

10.1007/978-1-4471-0143-7_9 ◽

2002 ◽

pp. 179-201

Author(s):

Alan P. Parkes

Keyword(s):

Turing Machines

Phrase Structure Languages and Turing Machines

Introduction to Languages, Machines and Logic ◽

10.1007/978-1-4471-0143-7_7 ◽

2002 ◽

pp. 133-159

Author(s):

Alan P. Parkes

Keyword(s):

Phrase Structure ◽

Turing Machines

Syntax, Semantics, and Ambiguity

Introduction to Languages, Machines and Logic ◽

10.1007/978-1-4471-0143-7_3 ◽

2002 ◽

pp. 37-47

Author(s):

Alan P. Parkes

Logic and Computation

Introduction to Languages, Machines and Logic ◽

10.1007/978-1-4471-0143-7_15 ◽

2002 ◽

pp. 307-326

Author(s):

Alan P. Parkes

First Order Predicate Logic

Introduction to Languages, Machines and Logic ◽

10.1007/978-1-4471-0143-7_14 ◽

2002 ◽

pp. 291-306

Author(s):

Alan P. Parkes

Keyword(s):

Predicate Logic ◽

First Order ◽

First Order Predicate Logic

Finite State Transducers

Introduction to Languages, Machines and Logic ◽

10.1007/978-1-4471-0143-7_8 ◽

2002 ◽

pp. 163-178

Author(s):

Alan P. Parkes

Keyword(s):

Finite State Transducers ◽

Finite State

Computability, Solvability, and the Halting Problem

Introduction to Languages, Machines and Logic ◽

10.1007/978-1-4471-0143-7_11 ◽

2002 ◽

pp. 231-248

Author(s):

Alan P. Parkes

Keyword(s):

Halting Problem

Important Features of Regular and Context Free Languages

Introduction to Languages, Machines and Logic ◽

10.1007/978-1-4471-0143-7_6 ◽

2002 ◽

pp. 107-131

Author(s):

Alan P. Parkes

Keyword(s):

Context Free

Elements of Formal Languages

Introduction to Languages, Machines and Logic ◽

10.1007/978-1-4471-0143-7_2 ◽

2002 ◽

pp. 11-36

Author(s):

Alan P. Parkes

Keyword(s):

Formal Languages

Boolean Logic and Propositional Logic

Introduction to Languages, Machines and Logic ◽

10.1007/978-1-4471-0143-7_13 ◽

2002 ◽

pp. 275-290

Author(s):

Alan P. Parkes

Keyword(s):

Propositional Logic ◽

Boolean Logic