|
![]() |
|||
|
||||
OverviewFull Product DetailsAuthor: Lutz Priese , Katrin ErkPublisher: Springer Fachmedien Wiesbaden Imprint: Springer Vieweg Edition: 4., akt. u. erw. Aufl. 2018 Dimensions: Width: 16.80cm , Height: 2.60cm , Length: 24.00cm Weight: 8.547kg ISBN: 9783662574089ISBN 10: 366257408 Pages: 499 Publication Date: 07 August 2018 Audience: Professional and scholarly , Professional & Vocational Format: Paperback Publisher's Status: Active Availability: Manufactured on demand ![]() We will order this item for you from a manufactured on demand supplier. Language: German Table of ContentsBegriffe und Notationen.- Eine kurze Einführung in die Aussagenlogik.- Grammatiken und formale Sprachen.- Reguläre Sprachen und endliche Automaten.- Kontextfreie Sprachen.- Turing-Maschinen.- Die Sprachklassen ℒ, ℒ0 und ℒ1.- Abschlusseigenschaften von Sprachklassen.- Berechenbarkeit.- Registermaschinen.- Rekursive Funktionen.- Unentscheidbare Probleme.- Alternative Berechnungsmodelle.- Komplexität.ReviewsAuthor InformationLutz Priese: Studium der Mathematik an der Westfälischen Wilhelms-Universität Münster, Promotion 1974; Habilitation in Informatik 1979 an der Universität Dortmund; C3-Professor für Informatik an der Universität-Gesamthochschule Paderborn 1980 – 1991; seit 1991 C4-Professor für Theoretische Informatik an der Universität Koblenz-Landau, Gründungsleiter des Instituts für Computervisualistik, Gründung einer Firma zur industriellen Bildverarbeitung, 1. Innovationspreis des Landes Rheinland-Pfalz 2000.Katrin Erk: Studium der Informatik an der Universität Koblenz-Landau, Promotion an der Universität des Saarlandes 2002; wissenschaftliche Mitarbeiterin am Institut für Computerlinguistik, Universität des Saarlandes 2002 – 2006; seit 2006 Professorin für Computerlinguistik an der University of Texas at Austin im Linguistics Department. Tab Content 6Author Website:Countries AvailableAll regions |