A Course in Formal Languages, Automata and Groups

Ian M. Chiswell, Sheldon Axler, Vincenzo Capasso , Carles Casacuberta

$130.95 $105.07

Paperback

Not in-store but you can order this
How long will it take?

Availability Information

We source books from suppliers in Australia and overseas. For books we don't currently have in stock, the time it takes to get them from our suppliers can vary widely - from a few days to a few months - so we check each book with each supplier to determine the expected time it will take to be supplied to us.

We then advise you accordingly. If the time taken to get any book is too long for you, you can let us know and we will cancel or adjust your order, and refund as required.

To find out the anticipated arrival time for specific items prior to ordering, please contact us by phone or email:

Phone +61 2 9264 3111, or 1800 4 BOOKS (1800 4 26657) if outside Sydney:
option 1 Abbey's Bookshop (Crime, History, Science, Kids & more) • info@abbeys.com.au
option 2 Language Book Centre (ESL & Foreign Languages) • language@abbeys.com.au
option 3 Galaxy Bookshop (Sci-fi, Fantasy, Romance, Graphic Novels) • sf@galaxybooks.com.au

QTY:

English

Springer London Ltd
06 February 2009

Analytic geometry; Algebraic topology

Series: Universitext

This book is based on notes for a master’s course given at Queen Mary, University of London, in the 1998/9 session. Such courses in London are quite short, and the course consisted essentially of the material in the ?rst three chapters, together with a two-hour lecture on connections with group theory. Chapter 5 is a considerably expanded version of this. For the course, the main sources were the books by Hopcroft and Ullman ([20]), by Cohen ([4]), and by Epstein et al. ([7]). Some use was also made of a later book by Hopcroft and Ullman ([21]). The ulterior motive in the ?rst three chapters is to give a rigorous proof that various notions of recursively enumerable language are equivalent. Three such notions are considered. These are: generated by a type 0 grammar, recognised by a Turing machine (deterministic or not) and de?ned by means of a Godel ¨ numbering, having de?ned “recursively enumerable” for sets of natural numbers. It is hoped that this has been achieved without too many ar- ments using complicated notation. This is a problem with the entire subject, and it is important to understand the idea of the proof, which is often quite simple. Two particular places that are heavy going are the proof at the end of Chapter 1 that a language recognised by a Turing machine is type 0, and the proof in Chapter 2 that a Turing machine computable function is partial recursive.

By: Ian M. Chiswell
Series edited by: Sheldon Axler, Vincenzo Capasso, Carles Casacuberta, Angus J. Macintyre
Imprint: Springer London Ltd
Country of Publication: United Kingdom
Edition: 2009 ed.
Dimensions: Height: 235mm, Width: 155mm, Spine: 9mm
Weight: 454g
ISBN: 9781848009394
ISBN 10: 1848009399
Series: Universitext
Pages: 157
Publication Date: 06 February 2009
Audience: College/higher education , Further / Higher Education , A / AS level
Format: Paperback
Publisher's Status: Active

Reviews for A Course in Formal Languages, Automata and Groups

From the reviews: This short work by Chiswell ... covers formal languages, automata theory, and the word problem in group theory. This content is bound together by the unifying theme of what is known as Church's thesis, which states that any desirable definition of computability should coincide with recursiveness. ... Several appendixes serve as homes for ... distracting proofs of results needed in the main body of the text, or for solutions to selected instances of the abundant exercises. Summing Up: Recommended. Academic readers, upper-division undergraduates through researchers/faculty. (F. E. J. Linton, Choice, Vol. 46 (11), 2009)