Posts Tagged ‘proof’

Eine Sprache ist nicht regulär – Beweis mit dem Pumping-Lemma

Graph of a Deterministic finite state machine

Reguläre Sprachen können von endlichen Automaten erkannt werden. Das bedeutet, dass eine endliche Anzahl an Zuständen ausreicht, um ein Wort der Sprache zu akzeptieren. Wenn also eine Sprache beschrieben wird, müsste gezählt werden, wie oft a vorkommt. a kann aber beliebig oft vorkommen. Das ist ein Indiz dafür, dass es sich nicht um eine reguläre [...]

Wie führe ich einen sauberen Beweis?

Eulers formula

In der Mathematik spielen Beweise eine zentrale Rolle. Es gibt verschiedene Beweisarten, aber im folgenden will ich nur einen direkten Beweis führen. Dieses Beispiel wurde in der Übung zu Analysis I von Herrn Bolleyer gemacht. Gliederung Beweise kann man in drei Teile gliedern: Voraussetzungen: Hier werden spezielle Objekte, die im Beweis benötigt werden, definiert. Behauptung: [...]