Re: MediaWiki2LaTeX Vortrag

Hallo Geza,

vielen Dank für die vielen Korrekturhinweise. Die Rechtschreibfehler 
habe ich nun behoben. Folie p18 ist in der Tat unübersichtlich. 
Vielleicht kann ich da mit graphviz oder inkscape noch was besseres 
basteln. p22 ist die schwierigste Folie im Vortrag. Das ganze ist halt 
ein Widerspruchsbeweis.

Das Pumping Lemma sagt ja: Wenn eine Sprache kontext frei ist, dann gibt 
es eine Zahl p für die dieser ganze Kram auf der Folie gilt. Was ich nun 
tue, ist, dass ich annehme das es eine solche Zahl p gibt und dann 
zeige, dass der Kram auf der Folie nicht gelten kann. Dafür konstruiere 
ich aus der Zahl p zunächst die Zeichenfolge s= (^p [^p )^p]^p. Weil 
aber die Länge von vxy kleine gleich p ist, kann u v^n x y^n z höchstens 
zwei direkt aufeinander folgende Klammertypen vermehren. Nehmen wir 
zunächst an dies seien ( und [ dann enthält der gepumpte String mehr 
öffnende als schließende Klammern und kann deswegen nicht in L liegen.

Für alles anderen Fälle geht das analog. Wenn da noch Fragen sind, frag 
gerne nochmal, nach.

Viele Grüße Dirk

On 19.08.24 19:30, Geza Giedke (via tex-d-l Mailing List) wrote:
> Hallo Dirk,
>
> danke auch von mir für die Arbeit am Programm und die Folien. Ich
> finde die Folien klar und konzentriert, an zwei Stellen hab ich etwas
> gestutzt:
>
> * die Folie p18 finde ich sehr unübersichtlich. Kann man die
> Baumstruktur evt mit Hervorhebungen oder Einrückungen noch sichtbarer
> machen?
> * auf p22 hat es mich eine Weile gekostet bis ich (glaube ich) den
> Beweis gesehen habe (dass es nämlich nicht möglich ist, s= (^p [^p )^p
> ]^p in der gewünschten Form uvxyz zu schreiben, weil v und y
> notwendigerweise nicht die gleiche Zahl an öffnenden bzw schliessenden
> Klammern enthalten können und somit die in 3. definierte Zeichenfolge
> für n>0 nicht erlaubt ist). Den Bezug zu der Formel am Ende ist mir
> nicht klar.:
>
> * Hier noch für die typo-Liste:
> - p23: "Korolla" -> "Korollar"; im letzten mal ist einmal "versuchen" zuviel
> - p26: "Vorlagenverbeitung" -> "Vorlagenver*ar*beitung"
> - p29: "vom den" -> "von den"
> - und auf der mediawiki2latex website: "devolved" -> "developed"
>
> Grüsse
>   Geza
>
> On Fri, Aug 2, 2024 at 3:44 PM Dirk Hünniger <[email protected]> wrote:
>

-- 
FAQ: http://texfragen.de/
Durchsuchbares Archiv: https://www.listserv.dfn.de/sympa/arc/tex-d-l 
Unsubscribe/Verwaltung: https://www.listserv.dfn.de/sympa/info/tex-d-l