www.vorhilfe.de
- Förderverein -
Der Förderverein.

Gemeinnütziger Verein zur Finanzierung des Projekts Vorhilfe.de.
Hallo Gast!einloggen | registrieren ]
Startseite · Mitglieder · Impressum
Forenbaum
^ Forenbaum
Status VH e.V.
  Status Vereinsforum

Gezeigt werden alle Foren bis zur Tiefe 2

Navigation
 Startseite...
 Suchen
 Impressum
Das Projekt
Server und Internetanbindung werden durch Spenden finanziert.
Organisiert wird das Projekt von unserem Koordinatorenteam.
Hunderte Mitglieder helfen ehrenamtlich in unseren moderierten Foren.
Anbieter der Seite ist der gemeinnützige Verein "Vorhilfe.de e.V.".
Partnerseiten
Weitere Fächer:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
Forum "Formale Sprachen" - deterministischer Automat
deterministischer Automat < Formale Sprachen < Theoretische Inform. < Hochschule < Informatik < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Formale Sprachen"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

deterministischer Automat: Aufgabenverstaendnis
Status: (Frage) beantwortet Status 
Datum: 15:13 Mi 07.03.2012
Autor: HelpMan

Aufgabe
Konstruiere deterministische endliche Automaten fuer die folgende Sprache:

{w Element von {0,1}* | Es existiert ein i Element von {0,1}, so dass w mit i endet und count(i,w) mod2 = 0}

Die Automaten sollen als Zustandsgraphen angegeben werden.
Anmerkung: count(i,w) ist dabei die Funktion, welche die Zeichen i in w zaehlt.

Stehe momentan etwas auf dem Dampfer, da ich nicht genau verstehe, ob mit der Existenz genau nur ein Element existieren soll oder mindestens eins, welches mit den Eigenschaften behaftet ist.

Desweiteren verstehe ich gerade nicht bei der Formulierung, ob alle anderen Woerter dennoch produzierbar sein muessen.

Habt ihr vielleicht einen Ansatz oder Tipp?

        
Bezug
deterministischer Automat: Antwort
Status: (Antwort) fertig Status 
Datum: 00:33 Do 08.03.2012
Autor: sandp

hey,

> Konstruiere deterministische endliche Automaten fuer die
> folgende Sprache:
>  
> {w Element von {0,1}* | Es existiert ein i Element von
> {0,1}, so dass w mit i endet und count(i,w) mod2 = 0}
>  
> Die Automaten sollen als Zustandsgraphen angegeben werden.
>  Anmerkung: count(i,w) ist dabei die Funktion, welche die
> Zeichen i in w zaehlt.
>  Stehe momentan etwas auf dem Dampfer, da ich nicht genau
> verstehe, ob mit der Existenz genau nur ein Element
> existieren soll oder mindestens eins, welches mit den
> Eigenschaften behaftet ist.
>  

Formal ausgedrückt würde die erste Bedingung ja so aussehen:
[mm] \exists [/mm] i [mm] \in [/mm] {0,1}

und da das Wort mit i enden muss, muss es ja mindestens einmal vorkommen, aber wenn es nur einmal vorkommt wäre dann die letzte Bedingung(count(i,w) mod2 = 0) erfüllt?

Wie sehen also die Wörter aus, die in dieser Sprache liegen?

> Desweiteren verstehe ich gerade nicht bei der Formulierung,
> ob alle anderen Woerter dennoch produzierbar sein muessen.
>  

Was meinst du damit? "alle anderen Woerter" ?
Der Automat darf nur Wörter akzeptieren, die in der Sprache liegen.

> Habt ihr vielleicht einen Ansatz oder Tipp?


Bezug
Ansicht: [ geschachtelt ] | ^ Forum "Formale Sprachen"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien


^ Seitenanfang ^
ev.vorhilfe.de
[ Startseite | Mitglieder | Impressum ]