Ebook > Naturwissenschaft > Technik > Martin Hofmann & Martin Lange: Automatentheorie und Logik (PDF)

Martin Hofmann & Martin Lange
Automatentheorie und Logik

Support

Cover von Martin Hofmann & Martin Lange: Automatentheorie und Logik (PDF)

Das Buch beschäftigt sich mit der Theorie endlicher Automaten und den klassischen Resultaten wie den Sätzen von Richard Büchi und Michael Rabin. Die vier Teile des Buchs sind den unterschiedlichen Strukturen gewidmet: endliche Wörter, Bäume, endliche und unendliche Bäume. Jeder Teil endet mit Übungsaufgaben zum behandelten Stoff sowie Hinweisen auf weiterführende Literatur. Soweit Vorkenntnisse zur Theorie formaler Sprachen vorhanden sind, kann das Buch ohne weitere Hilfsmittel durchgearbeitet werden.

€22.97

Sprache Deutsch ● Format PDF ● ISBN 9783642180903 ● Verlag Springer Berlin Heidelberg ● Erscheinungsjahr 2011 ● herunterladbar 3 mal ● Währung EUR ● ID 6321897 ● Kopierschutz Adobe DRM

erfordert DRM-fähige Lesetechnologie

Ebooks vom selben Autor / Herausgeber

Martin Hofmann Martin Lange

93.663 Ebooks in dieser Kategorie

Cover von James Saling: Radioactive Waste Management

James Saling: Radioactive Waste Management

This reviews sources of radioactive waste and introduces radioactive decay and radiation shielding calculations. It covers technical and regulatory aspects of waste management with discussion questio …

Cover von Joanne K. Price: Basic Math Concepts

Joanne K. Price: Basic Math Concepts

FROM THE PREFACE In the years since the first edition, I have continued to consider ways in which the texts could be improved. In this regard, I researched several topics including how people learn …

Cover von Abbas (Adjunct Faculty, San Jose State University, CA) Moallem: Smart and Intelligent Systems

Abbas (Adjunct Faculty, San Jose State University, CA) Moallem: Smart and Intelligent Systems

‚The more we know about smart and intelligent systems and their use, the more productive organizations can become, and the more quality of life will improve.’— Gavriel Salvendy, President Academy of …

Cover von Chris Brady & Shayegan Omidshafiei: AI for Sports

Chris Brady & Shayegan Omidshafiei: AI for Sports

It seems that artificial intelligence (AI) is always just five years away, but it never arrives. Recently, however, developments have made the practical utility of game theory a genuine reality. Will …

Cover von H.C. (Adama Science and Technology University, Ethiopia) Ananda Murthy & H.P. (Department of Studies in Chemistry, Davangere University, Karnataka, India) Nagaswarupa: Multifunctional Inorganic Nanomaterials for Energy Applications

H.C. (Adama Science and Technology University, Ethiopia) Ananda Murthy & H.P. (Department of Studies in Chemistry, Davangere University, Karnataka, India) Nagaswarupa: Multifunctional Inorganic Nanomaterials for Energy Applications

Multifunctional Inorganic Nanomaterials for Energy Applications provides deep insight into the role of multifunctional nanomaterials in the field of energy and power generation applications. It …

Cover von Andreas Schmidt-Ott: Spark Ablation

Andreas Schmidt-Ott: Spark Ablation

Spark ablation has been used worldwide for decades. However, in many fields, the special properties of nanoparticles, which come into play especially for sizes <20 nm, are just beginning to be exp …

Cover von Yatish T. (Norfolk State University, Virginia, USA) Shah: Hybrid Power

Yatish T. (Norfolk State University, Virginia, USA) Shah: Hybrid Power

Hybrid energy systems integrate multiple sources of power generation, storage, and transport mechanisms and can facilitate increased usage of cleaner, renewable, and more efficient energy sources. Hy …

Cover von Lei Guo & Jin Jiang: Autonomous Safety Control of Flight Vehicles

Lei Guo & Jin Jiang: Autonomous Safety Control of Flight Vehicles

Aerospace vehicles are by their very nature a crucial environment for safety-critical systems. By virtue of an effective safety control system, the aerospace vehicle can maintain high performance des …

Cover von Robert L. Helmreich & Ashleigh C. Merritt: Culture at Work in Aviation and Medicine

Robert L. Helmreich & Ashleigh C. Merritt: Culture at Work in Aviation and Medicine

Published in 1998, culture forms a complex framework of national, organizational, and professional attitudes and values within which groups and individuals function. The reality and strength of cultu …

Cover von Helen Doe: SS Great Britain

Helen Doe: SS Great Britain

In SS Great Britain, Helen Doe provides a narrative account of this famous and historically important ship. Experimental and controversial, Great Britain led the way for iron shipbuilding and screw …

nächste Seite >>>