Side 1 av 1

Turing machines, logikk og beregninger

Lagt inn: 12/03-2013 12:47
av Oddis88
Dette er ikke matematikk. Men jeg vet ikke hvor andre steder jeg skal spørre om hjelp. Er det noen her som kan noe som turing maskiner? Evt vet hvor eg kan finne svar? oppgaven ser slik ut. Klippet ut fra diskusjon.no der jeg laget en post om det samme uten hell. har også prøvd stackoverflow forumet og physicsforum.
Heisann!

Jeg sitter med turing machiner innenfor logikk og beregninger.

La oss tenke oss at vi har en kjøring på en turing maskin T . Vi kan an-
skueliggjre kjøringen ved å legge tapen for tidspunkt 0, tidspunkt 1, tid-
spunkt 2 og så videre under hverandre og vi far en tabell

da vil det jo se slik ut (R er for en merket rute, altså ruten som blir lest og skrevet på)

x x x x x R x x x
x x x x x x R x x
x x x x x x x R x
x x x x x x R x x
x x x x x R x x x
x x x x R x x x x
x x x R x x x x x
x x x x R x x x x
x x x R x x x x x

Det jeg lurer på er hva som svarer til tapen til turing machine i et gitt tidspunkt?

//RESSURSER
Vil tid tilsvare hvor mange ganger tapen flytter seg på en eller annen input ved start? Hvordan finner man isåfall ut dette?

Rom vil vell være hvor mange celler som blir skrevet til når maskinen kjører? Vil ikke det da være antall R?

Vil veldig gjerne ha noen gode tips til hvordan man går fram her. Jeg vil ikke ha konkrete svar da min intensjon er å lære dette emnet.

På forhånd takk til alle tips og hint!

Re: Turing machines, logikk og beregninger

Lagt inn: 12/03-2013 17:35
av espen180
Oddis88 skrev:Dette er ikke matematikk.
Turing-maskiner tilhører den grenen av matematikk som tar for seg kompleksitet og beregnbarhet, formelle språk og formell gramatikk.

Lagt inn: 13/03-2013 10:10
av Oddis88
Takk for oppklaringen espen180. Det lover ikke godt når man starter innlegget med feil konstantering.

Du har ikke tilfeldigvis mulighet til å svare på noen av de nevnte spørsmålene?

Lagt inn: 14/03-2013 12:51
av wingeer
Ikke at jeg har så mye å bidra med akkurat nå, men det kan kanskje være greit å fikse formateringen i første post, det er litt vanskelig å lese slik som det står nå.

Lagt inn: 15/03-2013 14:28
av Oddis88
Forstår at det ble litt vanskelig. Men nå har jeg løst problemet mitt. Takker til folk som tok seg tid til å lese innlegget.