- Hauptmenü-

Katalogdatenanzeige

Formale Sprachen: Endliche Automaten, Grammatiken, lexikalische und syntaktische Analyse

Kataloginformation Katalogdatensatz500177472 .

Kataloginformation
Feldname	Details
Vorliegende Sprache	ger
Hinweise auf parallele Ausgaben	376562579 Buchausg. u.d.T.: ‡Böckenhauer, Hans-Joachim, 1970 - : Formale Sprachen
ISBN	978-3-658-00724-9
Name	Böckenhauer, Hans-Joachim
Name	Hromkovič, Juraj
ANZEIGE DER KETTE	Hromkovič, Juraj
T I T E L	Formale Sprachen
Zusatz zum Titel	Endliche Automaten, Grammatiken, lexikalische und syntaktische Analyse
Verlagsort	Wiesbaden
Verlag	Springer Vieweg
Erscheinungsjahr	2013
Erscheinungsjahr	2013
Umfang	Online-Ressource (VIII, 245 S. 84 Abb, digital)
Reihe	SpringerLink. Bücher
Notiz / Fußnoten	Description based upon print version of record
Weiterer Inhalt	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.
Titelhinweis	Buchausg. u.d.T.: ‡Böckenhauer, Hans-Joachim, 1970 - : Formale Sprachen
ISBN	ISBN 978-3-658-00725-6
Klassifikation	UGK
	COM072000
	UYM
	003.3
	QA76.9.C65
	ST 130
Kurzbeschreibung	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.
2. Kurzbeschreibung	Dieses Lehrbuch mit detailliert ausgearbeiteten Erklärungen und auf die Zielsetzungen fein abgestimmtem Training bietet einen einfachen Einstieg in die Theorie der formalen Sprachen. Es eignet sich gut für den Unterricht und das Selbststudium. Neben Gymnasiasten und Studienanfängern an Hochschulen richtet es sich auch an Lehramtsstudierende, insbesondere wenn sie sich mit der praktischen Umsetzung der Fachdidaktik für die Unterrichtsvorbereitung beschäftigen. Inhaltlich liegt der Fokus auf endlichen Automaten zur Systemsteuerung und zur Mustererkennung in Texten sowie auf Grammatiken zur Beschreibung von Programmiersprachen. Weiter werden erste Schritte im Compilerbau (lexikalische und syntaktische Analyse) unternommen. Die Leserinnen und Leser werden zur Bearbeitung von Projekten zur Darstellung und Analyse einfacher Programmiersprachen eingeladen. Inhalt 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 Zielgruppe Anfänger an Fachhochschulen (und Universitäten) im Fach Informatik Lehramtsstudierende Informatik Gymnasialschüler Informatik Autoren Dr. 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.
1. Schlagwortkette	Formale Sprache
	Endlicher Automat
	Lexikalische Analyse
	Kontextfreie Grammatik
	Syntaktische Analyse
	Lehrbuch
1. Schlagwortkette ANZEIGE DER KETTE	Formale Sprache -- Endlicher Automat -- Lexikalische Analyse -- Kontextfreie Grammatik -- Syntaktische Analyse -- Lehrbuch
2. Schlagwortkette	Formale Sprache
ANZEIGE DER KETTE	Formale Sprache
SWB-Titel-Idn	376062509
Signatur	Springer E-Book
Bemerkungen	Elektronischer Volltext - Campuslizenz
Elektronische Adresse	$uhttp://dx.doi.org/10.1007/978-3-658-00725-6
Internetseite / Link	Resolving-System
Siehe auch	Inhaltstext
Siehe auch	Volltext
Siehe auch	Cover

ISBD-Anzeige Katalogdatensatz500177472

Kategorien-Anzeige Katalogdatensatz500177472

Titel zur Titelsammlung hinzufügen Katalogdatensatz500177472

Kataloginformation500177472 Datensatzanfang . Kataloginformation500177472 Seitenanfang .

Titel vormerken Katalogdatensatz500177472

Vollanzeige Katalogdaten

Auf diesem Bildschirm erhalten Sie Katalog- und Exemplarinformationen zum ausgewählten Titel.

Im Bereich Kataloginformation werden die bibliographischen Details angezeigt. Per Klick auf Hyperlink-Begriffe wie Schlagwörter, Autoren, Reihen, Körperschaften und Klassifikationen können Sie sich weitere Titel des gewählten Begriffes anzeigen lassen.

Der Bereich Exemplarinformationen enthält zum einen Angaben über den Standort und die Verfügbarkeit der Exemplare. Zum anderen haben Sie die Möglichkeit, ausgeliehene Exemplare vorzumerken oder Exemplare aus dem Magazin zu bestellen.