Availability: Theoretische Informatik | Technische Universität München

Theoretische Informatik: eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen

Saved in:

Bibliographic Details
Main Authors:	Asteroth, Alexander 1968- (Author), Baier, Christel (Author)
Format:	Book
Language:	German
Published:	München Pearson Studium 2003
Edition:	[Nachdr.]
Series:	Informatik
Subjects:	Theoretische Informatik Lehrbuch
Links:	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=012908479&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
Item Description:	Literaturverz. S. 415 - 417
Physical Description:	424 S. graph. Darst.
ISBN:	3827370337

Staff View

MARC


LEADER	00000nam a22000008c 4500
001	BV019540130
003	DE-604
005	20240712
007	t\|
008	041102s2003 gw d\|\|\| \|\|\|\| 00\|\|\| ger d
020			\|a 3827370337 \|9 3-8273-7033-7
035			\|a (OCoLC)249435368
035			\|a (DE-599)BVBBV019540130
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a ger
044			\|a gw \|c DE
049			\|a DE-91G \|a DE-860 \|a DE-1028 \|a DE-20 \|a DE-858 \|a DE-703 \|a DE-19 \|a DE-83 \|a DE-29 \|a DE-863
084			\|a ST 120 \|0 (DE-625)143585: \|2 rvk
084			\|a ST 130 \|0 (DE-625)143588: \|2 rvk
084			\|a DAT 500f \|2 stub
100	1		\|a Asteroth, Alexander \|d 1968- \|e Verfasser \|0 (DE-588)122534425 \|4 aut
245	1	0	\|a Theoretische Informatik \|b eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen \|c Alexander Asteroth ; Christel Baier
250			\|a [Nachdr.]
264		1	\|a München \|b Pearson Studium \|c 2003
300			\|a 424 S. \|b graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	0		\|a Informatik
500			\|a Literaturverz. S. 415 - 417
650		4	\|a Theoretische Informatik
650	0	7	\|a Theoretische Informatik \|0 (DE-588)4196735-5 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)4123623-3 \|a Lehrbuch \|2 gnd-content
689	0	0	\|a Theoretische Informatik \|0 (DE-588)4196735-5 \|D s
689	0		\|5 DE-604
700	1		\|a Baier, Christel \|e Verfasser \|0 (DE-588)12400301X \|4 aut
856	4	2	\|m HEBIS Datenaustausch Darmstadt \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=012908479&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-012908479

Record in the Search Index

