|
|
libcats.org
Models of Computation and Formal LanguagesR. Gregory TaylorThis unique book presents a comprehensive and rigorous treatment of the theory of computability which is introductory yet self-contained. It takes a novel approach by looking at the subject using computation models rather than a limitation orientation, and is the first book of its kind to include software. Accompanying software simulations of almost all computational models are available for use in conjunction with the text, and numerous examples are provided on disk in a user-friendly format. Its applications to computer science itself include interesting links to programming language theory, compiler design theory, and algorithm design. The software, numerous examples, and solutions make this book ideal for self-study by computer scientists and mathematicians alike.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Arms and Armor: A Pictorial Archive from Nineteenth-Century Sources (Dover Pictorial Archive Series)Автор: Carol Belanger GraftonКатегория: Weapons
Размер книги: 34.19 Mb
Crime and Punishment: Perspectives from the HumanitiesАвтор: Austin Sarat (editor)
Размер книги: 1.88 Mb
The theory of electric and magnetic susceptibilitiesАвтор: John Hasbrouck Van VleckКатегория: P_Physics, PS_Solid state
Размер книги: 10.54 Mb
|
|
|