Formale Methoden I - Universität Bielefeld
Formale Methoden I - Universität Bielefeld
Formale Methoden I - Universität Bielefeld
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
86 Index<br />
Produkt, 21, 56<br />
kartesisches, 21<br />
Projektion, 20<br />
Reflexivität, 22<br />
Regel<br />
kontextfreie, 74<br />
kontextsensitive, 53<br />
Relation, 21<br />
konverse, 22<br />
symmetrische, 22<br />
relatives Komplement, 16<br />
Länge, 39<br />
Zustand, 63<br />
finaler, 63<br />
initialer, 63<br />
Zählreihe, 36<br />
Schnitt, 10<br />
Sprache, 44<br />
kontextfreie, 75<br />
reguläre, 62<br />
Startsymbol, 53<br />
Symmetrie, 22<br />
Teilmenge, 14<br />
echte, 14<br />
Teilwort, 42<br />
Tilgung, 51<br />
Transitivität, 22<br />
Universum, 82<br />
Variable, 10<br />
Vereinigung, 10<br />
Verkettung, 40, 56<br />
Vorbereich, 27<br />
Vorkommen, 43<br />
Wertebereich, 25<br />
Wort, 39<br />
Länge, 39<br />
leeres, 40<br />
Zeichenkette, 39
Change language