DE-BY-TUM_call_number	0104 DAT 500f 2001 A 5820 0303 DAT 500 L 7380
DE-BY-TUM_katkey	1480593
DE-BY-TUM_location	01 03
DE-BY-TUM_media_number	040020090791 040010094852 040071156480 040071156491 040071156504 040071156515 040071156526
_version_	1821933088278577152
adam_text	ALEXANDER ASTEROTH CHRISTEL BAIER THEORETISCHE INFORMATIK EINE EINFUEHRUNG IN BERECHENBARKEIT, KOMPLEXITAET UND FORMALE SPRACHEN MIT 101 BEISPIELEN IVMSUN EIN IMPRINT DER PEARSON EDUCATION DEUTSCHLAND GMBH INHALTSVERZEICHNIS TEIL I BERECHENBARKEIT 1 1.1 1.2 1.3 1.4 2 2.1 2.2 2.3 2.4 TEIL 3 3.1 3.2 3.3 4 4.1 4.2 4.3 4.4 4.5 4.6 ABSTRAKTE RECHNERMODELLE REGISTERMASCHINEN TURINGMASCHINEN AEQUIVALENZ DER BERECHENBARKEITSBEGRIFFE UEBUNGEN ENTSCHEIDUNGSPROBLEME ENTSCHEIDBARBEIT UND SEMIENTSCHEIDBARKEIT DAS HALTEPROBLEM NICHTDETERMINISMUS UEBUNGEN II KOMPLEXITAET KOMPLEXITAETSKLASSEN ZEITKOMPLEXITAET PLATZKOMPLEXITAET UEBUNGEN DAS P-/VP-PROBLEM NP-VOLLSTAENDIGKEIT DER SATZ VON COOK WEITERE NP-VOLLSTAENDIGE PROBLEME DIE KLASSE CONP PSP/ICE-VOLLSTAENDIGKEIT UEBUNGEN 17 18 36 63 77 85 88 99 116 126 137 137 145 149 151 151 155 162 178 182 187 8 TEIL III FORMALE SPRACHEN 5 5.1 5.2 5.3 5.4 5.5 6 6.1 6.2 6.3 6.4 6.5 7 7.1 7.2 7.3 7.4 7.5 7.6 7.7 8 8.1 8.2 8.3 8.4 9 9.1 9.2 9.3 9.4 10 A B GRAMMATIKEN DIE CHOMSKY-HIERARCHIE SPRACHEN VOM TYP 0 KONTEXTSENSITIVE SPRACHEN DAS WORTPROBLEM FUER SPRACHEN VOM TYP 0 UND VOM TYP 1 UEBUNGEN REGULAERE SPRACHEN ENDLICHE AUTOMATEN EIGENSCHAFTEN REGULAERER SPRACHEN REGULAERE AUSDRUECKE MINIMIERUNG VON ENDLICHEN AUTOMATEN UEBUNGEN KONTEXTFREIE SPRACHEN GRUNDBEGRIFFE DIE CHOMSKY-NORMALFORM DER COCKE-YOUNGER-KASAMI-ALGORITHMUS EIGENSCHAFTEN KONTEXTFREIER SPRACHEN DIE GREIBACH-NORMALFORM KELLERAUTOMATEN UEBUNGEN DETERMINISTISCH KONTEXTFREIE SPRACHEN DETERMINISTISCHE KELLERAUTOMATEN LR(O) -GRAMMATIKEN LR(FC)-GRAMMATIKEN UEBUNGEN ENTSCHEIDUNGSPROBLEME FUER FORMALE SPRACHEN DAS POSTSCHE KORRESPONDENZPROBLEM UNENTSCHEIDUNGSERGEBNISSE FUER FORMALE SPRACHEN »SCHWIERIGE PROBLEME FUER REGULAERE SPRACHEN UEBUNGEN ZUSAMMENFASSUNG DIE GUETE VON ALGORITHMEN AUSSAGENLOGIK 195 196 210 211 215 218 221 221 236 252 260 272 277 277 283 289 292 296 299 312 317 318 324 367 380 381 382 392 400 403 405 407 409 FORMALE SPRACHEN 413 LITERATURVERZEICHNIS 415 REGISTER 419
any_adam_object	1
author	Asteroth, Alexander 1968- Baier, Christel
author_GND	(DE-588)122534425 (DE-588)12400301X
author_facet	Asteroth, Alexander 1968- Baier, Christel
author_role	aut aut
author_sort	Asteroth, Alexander 1968-
author_variant	a a aa c b cb
building	Verbundindex
bvnumber	BV019540130
classification_rvk	ST 120 ST 130
classification_tum	DAT 500f
ctrlnum	(OCoLC)249435368 (DE-599)BVBBV019540130
discipline	Informatik
edition	[Nachdr.]
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01725nam a22004218c 4500</leader><controlfield tag="001">BV019540130</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20240712 </controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">041102s2003 gw d\|\|\| \|\|\|\| 00\|\|\| ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3827370337</subfield><subfield code="9">3-8273-7033-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)249435368</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV019540130</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-1028</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-858</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-863</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 120</subfield><subfield code="0">(DE-625)143585:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 130</subfield><subfield code="0">(DE-625)143588:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 500f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Asteroth, Alexander</subfield><subfield code="d">1968-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)122534425</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Theoretische Informatik</subfield><subfield code="b">eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen</subfield><subfield code="c">Alexander Asteroth ; Christel Baier</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">[Nachdr.]</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">München</subfield><subfield code="b">Pearson Studium</subfield><subfield code="c">2003</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">424 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Informatik</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. 415 - 417</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Theoretische Informatik</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4123623-3</subfield><subfield code="a">Lehrbuch</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Baier, Christel</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)12400301X</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HEBIS Datenaustausch Darmstadt</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=012908479&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-012908479</subfield></datafield></record></collection>
genre	(DE-588)4123623-3 Lehrbuch gnd-content
genre_facet	Lehrbuch
id	DE-604.BV019540130
illustrated	Illustrated
indexdate	2024-12-20T12:01:01Z
institution	BVB
isbn	3827370337
language	German
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-012908479
oclc_num	249435368
open_access_boolean
owner	DE-91G DE-BY-TUM DE-860 DE-1028 DE-20 DE-858 DE-703 DE-19 DE-BY-UBM DE-83 DE-29 DE-863 DE-BY-FWS
owner_facet	DE-91G DE-BY-TUM DE-860 DE-1028 DE-20 DE-858 DE-703 DE-19 DE-BY-UBM DE-83 DE-29 DE-863 DE-BY-FWS
physical	424 S. graph. Darst.
publishDate	2003
publishDateSearch	2003
publishDateSort	2003
publisher	Pearson Studium
record_format	marc
series2	Informatik
spellingShingle	Asteroth, Alexander 1968- Baier, Christel Theoretische Informatik eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen Theoretische Informatik Theoretische Informatik (DE-588)4196735-5 gnd
subject_GND	(DE-588)4196735-5 (DE-588)4123623-3
title	Theoretische Informatik eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen
title_auth	Theoretische Informatik eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen
title_exact_search	Theoretische Informatik eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen
title_full	Theoretische Informatik eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen Alexander Asteroth ; Christel Baier
title_fullStr	Theoretische Informatik eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen Alexander Asteroth ; Christel Baier
title_full_unstemmed	Theoretische Informatik eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen Alexander Asteroth ; Christel Baier
title_short	Theoretische Informatik
title_sort	theoretische informatik eine einfuhrung in berechenbarkeit komplexitat und formale sprachen mit 101 beispielen
title_sub	eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen
topic	Theoretische Informatik Theoretische Informatik (DE-588)4196735-5 gnd
topic_facet	Theoretische Informatik Lehrbuch
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=012908479&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
work_keys_str_mv	AT asterothalexander theoretischeinformatikeineeinfuhrunginberechenbarkeitkomplexitatundformalesprachenmit101beispielen AT baierchristel theoretischeinformatikeineeinfuhrunginberechenbarkeitkomplexitatundformalesprachenmit101beispielen

Availability

Order (Login required)

Table of Contents
Order paper/chapter scan

Branch Library Mathematics & Informatics

Holdings details from Teilbibliothek Mathematik & Informatik
Call Number:	0104 DAT 500f 2001 A 5820 Floor plan
Copy 1	Not available for loan On Shelf
Copy 2	Not available for loan On Shelf

Branch Library Chemistry, Textbook Collection

Holdings details from Teilbibliothek Chemie, Lehrbuchsammlung
Call Number:	0303 DAT 500 L 7380 Floor plan
Copy 1	Available for loan On Shelf
Copy 2	Available for loan On Shelf
Copy 3	Available for loan On Shelf
Copy 4	Available for loan On Shelf
Copy 5	Available for loan On Shelf