www.matheraum.de
Das Matheforum.
Das Matheforum des MatheRaum.

Für Schüler, Studenten, Lehrer, Mathematik-Interessierte.
Hallo Gast!einloggen | registrieren ]
Startseite · Forum · Wissen · Kurse · Mitglieder · Team · Impressum
Forenbaum
^ Forenbaum
Status Mathe
  Status Schulmathe
    Status Primarstufe
    Status Mathe Klassen 5-7
    Status Mathe Klassen 8-10
    Status Oberstufenmathe
    Status Mathe-Wettbewerbe
    Status Sonstiges
  Status Hochschulmathe
    Status Uni-Analysis
    Status Uni-Lin. Algebra
    Status Algebra+Zahlentheo.
    Status Diskrete Mathematik
    Status Fachdidaktik
    Status Finanz+Versicherung
    Status Logik+Mengenlehre
    Status Numerik
    Status Uni-Stochastik
    Status Topologie+Geometrie
    Status Uni-Sonstiges
  Status Mathe-Vorkurse
    Status Organisatorisches
    Status Schule
    Status Universität
  Status Mathe-Software
    Status Derive
    Status DynaGeo
    Status FunkyPlot
    Status GeoGebra
    Status LaTeX
    Status Maple
    Status MathCad
    Status Mathematica
    Status Matlab
    Status Maxima
    Status MuPad
    Status Taschenrechner

Gezeigt werden alle Foren bis zur Tiefe 2

Navigation
 Startseite...
 Neuerdings beta neu
 Forum...
 vorwissen...
 vorkurse...
 Werkzeuge...
 Nachhilfevermittlung beta...
 Online-Spiele beta
 Suchen
 Verein...
 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
Mathe-Seiten:Weitere Fächer:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
StartseiteMatheForenFormale SprachenTuringmaschine
Foren für weitere Schulfächer findest Du auf www.vorhilfe.de z.B. Philosophie • Religion • Kunst • Musik • Sport • Pädagogik
Forum "Formale Sprachen" - Turingmaschine
Turingmaschine < Formale Sprachen < Theoretische Inform. < Hochschule < Informatik < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Formale Sprachen"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Turingmaschine: hilfeeee
Status: (Frage) beantwortet Status 
Datum: 11:27 Mi 03.12.2008
Autor: Yas

hallo zusammen,
Wenn man Turingmaschine definieren moechte, kann auch so angeben:

TM = (S, E, A, sigma, s0,Blank, F)
TM = ( {s0, s1, s2 ...} , {a,b} , {a,b,0,1,blank} , sigma, s0, blank, {sf} )

also kann man die Arbeits alphabet mehr als die eingabe definieren?

das geht darum diese frage:

Geben Sie jeweils eine deterministische Turingmaschine an, die das Gewünschte leistet. Kommentieren Sie die Überführungsfunktionen.

• T1 vertauscht alle as und bs der Eingabe und hält dann.

hier denke ich muss man alle a's -> 0 tauchen und b's -> 1 dann kann jeder 0->b und alle 1's -> a .. hat jemand ander idee?

• T2 akzeptiert genau die Binärzahlen, die durch 4 teilbar sind.

hier ist meine problem???? ich habe mir ueberlegt, dass wir wissen schon eine Binaer zahl / 4 ist wenn erste und 2. stelle 0 sind der rest egal !!
aber was macht die TM wenn der 1. oder 2. stelle 1 ist?? bleibt stehen ??

danke vielmals, wenn mir jemand hilfen kann ...

MFG

        
Bezug
Turingmaschine: Antwort
Status: (Antwort) fertig Status 
Datum: 07:45 Do 04.12.2008
Autor: bazzzty


> hallo zusammen,
>  Wenn man Turingmaschine definieren moechte, kann auch so
> angeben:
>  
> TM = (S, E, A, sigma, s0,Blank, F)
>  TM = ( {s0, s1, s2 ...} , {a,b} , {a,b,0,1,blank} , sigma,
> s0, blank, {sf} )
>  
> also kann man die Arbeits alphabet mehr als die eingabe
> definieren?

Nein. Das Arbeitsalphabet ist Teil der Maschine, so wie verschwiedene Binärcodes Grundlage der meisten echten Rechner sind. Man muß eben vorgeben, auf welchem Alphabet die Maschine operiert, und wie die Eingabe kodiert sein soll.


> das geht darum diese frage:
>  
> Geben Sie jeweils eine deterministische Turingmaschine an,
> die das Gewünschte leistet. Kommentieren Sie die
> Überführungsfunktionen.
>  
> • T1 vertauscht alle as und bs der Eingabe und hält dann.
>  
> hier denke ich muss man alle a's -> 0 tauchen und b's -> 1
> dann kann jeder 0->b und alle 1's -> a .. hat jemand ander
> idee?

Ich gehe davon aus, daß vor allem erstmal das Alphabet nicht aus "0" und "1" bestehen soll, sondern aus "a" und "b". Und dann muß man eine Überführungsfunktion angeben, die immer das aktuelle Zeichen ändert und dann nach links geht, bis _blank_ kommt. Dann wird angehalten. Dafür reichen zwei Zustände.

> • T2 akzeptiert genau die Binärzahlen, die durch 4 teilbar
> sind.
>  
> hier ist meine problem???? ich habe mir ueberlegt, dass wir
> wissen schon eine Binaer zahl / 4 ist wenn erste und 2.
> stelle 0 sind der rest egal !!
>  aber was macht die TM wenn der 1. oder 2. stelle 1 ist??
> bleibt stehen ??

Also zunächst ist die Frage, wie die Binärzahl auf dem Band steht, mit den "kleinen" oder mit den "großen" Stellen zuerst. Bei Dir stehen jetzt also die kleinen Bits zuerst.

Wie man ablehnt, ist zum Teil Definitionsfrage. Meistens ist das so definiert, daß ein Wort akzeptiert wird, wenn die Maschine in einem Endzustand aus F hält.


Bezug
                
Bezug
Turingmaschine: wie meinst du?
Status: (Frage) überfällig Status 
Datum: 09:31 Do 04.12.2008
Autor: Yas

Hallo,
also, wie meinst du mit kleinen oder Grossen zahl ?? also binaerzahlen sind 101100101 oder verstehe ich die frage nicht?


Bezug
                        
Bezug
Turingmaschine: Fälligkeit abgelaufen
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 14:20 Do 04.12.2008
Autor: matux

$MATUXTEXT(ueberfaellige_frage)
Bezug
                        
Bezug
Turingmaschine: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 19:43 Do 04.12.2008
Autor: bazzzty

Das bezog sich nur auf die Frage, in welcher Richtung man die Zahl auf das Band schreibt.

Bezug
                                
Bezug
Turingmaschine: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 20:15 Do 11.12.2008
Autor: Yas

vielen dank! es hat sich erledigt, meine loesung war richtig duerch deine hilfe ;)
lg

Bezug
                                        
Bezug
Turingmaschine: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 07:58 Fr 12.12.2008
Autor: bazzzty


> vielen dank! es hat sich erledigt, meine loesung war
> richtig duerch deine hilfe ;)
>  lg

Das freut mich, aber sieh es mal so: Sie war richtig, weil Du nicht einfach aufgehört hast, sondern weil Du nachgefragt hast. Ich sehe regelmäßig genug Stundenten, die das zu leichtfertig hinnehmen, wenn sie etwas nicht aus dem Stand lösen können. Weiter so!

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


^ Seitenanfang ^
www.matheforum.net
[ Startseite | Forum | Wissen | Kurse | Mitglieder | Team | Impressum ]