AL

gistfile1.txt

{
 "metadata": {
  "name": "Untitled1"
 },
 "nbformat": 3,
 "nbformat_minor": 0,
 "worksheets": [
  {
   "cells": [
    {
     "cell_type": "markdown",
     "metadata": {},
     "source": "Die markierte Sprache hat normalerweise keinen Vorsilbenabschluss, da sie nur W\u00f6rter enth\u00e4lt, die in einem markierten Zustand enden; nicht aber W\u00f6rter, die 'auf dem Weg dorthin' auftreten k\u00f6nnen. In dem Beispiel 3 also die W\u00f6rter $ \\\\left\\\\{ b, ac, abc, abbc, abbbc, \\ldots \\\\right\\\\} $. Der Automat erzeugt dar\u00fcber hinaus auch noch die W\u00f6rter \n$\\\\left\\\\{\\epsilon, a, ab, abb, \\\\ldots\\\\right\\\\}$ (das ist die Menge $L(G) \\setminus L_m(G)$), die nicht markiert sind. In diesem Beispiel gibt es keine erzeugten W\u00f6rter, die nicht Vorsilbe eines markierten Wortes sind (In Mengen: $L(G) = \\overline{L_m(G)}$), also blockiert der Automat nicht.\n\n>> Interessant dazu ist das 3 Beispiel, das ich Ihnen geschickt habe. Die erzeugte und markierte Sprache enthalten zwar die gleichen W\u00f6rter, aber die markierte Sprache ist nicht vorsilbenabgeschlossen.\n\nDas kann man so nicht sagen - die beiden Mengen sind verschieden, sie enthalten nicht die gleichen W\u00f6rter. Die W\u00f6rter in der markierten Sprache sind in der erzeugten Sprache enthalten, es gilt also (nicht nur hier, sondern immer) $L_m(G) \\subseteq L(G)$. In diesem Fall ist die Ungleichung strikt, also $L_m(G) \\subset L(G)$, da nicht alle erzeugbaren W\u00f6rter markiert sind.\n"
    }
   ],
   "metadata": {}
  }
 ]
}