Gewichteter Automat

Der gewichtete Automat ist ein mathematisches Konzept aus der theoretischen Informatik, speziell aus der Automatentheorie. Es ist eine Verallgemeinerung des Automaten. Während die Transitionen eines (deterministischen oder nichtdeterministischen) Automaten mit Buchstaben des zugrundeliegenden Alphabets beschriftet sind, wird den Transitionen eines gewichteten Automaten zusätzlich ein bestimmtes Gewicht zugeordnet. Es kann zum Beispiel als Aufwand interpretiert werden der betrieben werden muss, um vom einen Zustand zum anderen zu gelangen, während eine bestimmte Aktion durchgeführt wird.

Mathematische Definition

Sei $\mathbb{K}=(K,+,\cdot,0,1)$ ein Halbring, Q eine nichtleere Menge und Σ ein Alphabet. Ein Fünftupel $\mathcal{A}=(Q,\Sigma,\delta,\lambda,\theta)$ heißt gewichteter Automat mit Kosten (Gewichten) in $\mathbb{K}$, falls: $\delta:Q\times \Sigma\times Q\rightarrow \mathbb{K}$, $\lambda:Q \rightarrow \mathbb{K}$ und $\theta:Q \rightarrow \mathbb{K}$. δ ist dann die Transitionsfunktion, λ sind die Einstiegsgewichte und θ die Ausstiegsgewichte.

Ein Pfad in einem gewichteten Automaten ist eine Folge $(q_0,a_1,q_1,a_2,...,a_n,q_n)\$, wobei $q_0,...,q_n\in Q$ Zustände und $a_1,...,a_n\in\Sigma$ Buchstaben sind. Die Beschriftung dieses Pfades lautet $a_1a_2...a_n\$. Das Gewicht eines solchen Pfades beträgt $\lambda(q_0)\cdot\left(\prod_{i=1,...,n}\delta(q_{i-1},a_i,q_i)\right)\cdot \theta(q_n)$. Also wird das Einstiegsgewicht mit den Gewichten der Transitionen und dem Ausstiegsgewicht multipliziert. Um für ein Wort $w=a_1a_2...a_n\in\Sigma^*$ das Gewicht zu berechnen, addiert der Automat die Gewichte aller Pfade mit der Beschriftung w zusammen. Die von einem Automaten berechnete Funktion $|\mathcal{A}|:\Sigma^*\rightarrow \mathbb{K}$ heißt auch formale Potenzreihe.

Beispiele

Ein Halbring, der bei gewichteten Automaten oft betrachtet wird ist der tropische Halbring, $\mathbb{T}=(R\cup \infty,min,+,\infty,0)$ wobei $\infty$ das neutrale Element bezüglich der Minimumsbildung und 0 das neutrale Element bezüglich der Addition ist. Bei Automaten über diesem Halbring ist Gewicht eines Wortes w das Minimum der Gewichte aller Pfade mit der Beschriftung w. Ein sehr konkretes Beispiel für einen gewichteten Automaten über $\mathbb{T}$ ist

zum Beispiel betragen hier die Einstiegskosten für q₁ 1. Die Transitionskosten von q₁ nach q₂ betragen für a $\infty$ und für b 2. Da im tropischen Halbring die erste Operation ("Addition") die Minimumbildung ist und die zweite Operation die Addition, ist für ein gegebenes Wort das Gewicht gerade das Minimum aller Summen entlang von Pfaden die mit diesem Wort beschriftet sind. Für das Wort aba ist zum Beispiel der Pfad $q_1,a,q_1,b,q_2,a,q_2\$ der einzige Pfad mit endlichem Gewicht und damit der minimale Pfad. Also sind die Kosten von aba genau 5.

Ein weiterer Halbring ist der Boolesche Halbring, $\mathbb{B}=(\{0,1\},\vee,\wedge,0,1)$ mit den beiden logischen Operationen "und" und "oder" und den neutralen Elementen "0"(=falsch) bezüglich "oder" und "1"(=wahr) bezüglich "und". Jeder endliche Automat $\mathcal{A}$ (nicht gewichtet) hat genau einen korrespondierenden Booleschen Automat $\mathcal{B}$. Die Transitionen von $\mathcal{A}$ koennen dabei in Transitionen in $\mathcal{B}$ übersetzt werden die das Gewicht "1" haben. Alle anderen Transitionen in $\mathcal{B}$ haben dann das Gewicht "0". In $\mathcal{B}$ haben dann genau die Pfade das Gewicht "1", die in $\mathcal{A}$ existieren. Daher sind gewichtete Automaten ein allgemeineres Konzept als endliche Automaten.