|
|
|||
|
||||
OverviewFull Product DetailsAuthor: Hans-Joachim Böckenhauer , Juraj Hromkovic , Hans-Joachim BockenhauerPublisher: Springer Fachmedien Wiesbaden Imprint: Springer Vieweg Edition: 2013 ed. Weight: 0.435kg ISBN: 9783658007249ISBN 10: 3658007249 Pages: 245 Publication Date: 16 November 2012 Audience: Professional and scholarly , Professional & Vocational Format: Paperback Publisher's Status: Active Availability: Temporarily unavailable The supplier advises that this item is temporarily unavailable. It will be ordered for you and placed on backorder. Once it does come back in stock, we will ship it out to you. Language: German Table of Contents"Alphabete, Wörter und Sprachen.- Das Modell der endlichen Automaten.- Entwurf von endlichen Automaten.- Projekt ""Steuerungsautomaten"".- Induktionsbeweise der Korrektheit.- Simulation und modularer Entwurf endlicher Automaten.- Größe endlicher Automaten und Nichtexistenzbeweise.- Automaten mit Ausgabe und lexikalische Analyse.- Kontextfreie Grammatiken.- Syntaxanalyse von Programmen."ReviewsAuthor InformationDr. Hans-Joachim Böckenhauer war 1997-2005 wissenschaftlicher Mitarbeiter an der RWTH Aachen. Seit 2005 ist er wissenschaftlicher Mitarbeiter und seit 2008 Dozent an der ETH Zürich. Prof. Dr. Juraj Hromkovič war 1997-2003 Professor für Algorithmen und Komplexität an der RWTH Aachen. Seit Januar 2004 ist er Professor für Informatik an der ETH Zürich. Seit 2010 ist er Mitglied der Academia Europaea. Tab Content 6Author Website:Countries AvailableAll regions |