Skriptes - Uni Bremen - Universität Bremen
Skriptes - Uni Bremen - Universität Bremen
Skriptes - Uni Bremen - Universität Bremen
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Abkürzungsverzeichnis<br />
bzw. ................................................................. beziehungsweise<br />
DEA ............................................ deterministischer endlicher Automat<br />
d.h. .........................................................................das heißt<br />
DTM ................................................deterministische Turingmaschine<br />
EBNF ..................................................erweiterte Backus-Naur-Form<br />
etc. ......................................................................... et cetera<br />
gdw. ...............................................................genau dann wenn<br />
geg. ..........................................................................gegeben<br />
i.a. ....................................................................im allgemeinen<br />
LBA .................................................... linear beschränkter Automat<br />
MPKP ................................ modifiziertes Postsches Korrespondenzproblem<br />
NEA ....................................... nichtdeterministischer endlicher Automat<br />
NP .................................................. nichtdeterministisch polynomiell<br />
NTM ...........................................nichtdeterministische Turingmaschine<br />
o.B.d.A. .................................. ohne Beschränkung der Allgemeingültigkeit<br />
PDA .......................................... pushdown automaton (Kellerautomat)<br />
dPDA ...............................................Deterministischer Kellerautomat<br />
PKP ................................................Postsches Korrespondenzproblem<br />
PL1 ......................................................Prädikatenlogik erster Stufe<br />
SAT ......................satisfiability problem (Erfüllbarkeitstest der Aussagenlogik)<br />
TM ...................................................... Turingmaschine (allgemein)<br />
u.a. ................................................................... unter anderem<br />
URM ................................................unbeschränkte Registermaschine<br />
vgl. ........................................................................ vergleiche<br />
z.B. ..................................................................... zum Beispiel<br />
□ ........................................................was zu beweisen war (q.e.d)<br />
169