Chain Code Pictures

Chain Code Pictures

Ketten-Kode-Bilder (Chain Code Pictures) sind Bilder, die in erster Linie mit Hilfe von formalen Grammatiken erzeugt werden. Die von solchen Grammatiken generierten Wörter werden hierbei jeweils als genau ein Bild interpretiert, indem die einzelnen Buchstaben als Richtungen gedeutet werden und damit ein Zeichnen in einem Koordinatensystem beschrieben wird.

Inhaltsverzeichnis

Grundlagen

Gegeben sei das ganzzahlige Koordinatensystem \mathbb{Z} \times \mathbb{Z} und für jeden Punkt z = (m,n) \in \mathbb{Z} \times \mathbb{Z} seine Nachbarpunkte mit

u(z) = (m,n + 1), d(z) = (m,n − 1), r(z) = (m + 1,n), l(z) = (m − 1,n),

wobei u, d, r bzw. l intuitiv für den oberen (up), unteren (down), rechten (right) bzw. linken (left) Nachbarpunkt stehen.

Die Menge π von Richtungen sei mit π = {u,d,r,l} definiert.

Weiterhin versteht man unter einer Einheitsstrecke die Strecke, die durch zwei benachbarte Punkte verbunden wird. Das heißt, für jeden Punkt z = (m,n) \in \mathbb{Z} \times \mathbb{Z} und jede Richtung b \in \pi gibt es eine Strecke zwischen z und b(z) (diagonale Strecken sind damit ausgeschlossen). Eine Einheitsstrecke wird mit dem Punktepaar (z,b(z)) repräsentiert, wobei (z,b(z)) und (b(z),z) geometrisch gesehen gleich sind.

Ein (einfaches) Bild p sei eine endliche Menge von Einheitsstrecken und V(p) = \{z \vert (z,z^{'}) \in p \vee (z^{'},z) \in p \} die Menge aller Punkte von p.

Man nennt das Tripel (z,p,z'), wobei p ein einfaches Bild ist und z,z^{'} \in V(p) Anfangs- und Endpunkt heißen, gezeichnetes Bild.

