Please use this identifier to cite or link to this item:
http://thuvienso.bvu.edu.vn/handle/TVDHBRVT/15942| Title: | Models of Computation and Formal Languages |
| Authors: | Taylor, R. Gregory |
| Keywords: | Models Of Computation |
| Issue Date: | 1998 |
| Publisher: | Oxford University Press |
| Abstract: | Models of Computation and Formal Languages presents a comprehensive and rigorous treatment of the theory of computability. The text takes a novel approach focusing on computational models and is the first book of its kind to feature companion software. Deus Ex Machina, developed by Nicolae Savoiu, comprises software simulations of the various computational models considered and incorporates numerous examples in a user-friendly format. |
| Description: | Pages: 683 |
| URI: | http://thuvienso.bvu.edu.vn/handle/TVDHBRVT/15942 |
| ISBN: | 9780195109832 019510983X |
| Appears in Collections: | Công Nghệ TT |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 13-Models-of-Computation-and-Form.pdf | 30,92 MB | Adobe PDF | Sign in to read |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.