Beweis der Nichtregelmäßigkeit, basierend auf der Kolmogorov-Komplexität

Im Unterricht zeigte uns unser Professor drei Methoden zum Nachweis der Nichtregelmäßigkeit:

Myhill-Nerode-Theorem
Pumping Lemma für reguläre Sprachen
Beweis der Nichtregelmäßigkeit, basierend auf der Kolmogorov-Komplexität

Jetzt habe ich die ersten beiden, Myhill-Nerode-Theorem und Pumping-Lemma, gut verstanden und konnte auch die Übungen zu den ersten beiden Methoden machen. Aber den dritten habe ich nicht verstanden. Die Definition der dritten Methode lautet wie folgt:

Sei eine reguläre Sprache. Sei für jedes . Dann existiert eine Konstante , so dass für alle $\ L \subseteq (\Sigma_{bool})^*$ $\ L_x=\{ y \in (\Sigma_{bool})^* | xy\in L \}$ $\ x \in (\Sigma_{bool})^*$ $\ c$ $\ x,y \in (\Sigma_{bool})^*$

$\ K(y) \leq \lceil log_2(n+1)\rceil+c$

wenn das n-te Wort in der Sprache . $\ y$ $\ L_x$

Jetzt verstehe ich nicht, wie ich diesen Satz verwenden soll, um zu beweisen, dass eine Sprache nicht regelmäßig ist. Ich verstehe das Konzept nicht wirklich. Wir haben die Kolmogorov-Komplexität zuvor verwendet, um die Länge des kürzesten Computerprogramms eines Objekts zu bestimmen. Wie beweist man mit diesem Satz die Unregelmäßigkeit? Und was ist der Gedanke dahinter?

Vielen Dank!

formal-languages regular-languages proof-techniques kolmogorov-complexity gammaALpha
quelle

Antworten:

Meines Wissens ist dies kein "klassischer" Ansatz zur Charakterisierung regulärer Sprachen.

Dieser Ansatz wird in "Ein neuer Ansatz zur formalen Sprachtheorie durch Kolmogorov-Komplexität" von Ming Li und Paul MB Vitanyi diskutiert (siehe Abschnitt 3.1).

$L$

$L=\left\{1^p|\text{p is prime}\right\}$

$x\in\Sigma^*$ $L_x=\left\{y| \hspace{1mm} xy=1^p \land \text{p is prime}\right\}$ $x=1^{p'}$ $p'$ $k$ $y_1$ $L_x$ $y_1=1^{p-p'}$ $p$ $k+1$ $K(y_1)\le c$ $n=1$ $c$ $L$

$x$ $S=\left\{y_1^x| x=1^p \text{ for prime $p$ } \land \text{$y_1^x$ is the first string in $L_x$}\right\}$ $c$ $S$ $S=\left\{1^{p_{k+1}-p_k} | k\ge 1\right\}$ $p_k$ $k$ $S$ $L$

Ariel
quelle

Ich wusste nichts von dieser Technik. Möchten Sie eine Antwort auf unsere Referenzfrage hinzufügen ?

Raphael

Ja, ich kann später eine hinzufügen. Ich muss allerdings zugeben, dass auch ich diese Technik nicht kannte, sondern nur auf dieses Papier gestoßen bin, nachdem ich die Frage von op nachgeschlagen hatte. Ich bin mir nicht sicher, wie beliebt (im Vergleich zu anderen Methoden) diese Technik war. Das Papier in Arxiv wurde tatsächlich 1995 in SIAM veröffentlicht, ist also nicht so neu, wie ich zuerst dachte (immer noch interessanter und origineller Ansatz).

Ariel

1^{p - p^{'}}

$\ 1^{p-p'}$

L_{x}

$\ L_x$

y_{1} = 1^{p^{'} - p}

$\ y_1 = 1^{p'-p}$

x = 1^{p^{'}}

$x=1^{p'}$

L

$L$

x

$x$

y_{1}^{x} = 1^{p - p^{'}}

$y_1^x=1^{p-p'}$

p

$p$

x y_{1}^{x} = 1^{p^{'} + (p - p^{'})} = 1^{p}

$xy_1^x=1^{p'+(p-p')}=1^p$

x

$x$

y_{1}^{x}

$y_1^x$

y_{1}^{x}

$y_1^x$

$L_{ww} = \{ww \mid w \in \{0,1\}^* \}$

Ich gebe Ihnen einen sehr informellen Beweis in der Hoffnung, dass er Ihnen helfen kann, die Rolle der Kolmogorov-Komplexität besser zu verstehen.

$D$ $L_D$ $x = yz$ $y$ $x$ $L_D$ $z$

$L_{ww}$ $D_{ww}$

$y$ $|y| = n \gg |D|$

$x=y z$ $y$ $D_{ww}$ $q_i$ $z$ $x = y z$ $yz = ww$

 Let y = 10110
       y   z
 x = 10110 0  >> rejected
 x = 10110 1  >> accepted  (w=101, |y|>|z|)
 x = 10110 00 >> rejected
 x = 10110 01 >> rejected
 ....
 x = 10110 10110 >> accepted  (w=10110,  |y|=|z| !!!)
 ....
 x = 10110 1101101 >> accepted (w=101101, |z|<|y|

$z$ $|y|$ $z = y$

$D_{ww}$ $q_i$ $y$ $|y|$ $D_{ww}$ $2^{|y|}$ $z=y$

$\ell = |D_{ww}| + \log{i} + \log y + c$

$|D_{ww}|$ $D_{ww}$ $\log i$ $q_i$ $\log y$ $y$ $c$

$y$ $y$ $\ell < |y|$ $y$

Vor
quelle

Ich wusste nichts von dieser Technik. Möchten Sie eine Antwort auf unsere Referenzfrage hinzufügen ?

Raphael