|
|
|
|
LEADER |
00000cam a22000004a 4500 |
001 |
in00002705771 |
003 |
OCoLC |
005 |
20220616133054.0 |
008 |
011011t20022002nyua b 001 0 eng |
010 |
|
|
|a 2001054282
|
015 |
|
|
|a GBA2-31320
|
016 |
7 |
|
|a 962807087
|2 GyFmDB
|
019 |
|
|
|a 49740614
|
020 |
|
|
|a 1852334649 (pbk. : alk. paper)
|
035 |
|
|
|a (OCoLC)48163289
|
040 |
|
|
|a DLC
|c DLC
|d UKM
|d OHX
|d OCLCQ
|d NOR
|d UtOrBLW
|
042 |
|
|
|a pcc
|
049 |
|
|
|a EEMR
|
050 |
0 |
0 |
|a QA267.3
|b .P37 2002
|
072 |
|
7 |
|a QA
|2 lcco
|
082 |
0 |
0 |
|a 511.3
|2 21
|
100 |
1 |
|
|a Parkes, Alan.
|0 http://id.loc.gov/authorities/names/nb98036812
|
245 |
1 |
0 |
|a Introduction to languages, machines and logic :
|b computable languages, abstract machines and formal logic /
|c Alan P. Parkes.
|
260 |
|
|
|a London ;
|a New York :
|b Springer,
|c [2002], ©2002.
|
300 |
|
|
|a xi, 351 pages :
|b illustrations ;
|c 24 cm
|
336 |
|
|
|a text
|b txt
|2 rdacontent
|
337 |
|
|
|a unmediated
|b n
|2 rdamedia
|
338 |
|
|
|a volume
|b nc
|2 rdacarrier
|
504 |
|
|
|a Includes bibliographical references (pages 341-324) and index.
|
505 |
0 |
0 |
|g 1.
|t Introduction --
|g pt. 1.
|t Languages and machines --
|g 2.
|t Elements of formal languages --
|g 3.
|t Syntax, semantics, and ambiguity --
|g 4.
|t Regular languages and finite state recognisers --
|g 5.
|t Context free languages and pushdown recognisers --
|g 6.
|t Important features of regular and context free languages --
|g 7.
|t Phrase structure languages and turning machines --
|g pt. 2.
|t Machines and computation --
|g 8.
|t Finite state transducers --
|g 9.
|t Turing machines as computers --
|g 10.
|t Turing's thesis and the universality of the turing machine --
|g 11.
|t Computability, solvability, and the halting problem --
|g pt. 3.
|t Computation and logic --
|g 13.
|t Boolean logic and propositional logic --
|g 14.
|t First order predicate logic --
|g 15.
|t Logic and computation.
|
650 |
|
0 |
|a Formal languages.
|0 http://id.loc.gov/authorities/subjects/sh85050802
|
650 |
|
0 |
|a Machine theory.
|0 http://id.loc.gov/authorities/subjects/sh85079341
|
907 |
|
|
|y .b39968510
|b 211114
|c 030418
|
998 |
|
|
|a mn
|b 030807
|c m
|d a
|e -
|f eng
|g nyu
|h 0
|i 2
|
994 |
|
|
|a X0
|b EEM
|
999 |
f |
f |
|i e5d4c243-ca7f-574c-9d4a-d93c27dd3623
|s 167747fd-2bc1-5ca1-b220-7ab5c5de7a9b
|t 0
|
952 |
f |
f |
|p Can Circulate
|a Michigan State University-Library of Michigan
|b Michigan State University
|c MSU Main Library
|d MSU Main Library
|t 0
|e QA267.3 .P37 2002
|h Library of Congress classification
|i Printed Material
|m 31293024022893
|n 1
|