• Die pre*-Operation
• Entscheidungsprobleme für CFGs
|
00:00:07
|
Die pre*-Operation |
|
00:14:48
|
Unproduktive/Unerreichbare/Nullierbare Symbole |
|
00:28:44
|
Das Endlichkeitsproblem |
|
00:37:00
|
Schnittleerheitsproblem |
|
00:48:09
|
Post'sche Korrespondenzproblem mit Beweis |
|
01:01:41
|
Eindeutigkeitsproblem |
|
01:14:06
|
Universalitätsproblem |
|
01:25:07
|
Sprachäquivalenz-/Inklusionsproblem |