Codeselektion mit regulär gesteuerter Termersetzung:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Abschlussarbeit Buch |
| Sprache: | German |
| Veröffentlicht: |
München ; Wien
Oldenbourg
1994
|
| Schriftenreihe: | Gesellschaft für Mathematik und Datenverarbeitung <Sankt Augustin>: Berichte der Gesellschaft für Mathematik und Datenverarbeitung
241 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | 228 S. graph. Darst. |
| ISBN: | 3486232525 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV009945064 | ||
| 003 | DE-604 | ||
| 005 | 20200506 | ||
| 007 | t | ||
| 008 | 941205s1994 gw d||| m||| 00||| ger d | ||
| 016 | 7 | |a 942924142 |2 DE-101 | |
| 020 | |a 3486232525 |9 3-486-23252-5 | ||
| 035 | |a (OCoLC)231633195 | ||
| 035 | |a (DE-599)BVBBV009945064 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-12 |a DE-91G |a DE-739 |a DE-19 |a DE-706 |a DE-83 |a DE-11 |a DE-525 |a DE-188 | ||
| 084 | |a SI 210 |0 (DE-625)143104: |2 rvk | ||
| 084 | |a ST 140 |0 (DE-625)143592: |2 rvk | ||
| 084 | |a DAT 382d |2 stub | ||
| 084 | |a DAT 554d |2 stub | ||
| 100 | 1 | |a Emmelmann, Helmut |e Verfasser |0 (DE-588)1060923807 |4 aut | |
| 245 | 1 | 0 | |a Codeselektion mit regulär gesteuerter Termersetzung |c Helmut Emmelmann. Gesellschaft für Mathematik und Datenverarbeitung mbH |
| 264 | 1 | |a München ; Wien |b Oldenbourg |c 1994 | |
| 300 | |a 228 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Gesellschaft für Mathematik und Datenverarbeitung <Sankt Augustin>: Berichte der Gesellschaft für Mathematik und Datenverarbeitung |v 241 | |
| 502 | |a Zugl.: Karlsruhe, Univ., Diss., 1994 | ||
| 650 | 0 | 7 | |a Code |0 (DE-588)4010345-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Baumautomat |0 (DE-588)4376875-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Termersetzungssystem |0 (DE-588)4117189-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Auslese |0 (DE-588)4003800-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Codegenerierung |0 (DE-588)4010346-8 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Codegenerierung |0 (DE-588)4010346-8 |D s |
| 689 | 0 | 1 | |a Termersetzungssystem |0 (DE-588)4117189-5 |D s |
| 689 | 0 | 2 | |a Baumautomat |0 (DE-588)4376875-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Code |0 (DE-588)4010345-6 |D s |
| 689 | 1 | 1 | |a Auslese |0 (DE-588)4003800-2 |D s |
| 689 | 1 | |5 DE-604 | |
| 830 | 0 | |a Gesellschaft für Mathematik und Datenverarbeitung <Sankt Augustin>: Berichte der Gesellschaft für Mathematik und Datenverarbeitung |v 241 |w (DE-604)BV000001499 |9 241 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006589819&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
Datensatz im Suchindex
| _version_ | 1805067149951107072 |
|---|---|
| adam_text |
INHALTSVERZEICHNIS
1
EINLEITUNG
13
2
EINFUEHRUNG:
CODESELEKTION
MIT
REGULAER
GESTEUERTER
TERMERSETZUNG
15
2.1
CODESELEKTION
.
15
2.2
ABLEITUNGSPROBLEME
.
18
2.3
AUFBAUALGORITHMUS
.
19
2.4
VOLLSTAENDIGKEITSTEST
.
20
2.5
BAUMAUTOMATENTHEORIE
.
21
2.6
ABGESCHLOSSENHEITSTEST
.
23
2.7
SPONTANUEBERGANGSPROBLEM
.
23
2.8
BEHANDLUNG
VON
KOSTEN
.
24
2.9
GENERIERUNG
EINES
CODESELEKTORS
.
25
2.10
GESAMTUEBERBLICK
.
26
3
GRUNDLAGEN
UND
LITERATUR
29
3.1
GRUNDLEGENDE
BEGRIFFE
DER
CODESELEKTION
.
29
3.1.1
COMPILERMODELL
.
29
3.1.2
SCHNITTSTELLE
ZWISCHEN
TRANSFORMATIONSPHASE
UND
CODEGENERATOR
30
3.2
SPEZIFIKATIONSTECHNIKEN
FUER
CODESELEKTOREN
.
31
3.2.1
VERSCHIEDENE
SPEZIFIKATIONSTECHNIKEN
.
31
3.2.2
SPEZIFIKATIONSTECHNIKEN
MIT
(BAUM-)
GRAMMATIKEN
.
32
3.2.3
WEITERENTWICKLUNGEN
DER
BAUMGRAMMATIKSPEZIFIKATIONSTECHNIK
.
34
3.3
GENERIERUNG
VON
CODESELEKTOREN
.
35
3.3.1
DER
GRAHAM-GLANVILLE
ANSATZ
.
35
3.3.2
DYNAMISCHE
PROGRAMMIERUNG
.
36
3.3.3
ZUSTANDSUEBERGANGSTABELLEN
.
36
3.3.4
BURS-THEORIE
.
36
8
INHALTSVERZEICHNIS
3.4
AUTOMATENTHEORIE
.
38
3.4.1
ENDLICHE
AUTOMATEN
.
38
3.4.2
BAUMAUTOMATEN
.
38
3.4.3
BAUMTRANSDUKTOREN
.
39
3.4.4
BEWERTETE
BAUMAUTOMATEN
.
39
3.5
TERMERSETZUNG
.
39
3.5.1
KNUTH-BENDIX
VERFAHREN
.
40
3.5.2
BAUMTRANSFORMATOREN
.
41
3.5.3
GRUNDGLEICHUNGSSYSTEME
UND
GRUNDTERMERSETZUNGSSYSTEME
.
41
3.5.4
TERMERSETZUNGSREGELN
ALS
SCHEMA
FUER
GRUNDTERMERSETZUNGSREGELN
42
4
THEORIE
DER
BEWERTETEN
REGULAEREN
BAUMSPRACHEN:
TEILMENGENKON
STRUKTION,
MINIMIERUNG
UND
SPONTANUEBERGANGSPROBLEM
45
4.1
MOTIVATION
UND
ANFORDERUNGEN
.
45
4.2
GRUNDLAGEN
.
47
4.2.1
BAEUME
.
47
4.2.2
KOSTENWERTE
.
48
4.2.3
TERMERSETZUNGSSYSTEME
.
49
4.3
BEWERTETE
BAUMSPRACHEN
.
51
4.3.1
DEFINITION
.
51
4.3.2
EIGENSCHAFTEN
.
52
4.3.3
MAXIMALE
DIFFERENZ
VON
BAUMSPRACHEN
.
53
4.4
BEWERTETE
REGULAERE
BAUMSPRACHEN
.
55
4.4.1
BEWERTETE
BAUMGRAMMATIKEN
.
55
4.4.2
BEISPIELE
.
55
4.5
BAUMAKZEPTOREN
.
56
4.5.1
KONSTRUKTION
AUS
BAUMGRAMMATIKEN
.
58
4.5.2
ERREICHBARKEIT
.
59
4.5.3
LEGALE
KONTEXTE
.
59
4.5.4
ZUSTANDSDIFFERENZ
.
60
4.5.5
TEILAKZEPTOREN
.
61
4.5.6
VEREINIGUNG
VON
AKZEPTOREN
.
61
4.6
SPRACHERHALTENDE
TRANSFORMATIONEN
.
61
4.6.1
EINFACHE
TRANSFORMATIONEN
.
.
.
.
62
4.6.2
ERREICHBARKEIT
.
63
INHALTSVERZEICHNIS
9
4.6.3
UEBERFLUESSIGE
REGELN
.
64
4.6.4
KOSTENVERSCHIEBUNG
.
65
4.6.5
SPONTANUEBERGANGSPROBLEM
.
66
4.6.6
AEQUIVALENTE
ZUSTAENDE
.
68
4.6.7
BESCHRAENKUNG
AUF
EINEN
FINALZUSTAND
.
70
4.6.8
SPONTANUEBERGANGSELIMINATION
.
70
4.7
DETERMINISTISCHE
AKZEPTOREN
.
71
4.7.1
DEFINITION
.
71
4.7.2
VERHALTEN
.
71
4.7.3
ERZEUGTE
SPRACHEN
.
73
4.8
DETERMINISTISCHE
BEWERTETE
REGULAERE
BAUMSPRACHEN
.
75
4.8.1
ABGRENZUNG
ZU
DEN
INDETERMINISTISCHEN
REGULAEREN
BAUMSPRAECHEN
75
4.8.2
VEREINIGUNG
DETERMINISTISCHER
BAUMSPRACHEN
.
76
4.8.3
SUPREMUM
EINER
DETERMINISTISCHEN
BEWERTETEN
BAUMSPRACHE
.
.
77
4.9
KONSTRUKTION
DETERMINISTISCHER
AKZEPTOREN
.
80
4.9.1
DIE
BEWERTETE
TEILMENGENKONSTRUKTION
.
80
4.9.2
KONSTRUKTIONSALGORITHMUS
.
82
4.9.3
BEISPIEL
.
82
4.9.4
EIGENSCHAFTEN
DES
AKZEPTORS
T)
.
83
4.9.5
FEHLERZUSTAENDE
.
86
4.9.6
ERREICHBARE
ZUSTAENDE
.
87
4.10
MINIMIERUNG
UND
SPONTANUEBERGANGSPROBLEM
.
88
4.10.1
ZUSAMMENHANG
VON
,
UND
~
.
88
4.10.2
EIGENSCHAFTEN
VON
.
91
4.10.3
AKZEPTOR-HOMOMORPHISMEN
.
92
4.10.4
MINIMIERUNG
MITTELS
HOMOMORPHISMEN
.
93
4.10.5
ISOMORPHIE
MINIMALER
DETERMINISTISCHER
AKZEPTOREN
.
96
4.11
BERECHNUNG
VON
.
98
4.11.1
UEBERTRAGUNG
BEKANNTER
ALGORITHMEN
.
98
4.11.2
PRAEZISIERUNG
DER
PROBLEMSTELLUNG
.
99
4.11.3
UEBERBLICK
.
99
4.11.4
UNGLEICHUNGSSYSTEM
.
100
4.11.5
EIGENSCHAFTEN
DER
AEQUIVALENZKLASSEN
VON
RS
.
102
4.11.6
EIGENSCHAFTEN
DER
LOESUNGEN
DES
UNGLEICHUNGSSYSTEMS
.
104
10
INHALTSVERZEICHNIS
4.11.7
LOESUNG
DES
UNGLEICHUNGSSYSTEMS:
NAIVER
ALGORITHMUS
.
105
4.11.8
TERMINIERENDER
ALGORITHMUS
.
108
4.11.9
KOMBINIERTER
ALGORITHMUS
.
110
4.11.10
BESTIMMUNG
VON
0
AUS
P
.
111
4.11.11
HILFSSATZ
ZUR
GEGENBEISPIELBERECHNUNG
.
113
5
DER
ABGESCHLOSSENHEITSTEST
115
5.1
EINLEITUNG
.
115
5.2
ABGESCHLOSSENHEIT
VON
BAUMSPRACHEN
BE
ZUEG
LIEH
ERSETZUNGSREGELN
.
115
5.2.1
DER
NICHT-BEWERTETE
FALL
.
115
5.2.2
ANWENDUNG
DER
NICHT-BEWERTETEN
ABGESCHLOSSENHEIT
.
116
5.2.3
DIE
BEWERTETE
ABGESCHLOSSENHEIT
.
116
5.2.4
ANDERE
ANWENDUNG
DER
BEWERTETEN
ABGESCHLOSSENHEIT
.
116
5.3
ABGESCHLOSSENHEITSTEST
.
117
5.3.1
PROBLEMSTELLUNG
.
117
5.3.2
MOTIVATION
UND
INFORMELLE
DARSTELLUNG
.
117
5.3.3
LOESUNGSWEG
.
120
5.3.4
ABGESCHLOSSENHEITSBEDINGUNG
.
120
5.3.5
TESTEN
DER
ABGESCHLOSSENHEITSBEDINGUNG
.
124
5.4
K-GRUNDABGESCHLOSSENHEIT
.
124
5.4.1
K-GRUNDABLEITUNGEN
.
124
5.4.2
DEFINITION
DER
K-GRUNDABGESCHLOSSENHEIT
.
125
5.4.3
DIE
K-GRUNDABGESCHLOSSENHEITSBEDINGUNG
.
125
5.5
BERECHNUNG
VON
INFORMATIONEN
UEBER
GEGENBEISPIELE
.
127
6
TERMERSETZUNGSSYSTEME
UND
REGULAERE
BAUMSPRACHEN
129
6.1
PROBLEMSTELLUNG
.
129
6.2
REDUKTION
AUF
DAS
ABLEITUNGSPROBLEM
MIT
FESTEM
ZIEL
.
131
6.3
LOESUNG
DES
ABLEITUNGSPROBLEMS
MIT
FESTEM
ZIEL
FUER
GRUNDTERMERSET
ZUNGSSYSTEME
.
136
6.3.1
KONSTRUKTION
.
136
6.3.2
KORREKTHEIT
DER
KONSTRUKTION
.
137
6.4
LOESUNG
DES
ABLEITUNGSPROBLEMS
MIT
FESTEM
ZIEL:
AUFBAUALGORITHMUS
.
.
140
6.4.1
PROBLEMSTELLUNG
.
141
6.4.2
LOESUNGSIDEE
.
141
INHALTSVERZEICHNIS
11
6.4.3
LOESUNGSALGORITHMUS
IM
BEWERTETEN
FALL
.
144
6.5
VERWENDUNG
VON
GRUNDTERMERSETZUNGSSYSTEMEN
.
146
6.5.1
BESTIMMUNG
DER
AKZEPTORENFOLGE
A,
.
147
6.5.2
PROBLEMSTELLUNG
TERMINIERUNG
UND
FAIRNESS
.
148
6.5.3
DER
K-AUFBAUALGORITHMUS
.
149
6.5.4
SEMIENTSCHEIDUNGSALGORITHMUS
.
150
6.5.5
UNENTSCHEIDBARKEIT
DES
GRUNDINSTANZPROBLEMS
.
152
6.5.6
DIVERGENZ
.
153
6.5.7
AUSWAHL
VON
GEGENBEISPIELEN
.
154
7
SPEZIFIKATION
VON
CODESELEKTOREN
157
7.1
GRUNDLEGENDES
MODELL
.
157
7.1.1
DARSTELLUNG
MITTELS
TERMEN
.
159
7.1.2
TOTALE
ZUSTANDSUEBERGANGSFUNKTIONEN
.
160
7.1.3
SEMANTIK
DER
TERME
.
161
7.2
CODESELEKTORSPEZIFIKATIONEN
.
163
7.2.1
ZWISCHENSPRACHE
.
163
7.2.2
MASCHINENSPRACHE
.
165
7.2.3
STRUKTUR
EINER
CODESELEKTORSPEZIFIKATION
.
166
7.2.4
MASCHINENBESCHREIBUNG
.
166
7.2.5
ABBILDUNGSBESCHREIBUNG
.
167
7.3
WEITERE
SPEZIFIKATIONSTECHNIKEN
.
170
7.3.1
DIE
MASCHINENBESCHREIBUNG
DES
MC68020
.
170
7.3.2
DIE
ABBILDUNGSBESCHREIBUNG
DES
MC68020
.
172
7.3.3
BEISPIELABLEITUNGEN
.
173
7.4
ANMERKUNGEN
ZUM
DESIGN
EINER
CODESELEKTORBESCHREIBUNGSSPRACHE
.
.
.
174
8
ANMERKUNGEN
ZUR
IMPLEMENTIERUNG
177
8.1
IMPLEMENTIERUNG
DES
AUFBAUALGORITHMUS
.
177
8.1.1
UEBERBLICK
UEBER
DEN
ALGORITHMUS
.
177
8.1.2
BEWERTETE
TEILMENGENKONSTRUKTION
.
177
8.1.3
SPONTANUEBERGANGSPROBLEM
UND
MINIMIERUNG
.
177
8.1.4
ABGESCHLOSSENHEITSTEST
.
178
8.1.5
AUFBAUALGORITHMUS
.
179
8.1.6
WEITERE
EFFIZIENZBETRACHTUNGEN
.
179
8.1.7
VERKLEINERUNG
DES
INDETERMINISTISCHEN
AKZEPTORS
.
180
8.1.8
ERZEUGUNG
EINER
CODESELEKTORBESCHREIBUNG
.
180
8.2
IMPLEMENTIERUNG
EINES
CODEGENERATORGENERATORSYSTEMS
.
181
12
INHALTSVERZEICHNIS
9
PRAKTISCHE
ERFAHRUNGEN
183
9.1
BESCHREIBUNG
DES
PROTOTYPS
.
183
9.2
BEISPIEL
.
184
9.2.1
ABGESCHLOSSENHEITSTEST
.
185
9.2.2
WEITERE
VERARBEITUNG
VON
AS
.
188
9.3
MESSERGEBNISSE
.
189
9.3.1
ANWENDUNGSBEISPIEL
KONSTANTENFALTUNG
.
189
9.3.2
BEISPIEL
MC68020
CODESELEKTORBESCHREIBUNG
.
193
9.3.3
CODESELEKTOR
FUER
MODULA-2
AUF
SPARC
.
193
10
ZUSAMMENFASSUNG
UND
AUSBLICK
197
10.1
AUSBLICK
.
198
10.1.1
BEWERTETE
BAUMGRAMMATIKEN
.
198
10.1.2
REGULAER
GESTEUERTE
TERMERSETZUNG
.
198
10.1.3
CODEGENERIERUNG
.
199
A
UEBERSICHT
DER
VERWENDETEN
SYMBOLE
209
B
MC68020
CODESELEKTOR
215
C
SPARC
-
CODESELEKTOR
219
C.L
SPARC-MASCHINENBESCHREIBUNG
.
219
C.2
MOBIL-SPARC
ABBILDUNGSBESCHREIBUNG
.
223
C.3
PROGRAMMBEISPIEL
.
227 |
| any_adam_object | 1 |
| author | Emmelmann, Helmut |
| author_GND | (DE-588)1060923807 |
| author_facet | Emmelmann, Helmut |
| author_role | aut |
| author_sort | Emmelmann, Helmut |
| author_variant | h e he |
| building | Verbundindex |
| bvnumber | BV009945064 |
| classification_rvk | SI 210 ST 140 |
| classification_tum | DAT 382d DAT 554d |
| ctrlnum | (OCoLC)231633195 (DE-599)BVBBV009945064 |
| discipline | Informatik Mathematik |
| format | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV009945064</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20200506</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">941205s1994 gw d||| m||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">942924142</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3486232525</subfield><subfield code="9">3-486-23252-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)231633195</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009945064</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-12</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-525</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SI 210</subfield><subfield code="0">(DE-625)143104:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 140</subfield><subfield code="0">(DE-625)143592:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 382d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 554d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Emmelmann, Helmut</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1060923807</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Codeselektion mit regulär gesteuerter Termersetzung</subfield><subfield code="c">Helmut Emmelmann. Gesellschaft für Mathematik und Datenverarbeitung mbH</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">München ; Wien</subfield><subfield code="b">Oldenbourg</subfield><subfield code="c">1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">228 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="1" ind2=" "><subfield code="a">Gesellschaft für Mathematik und Datenverarbeitung <Sankt Augustin>: Berichte der Gesellschaft für Mathematik und Datenverarbeitung</subfield><subfield code="v">241</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="a">Zugl.: Karlsruhe, Univ., Diss., 1994</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Code</subfield><subfield code="0">(DE-588)4010345-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Baumautomat</subfield><subfield code="0">(DE-588)4376875-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Termersetzungssystem</subfield><subfield code="0">(DE-588)4117189-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Auslese</subfield><subfield code="0">(DE-588)4003800-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Codegenerierung</subfield><subfield code="0">(DE-588)4010346-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Codegenerierung</subfield><subfield code="0">(DE-588)4010346-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Termersetzungssystem</subfield><subfield code="0">(DE-588)4117189-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Baumautomat</subfield><subfield code="0">(DE-588)4376875-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Code</subfield><subfield code="0">(DE-588)4010345-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Auslese</subfield><subfield code="0">(DE-588)4003800-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Gesellschaft für Mathematik und Datenverarbeitung <Sankt Augustin>: Berichte der Gesellschaft für Mathematik und Datenverarbeitung</subfield><subfield code="v">241</subfield><subfield code="w">(DE-604)BV000001499</subfield><subfield code="9">241</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</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=006589819&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV009945064 |
| illustrated | Illustrated |
| indexdate | 2024-07-20T03:29:39Z |
| institution | BVB |
| isbn | 3486232525 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006589819 |
| oclc_num | 231633195 |
| open_access_boolean | |
| owner | DE-12 DE-91G DE-BY-TUM DE-739 DE-19 DE-BY-UBM DE-706 DE-83 DE-11 DE-525 DE-188 |
| owner_facet | DE-12 DE-91G DE-BY-TUM DE-739 DE-19 DE-BY-UBM DE-706 DE-83 DE-11 DE-525 DE-188 |
| physical | 228 S. graph. Darst. |
| publishDate | 1994 |
| publishDateSearch | 1994 |
| publishDateSort | 1994 |
| publisher | Oldenbourg |
| record_format | marc |
| series | Gesellschaft für Mathematik und Datenverarbeitung <Sankt Augustin>: Berichte der Gesellschaft für Mathematik und Datenverarbeitung |
| series2 | Gesellschaft für Mathematik und Datenverarbeitung <Sankt Augustin>: Berichte der Gesellschaft für Mathematik und Datenverarbeitung |
| spelling | Emmelmann, Helmut Verfasser (DE-588)1060923807 aut Codeselektion mit regulär gesteuerter Termersetzung Helmut Emmelmann. Gesellschaft für Mathematik und Datenverarbeitung mbH München ; Wien Oldenbourg 1994 228 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Gesellschaft für Mathematik und Datenverarbeitung <Sankt Augustin>: Berichte der Gesellschaft für Mathematik und Datenverarbeitung 241 Zugl.: Karlsruhe, Univ., Diss., 1994 Code (DE-588)4010345-6 gnd rswk-swf Baumautomat (DE-588)4376875-1 gnd rswk-swf Termersetzungssystem (DE-588)4117189-5 gnd rswk-swf Auslese (DE-588)4003800-2 gnd rswk-swf Codegenerierung (DE-588)4010346-8 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Codegenerierung (DE-588)4010346-8 s Termersetzungssystem (DE-588)4117189-5 s Baumautomat (DE-588)4376875-1 s DE-604 Code (DE-588)4010345-6 s Auslese (DE-588)4003800-2 s Gesellschaft für Mathematik und Datenverarbeitung <Sankt Augustin>: Berichte der Gesellschaft für Mathematik und Datenverarbeitung 241 (DE-604)BV000001499 241 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006589819&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Emmelmann, Helmut Codeselektion mit regulär gesteuerter Termersetzung Gesellschaft für Mathematik und Datenverarbeitung <Sankt Augustin>: Berichte der Gesellschaft für Mathematik und Datenverarbeitung Code (DE-588)4010345-6 gnd Baumautomat (DE-588)4376875-1 gnd Termersetzungssystem (DE-588)4117189-5 gnd Auslese (DE-588)4003800-2 gnd Codegenerierung (DE-588)4010346-8 gnd |
| subject_GND | (DE-588)4010345-6 (DE-588)4376875-1 (DE-588)4117189-5 (DE-588)4003800-2 (DE-588)4010346-8 (DE-588)4113937-9 |
| title | Codeselektion mit regulär gesteuerter Termersetzung |
| title_auth | Codeselektion mit regulär gesteuerter Termersetzung |
| title_exact_search | Codeselektion mit regulär gesteuerter Termersetzung |
| title_full | Codeselektion mit regulär gesteuerter Termersetzung Helmut Emmelmann. Gesellschaft für Mathematik und Datenverarbeitung mbH |
| title_fullStr | Codeselektion mit regulär gesteuerter Termersetzung Helmut Emmelmann. Gesellschaft für Mathematik und Datenverarbeitung mbH |
| title_full_unstemmed | Codeselektion mit regulär gesteuerter Termersetzung Helmut Emmelmann. Gesellschaft für Mathematik und Datenverarbeitung mbH |
| title_short | Codeselektion mit regulär gesteuerter Termersetzung |
| title_sort | codeselektion mit regular gesteuerter termersetzung |
| topic | Code (DE-588)4010345-6 gnd Baumautomat (DE-588)4376875-1 gnd Termersetzungssystem (DE-588)4117189-5 gnd Auslese (DE-588)4003800-2 gnd Codegenerierung (DE-588)4010346-8 gnd |
| topic_facet | Code Baumautomat Termersetzungssystem Auslese Codegenerierung Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006589819&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000001499 |
| work_keys_str_mv | AT emmelmannhelmut codeselektionmitregulargesteuertertermersetzung |