next up previous contents index
Next: Index Up: Überblick über Sprachen und Previous: Abschlusseigenschaften 89   Contents   Index


Entscheidbarkeit 90

  Wortproblem Leerheitsproblem Äquivalenzproblem Schnittproblem
Typ 3 ja mit $ O\left(n\right)$ ja ja ja
Det. kf. ja mit $ O\left(n\right)$ ja ja nein
Typ 2 ja mit $ O\left(n^{3}\right)$ ja nein nein
Typ 1 ja mit $ O\left(c^{n}\right)$ nein nein nein
Typ 0 nein nein nein nein



Marco Möller 18:11:27 24.10.2005