gistfile1.txt

{
 "metadata": {
  "name": "Untitled1"
 },
 "nbformat": 3,
 "nbformat_minor": 0,
 "worksheets": [
  {
   "cells": [
    {
     "cell_type": "markdown",
     "metadata": {},
     "source": "Die Definition f\u00fcr Steuerbarkeit ist, dass ein vom (gesteuerten) Prozess erzeugtes Wort $\\in K$, auch nach Anh\u00e4ngen von beliebigen m\u00f6glichen (vom Prozess zugelassenen) und nicht steuerbaren Ereignissen $e \\in E_u$ noch in der Spezifikation enthalten sein muss. \nDas 'beliebig' in diesem Satz ist im Kleene-Abschluss der Definition dieser Worte $KE_u^\\ast$ ausgedr\u00fcckt. \nIm Kleene-Abschluss ist das leere Wort enthalten, und das ist im Beispiel das einzige Suffix aus unkontrollierbaren Ereignissen f\u00fcr 'ba', das der Prozess zul\u00e4sst, also $ba E_u^\\ast \\cap L(G) = \\\\{ba, baa, baaa, \\ldots\\\\} \\cap L(G) = ba$.\n"
    }
   ],
   "metadata": {}
  }
 ]
}