Zwei einfache Bilder p und p' sind genau dann äquivalent – man schreibt p \equiv_b p^{'} –, wenn zwei Zahlen m,n \in \mathbb{Z} existieren, sodass (z,z^{'}) \in p dann und nur dann, wenn (z + (m,n),z^{'} + (m,n)) \in p^{'}. Analog heißen zwei gezeichnete Bilder q = (z1,p,z2) und q^{'} = (z_1^{'}, p^{'}, z_2^{'}) genau dann äquivalent – man schreibt q \equiv_d q^{'} –, wenn zwei Zahlen m,n \in \mathbb{Z} existieren, sodass (z,z^{'}) \in p dann und nur dann, wenn (z + (m,n),z^{'} + (m,n)) \in p^{'} und z_1^{'} = z_1 + (m,n), z_2^{'} = z_2 + (m,n). Intuitiv sind Bilder also bis auf Verschiebung im Koordinatensystem gleich. Wie man leicht zeigen kann, sind \equiv_b und \equiv_d Äquivalenzrelationen über der Menge aller einfachen bzw. gezeichneten Bilder.

Man bezeichnet ein einfaches Bild p als (einfaches) Unterbild des einfachen Bildes q, wenn ein einfaches Bild p' mit p^{'} \subseteq q und p \equiv_b p^{'} existiert.

Ein Bild p ist ein (einfaches) Ketten-Kode-Bild, wenn eine endliche Folge von Einheitsstrecken (z_0, z_1), (z_1, z_2), \ldots, (z_{n-2}, z_{n-1}), (z_{n-1}, z_n) mit n \in \mathbb{N} und zi = bi(zi − 1), b_i \in \pi, 1 \leq i \leq n existiert, sodass p = \bigcup_{k = 1}^{n} \{(z_{k-1}, z_k)\} gilt. Folglich ist ein Ketten-Kode-Bild stets zusammenhängend.

Generierung durch formale Grammatiken

Ketten-Kode-Bilder und Wörter

Auf Grund der Definition von Ketten-Kode-Bildern können jene mit Wörtern (Ketten-Kodes bzw. chain codes) über π assoziiert werden, indem einem Ketten-Kode-Bild p mit der Folge (z_0, z_1), (z_1, z_2), \ldots, (z_{n-2}, z_{n-1}), (z_{n-1}, z_n) und zi = bi(zi − 1), b_i \in \pi, 1 \leq i \leq n das Wort b_1 b_2 \cdots b_n \in \pi^{*} zugewiesen wird.

Andererseits weist man jedem Wort w \in \pi^{*} ein gezeichnetes Ketten-Kode-Bild (drawn chain code picture) dccp(w) induktiv wie folgt zu:

  • falls w = ε, dann dccp(w) = ((0,0), \emptyset, (0,0))
  • falls w = w'b, w^{'}\in \pi^{*}, b \in \pi und dccp(w') = ((0,0),p,z), dann dccp(w) = ((0,0), p \cup \{(z, b(z))\}, b(z))

Mit dccp(w) = ((0,0),p,z) ist bccp(w) = p das einfache Ketten-Kode-Bild (basic chain code picture) von w.

Nun können mit einer formalen Grammatik G = (N,π,P,S) Wörter erzeugt und als Ketten-Kode-Bilder interpretiert werden. Die Menge aller von G generierten Bilder sei dccp(L(G)) = \{ dccp(w) \vert w \in L(G) \} bzw. bccp(L(G)) = \{ bccp(w) \vert w \in L(G) \}, wobei L(G) die von G erzeugte Sprache (siehe Von G erzeugte Sprache) ist – man nennt sie auch Ketten-Kode-Bild-Sprache.

Beispiel

Sei G_1 = (\{S\}, \pi, \{S \to urdluS, S \to urdlu\}, S) eine gegebene formale Grammatik. Die von G1 erzeugte Sprache ist

L(G_1) = \{(urdlu)^n \vert n \in \mathbb{N}\} = \{urdlu, urdluurdlu, urdluurdluurdlu, \ldots\}.

Die Menge dccp(L(G1)) der von G1 erstellten Bilder ist in der nachstehenden Abbildung dargestellt:

Die Ketten-Kode-Bild-Sprache dccp(L(G1)). Der Anfangspunkt (0,0) eines Bildes ist mit einem grünen Kreis gekennzeichnet und der Endpunkt mit einem orangen Rechteck.

Man erhält also abzählbar viele Stapel beliebiger aber fester Höhe, die aus Quadraten der Kantenlänge 1 bestehen.

Hierarchie der Ketten-Kode-Bild-Sprachen

Analog zu formalen Sprachen wird eine Ketten-Kode-Bild-Sprache B regulär oder kontextfrei oder monoton (bzw. kontextsensitiv) oder rekursiv aufzählbar genannt, wenn es eine reguläre oder kontextfreie oder monotone (bzw. kontextsensitive) oder rekursiv aufzählbare formale Grammatik G gibt, sodass B = bccp(L(G)) gilt (siehe Chomsky-Hierarchie). Mit \mathcal{CCP}(REG), \mathcal{CCP}(CF), \mathcal{CCP}(CS) und \mathcal{CCP}(RE) bezeichnet man die Mengen (auch Familien) aller regulären, kontextfreien, monotonen und rekursiv aufzählbaren Ketten-Kode-Bild-Sprachen.

Eine wichtige Erkenntnis ist die Gültigkeit der Inklusionen bzw. Gleichheit \mathcal{CCP}(REG) \subset \mathcal{CCP}(CF) \subset \mathcal{CCP}(CS) = \mathcal{CCP}(RE). Somit betrachtet man in der Tat nur drei echte Familien.

Entscheidungsprobleme für Ketten-Kode-Bild-Sprachen

Klassische Entscheidungsprobleme

Wie für formale Sprachen lassen sich in gleichartiger Weise auch für Ketten-Kode-Bild-Sprachen wichtige Entscheidungsprobleme formulieren:

Bildproblem (auch Mitgliedsproblem)

  • Gegeben ist eine formale Grammatik G = (N,π,P,S) und ein Ketten-Kode-Bild p.
  • Gilt p \in bccp(L(G)), gibt es also ein Wort w \in L(G), sodass p = bccp(w) wahr wird?

Das Bildproblem ist für kontextfreie formale Grammatiken G entscheidbar und für kontextsensitive formale Grammatiken G unentscheidbar. Dabei ist dieses Problem bereits für reguläre formale Grammatiken G NP-vollständig.

1. spezielles Bildproblem

  • Gegeben ist eine formale Grammatik G = (N,π,P,S) und ein Ketten-Kode-Bild p.
  • Ist die Menge \{ w \vert w \in L(G) \wedge bccp(w) = p \} endlich?

Man fragt also danach, ob es endlich bzw. unendlich viele Wörter gibt, die das Ketten-Kode-Bild p erzeugen. Dieses Problem ist, wie das Bildproblem, für kontextfreie formale Grammatiken G entscheidbar und für kontextsensitive formale Grammatiken G unentscheidbar.

2. spezielles Bildproblem

  • Gegeben ist eine formale Grammatik G = (N,π,P,S) und ein Ketten-Kode-Bild p.
  • Hat die Menge \{ w \vert w \in L(G) \wedge bccp(w) = p \} genau ein Element?

Somit wird gefragt, ob das Ketten-Kode-Bild p von genau einem Wort w aus L(G) generiert wird. Dieses Problem ist abermals für kontextfreie formale Grammatiken G entscheidbar und für kontextsensitive formale Grammatiken G unentscheidbar.

Unterbildproblem

  • Gegeben ist eine formale Grammatik G = (N,π,P,S) und ein Ketten-Kode-Bild p.
  • Gibt es ein Ketten-Kode-Bild p^{'} \in bccp(L(G)), sodass p ein Unterbild von p' ist?

Das Unterbildproblem ist für kontextfreie formale Grammatiken G entscheidbar und für kontextsensitive formale Grammatiken G unentscheidbar.

Universelles Unterbildproblem

  • Gegeben ist eine formale Grammatik G = (N,π,P,S) und ein Ketten-Kode-Bild p.
  • Ist p ein Unterbild jedes Ketten-Kode-Bildes p^{'} \in bccp(L(G))?

Für reguläre formale Grammatiken G ist das universelle Unterbildproblem entscheidbar.

Leerheitsproblem

  • Gegeben ist eine formale Grammatik G = (N,π,P,S).
  • Ist die Menge bccp(L(G)) leer?

Das Leerheitsproblem ist für kontextfreie formale Grammatiken G entscheidbar und für kontextsensitive formale Grammatiken G unentscheidbar.

Endlichkeitsproblem

  • Gegeben ist eine formale Grammatik G = (N,π,P,S).
  • Ist die Menge bccp(L(G)) endlich?

Das Endlichkeitsproblem ist für kontextfreie formale Grammatiken G entscheidbar und für kontextsensitive formale Grammatiken G unentscheidbar.

Äquivalenzproblem

  • Gegeben sind zwei formale Grammatiken G1 = (N1,π,P1,S1) und G2 = (N2,π,P2,S2).
  • Gilt bccp(L(G1)) = bccp(L(G2)), erzeugen also beide Grammatiken über ihre Wörter dieselben Ketten-Kode-Bilder?

Das Äquivalenzproblem ist schon für reguläre formale Grammatiken G1 und G2 unentscheidbar.

Man beachte, dass auf Grund der in Abschnitt Hierarchie der Ketten-Kode-Bild-Sprachen festgestellten Inklusionen für jedes der genannten Probleme P mit der formalen Grammatik G und X = {REG,CF,CS} gilt:

  • wenn P für bccp(L(G)) \in \mathcal{CCP}(x) mit x \in X entscheidbar ist, ist P für eine formale Grammatik G' mit bccp(L(G^')) \in \mathcal{CCP}(x^'), x^' \in X und \mathcal{CCP}(x^') \subset \mathcal{CCP}(x) ebenso entscheidbar.
  • wenn P für bccp(L(G)) \in \mathcal{CCP}(x) mit x \in X unentscheidbar ist, ist P für eine formale Grammatik G' mit bccp(L(G^')) \in \mathcal{CCP}(x^'), x^' \in X und \mathcal{CCP}(x^') \supset \mathcal{CCP}(x) gleichfalls unentscheidbar.

Geometrische Entscheidungsprobleme

Zunächst seien einige geometrische Eigenschaften eines Ketten-Kode-Bilds p im Nachstehenden definiert:

  • p ist eine einfache Kurve, wenn alle Knoten von p höchstens den Grad 2 haben.
  • p nennt man geschlossene einfache Kurve, wenn alle Knoten von p genau den Grad 2 haben.
  • p heißt regulär, wenn alle Knoten von p den gleichen Grad besitzen.
  • p wird Baum genannt, wenn es keine geschlossene einfache Kurve als Teilbild enthält.
  • p ist eulersch, wenn alle Knoten von p einen graden Grad haben.
  • p wird als hamiltonsch bezeichnet, wenn p eine einfache Kurve als Teilbild hat, das alle Knoten von p enthält.

Untersuchungen haben gezeigt, dass bereits für reguläre formale Grammatiken G = (N,π,P,S) unentscheidbar ist, ob bccp(L(G))

  • eine einfache Kurve,
  • eine geschlossene einfache Kurve,
  • ein reguläres Bild,
  • einen Baum,
  • ein eulersches Bild,
  • ein hamiltonsches Bild

beinhaltet.

Hingegen ist für reguläre formale Grammatiken G = (N,π,P,S) entscheidbar, ob

  • alle Bilder von bccp(L(G)) geschlossene einfache Kurve sind,
  • alle Bilder von bccp(L(G)) Rechtecke sind,
  • bccp(L(G)) ein Rechteck enthält,
  • bccp(L(G)) ein konvexes Bild enthält.

Weiterhin kann für eine kontextfreie formale Grammatiken G = (N,π,P,S) entschieden werden, ob alle Bilder von bccp(L(G)) Bäume sind.

Verallgemeinerungen

Im Folgenden werden einige (informale) Anmerkungen über Erweiterungen und Verallgemeinerungen von Ketten-Kode-Bildern gemacht, um in gewisser Weise bessere Bilder zu erhalten.

Hinzufügen neuer Richtungen

Ein sicherlich intuitiver Ansatz Ketten-Kode-Bilder zu erweitern, ist das Hinzufügen neuer Richtungen zu den bereits vier bekannten: oben, unten, rechts und links. So können etwa für alle z = (m,n) \in \mathbb{Z} \times \mathbb{Z} die Nachbarpunkte

ur(z) = (m + 1,n + 1), ul(z) = (m − 1,n + 1), dl(z) = (m − 1,n − 1), dr(z) = (m + 1,n − 1),

ergänzt werden. Entsprechend erhält man die zusätzlichen Richtungen oben rechts (up right), oben links (up left), unten rechts (down right) und unten links (down left), und damit das neue Alphabet πF = {u,d,r,l,ur,ul,dl,dr}.

Die oben stehenden unentscheidbaren Probleme bezüglich des Alphabets π bleiben unter dem Alphabet πF ebenfalls unentscheidbar. Für die entscheidbaren Probleme verhält es sich ähnlich.

Farbige Ketten-Kode-Bilder

Will man farbige Ketten-Kode-Bilder erhalten, so kann das Alphabet π wie folgt verändert werden. Statt einfach nur Buchstaben für Richtungen zu verwenden, werden ihnen noch Farben zugewiesen. Sei etwa C eine endliche Mengen von Farben. Dann erhalten wir das neue Alphabet πC mit \pi_C = \pi \times C, das heißt die Buchstaben sind Paare der Form (b,c) für b \in \pi und c \in C.

Auch hier erhält man ähnliche Ergebnisse für die Un- und Entscheidbarkeit der obigen Probleme.

Nicht-zusammenhängende Ketten-Kode-Bilder

Ketten-Kode-Bilder sind stets zusammenhängend. Möchte man nicht-zusammenhängende Ketten-Kode-Bilder zulassen, kann man das Alphabet π um zwei Buchstaben erweitern, die gewissermaßen das Ab- und Ansetzen eines Zeichenstifts bedeuten. Das neue Alphabet sei dann \pi_\updownarrow = \{u, d, r, l, \uparrow, \downarrow\}.Intuitiv steht \uparrow für das Absetzen des Stifts und \downarrow für das Ansetzen. Für ein besseres Verständnis betrachte man das nachstehende von oben abgeänderte Beispiel.

Sei G_2 = (\{S\}, \pi_\updownarrow, \{S \to \downarrow{}u\uparrow{}r\downarrow{}d\uparrow{}luS, S \to \downarrow{}u\uparrow{}r\downarrow{}d\uparrow{}lu\}, S)

eine gegebene formale Grammatik. Die von G2 erzeugte Sprache ist

L(G_2) = \{(\downarrow{}u\uparrow{}r\downarrow{}d\uparrow{}lu)^n \vert n \in \mathbb{N}\}.

Die erzeugten Bilder sehen denen vom obigen Beispiel ähnlich, nur gibt es keine horizontalen Strecken, da genau dort der Stift immer abgesetzt wurde und bei den vertikalen wieder angesetzt wurde:

Die Menge der von G2 erzeugten Bilder. Der Anfangspunkt (0,0) eines Bildes ist mit einem grünen Kreis gekennzeichnet und der Endpunkt mit einem orangen Rechteck.

Analog zu Ketten-Kode-Bildern kann man auch hier die Familie \mathcal{CCP}_\updownarrow(X) mit X = {REG,CF,CS,RE} der Typen der Chomsky-Hierarchie aufstellen und erhält

\mathcal{CCP}_\updownarrow(REG) \subset \mathcal{CCP}_\updownarrow(CF) \subset \mathcal{CCP}_\updownarrow(CS) = \mathcal{CCP}_\updownarrow(RE)

und

\mathcal{CCP}(X) \subset \mathcal{CCP}_\updownarrow(X).

Bezüglich der oben stehenden Entscheidungsprobleme ist die Situation hier aufgrund des Nicht-Zusammenhangs der Bilder deutlich schlechter.

Generierung durch andere Grammatiken

Eine weitere Möglichkeit Ketten-Kode-Bild-Sprachen zu erzeugen, besteht darin andere Grammatiken zu verwenden. So kann man beispielsweise Lindenmayer-Systeme, Schildkröten-Grammatiken, Matrix-Grammatiken und Collage-Grammatiken für die Generierung von Ketten-Kode-Bildern benutzen.

Je nach Art des verwendeten Grammatik-Typs kann es sein, dass gewisse Bilder von keiner Grammatik eines Typs erzeugt werden können, jedoch von einer Grammatik anderen Typs. Insbesondere kann man zeigen, dass es Ketten-Kode-Bilder gibt, die von formalen Grammatiken aber nicht von Collage-Grammatiken produziert werden.

Literatur


Wikimedia Foundation.

Игры ⚽ Нужно сделать НИР?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Code: Breaker — Code:Breaker Cover of the first volume コード: ブレイカー (Kōdo:Bureikā) Genre Action, School Life, Supernatural, Comedy …   Wikipedia

  • Ketten-Code-Bilder — Ketten Kode Bilder (Chain Code Pictures) sind Bilder, die in erster Linie mit Hilfe von formalen Grammatiken erzeugt werden. Die von solchen Grammatiken generierten Wörter werden hierbei jeweils als genau ein Bild interpretiert, indem die… …   Deutsch Wikipedia

  • Code of Silence (film) — Code of Silence Promotional movie poster for the film Directed by Andrew Davis Produced by …   Wikipedia

  • Paramount Pictures — Infobox Company company name = Paramount Pictures Corporation company company type = Subsidiary parent = Paramount Motion Pictures Group owner = Gulf+Western (1966 1989) Paramount Communications (1989 1994) Old Viacom (now CBS Corporation) (1994… …   Wikipedia

  • RKO Pictures — Infobox Company company name = RKO Radio Pictures Inc. company company type = Corporation foundation = 1929 (as Radio Pictures Inc., subsidiary of Radio Keith Orpheum Corp.) location = 1270 Avenue of the Americas, New York, NY key people =… …   Wikipedia

  • Warner Bros. Pictures — Warner Bros.  Cet article traite de la Warner Bros. Pictures et de la Warner Bros. Entertainment plus généralement, pour les autres acceptations, voir Warner …   Wikipédia en Français

  • Warner Bros Pictures — Warner Bros.  Cet article traite de la Warner Bros. Pictures et de la Warner Bros. Entertainment plus généralement, pour les autres acceptations, voir Warner …   Wikipédia en Français

  • Orion Pictures — Corporation Former type Corporation Industry Motion pictures Fate Bankruptcy; sold to Metro …   Wikipedia

  • United States v. Paramount Pictures, Inc. — SCOTUSCase Litigants=United States v. Paramount Pictures, Inc. ArgueDate=Feb. 9 11 ArgueYear=1948 DecideDate=May 3 DecideYear=1948 FullName=United States v. Paramount Pictures, Inc. et al USVol=334 USPage=131 Citation= Prior=Injunction granted, U …   Wikipedia

  • Pre-Code — films were created before the Motion Picture Production Code or Hays Code censorship guidelines took effect on 1 July 1934 in the United States. A previous code of conduct for the film industry, introduced in 1930, was widely ignored and not… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”