Audio-/Videodatei publizieren
Theoretische Grundlagen der Informatik, WS 2015/2016, gehalten am 03.11.2015, Vorlesung - 04
Autor
Beteiligtes Institut
Institut für Theoretische Informatik (ITI)
Genre
Beschreibung
- 0:00:00 Starten
- 0:00:07 Wiederholung: Reguläre Ausdrücke
- 0:01:46 Satz: Reguläre Ausdrücke - Typ-3 Sprachen
- 0:02:25 Regulärer Ausdruck - NFA
- 0:02:53 RegExp - NFA
- 0:08:05 Beweis
- 0:19:15 Positive Hülle
- 0:20:17 Beweis
- 0:26:38 Kleensche Hülle
- 0:27:29 Beispiele
- 0:32:52 Exkurs: Anwendung Texte durchsuchen
- 0:37:34 Anwendung Scanner-(Generatoren)
- 0:40:16 Ähnliche Funktionaliät
- 0:41:39 Exkurs: Übergänge
- 0:43:02 NFA
- 0:43:39 Beispiel
- 0:44:56 RegExp - NEA
- 0:45:58 Positive Hülle
- 0:46:23 NFA
- 0:47:35 DFA - RegExp
- 0:50:05 Beweis
- 1:01:34 Beispiel
- 1:04:41 Das Pumping Lemma (für reguläre Sprachen)
- 1:08:18 Beweis Punping Lemma
- 1:12:18 Beispiel
- 1:14:41 Beispiel: Wohlgeformte Klammerausdrücke
Laufzeit (hh:mm:ss)
01:20:26
Serie
Theoretische Grundlagen der Informatik, Vorlesung, WS 2015/2016
Publiziert am
16.11.2015
Fachgebiet
Lizenz
| Auflösung | 1280 x 720 Pixel |
| Seitenverhältnis | 16:9 |
| Audiobitrate | 104308 bps |
| Audio Kanäle | 2 |
| Audio Codec | aac |
| Audio Abtastrate | 48000 Hz |
| Gesamtbitrate | 910304 bps |
| Farbraum | yuv420p |
| Container | mov,mp4,m4a,3gp,3g2,mj2 |
| Medientyp | video/mp4 |
| Dauer | 4826 s |
| Dateiname | DIVA-2015-761_hd.mp4 |
| Dateigröße | 4.096 byte |
| Bildwiederholfrequenz | 25 |
| Videobitrate | 799905 bps |
| Video Codec | h264 |
Mediathek-URL
Embed-Code
Theoretische Grundlagen der Informatik, Vorlesung, WS 2015/2016
Folgen 1-27
von 27
