Formale Systeme, Automaten, Prozesse: Prozesse (Mo, 10.07.2017)
Zur Veranstaltungsseite
  • Einbetten

Beschreibung:

• Wiederholung Kontextfreie Sprachen
• Synchronisierte Produkte von Automaten

Kapitel:

00:00:05
Wiederholung kontextfreie Sprachen
00:25:42
Modellierung nebenläufiger Systeme
00:41:07
Beispiel
00:56:44
Synchronisiertes Produkt
01:12:14
Unsynchronisiertes Produkt
01:19:24
Mutual-Exclusion-Problem