Trouver un exemplaire en ligne
Liens vers cet ouvrage
Veuillez indiquer si vous voulez ou non que les autres utilisateurs puissent voir dans votre profil que cette bibliothèque est l’une de vos préférées.
Trouver un exemplaire dans la bibliothèque
Recherche de bibliothèques qui possèdent cet ouvrage...
Détails
| Type d’ouvrage : | Ressource Internet |
|---|---|
| Format : | Livre, Ressource Internet |
| Tous les auteurs / collaborateurs : |
Ian Chiswell |
| ISBN : | 9781848009394 1848009399 1848009402 9781848009400 |
| Numéro OCLC : | 244653221 |
| Description : | ix, 157 p. : ill. ; 24 cm. |
| Contenu : | Preface.- Contents.- 1. Grammars and Machine Recognition.- 2. Recursive Functions.- 3. Recursively Enumerable Sets and Languages.- 4. Context-free language.- 5. Connections with Group Theory.- A. Results and Proofs Omitted in the Text.- B. The Halting Problem and Universal Turing Machines.- C. Cantor's Diagonal Argument.- D. Solutions to Selected Exercises.- References.- Index. |
| Titre de collection : | Universitext. |
| Responsabilité : | Ian Chiswell. |
Critiques
Synopsis de l’éditeur
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) Lire la suite...
Tags
Ouvrages semblables
Sujets associés :(6)
- Formal languages.
- Machine theory.
- Group theory.
- Formale Sprache.
- Gruppentheorie.
- Rekursive Funktion.

