Turing machines, logikk og beregninger

Det er god trening å prate matematikk. Her er det fritt fram for alle. Obs: Ikke spør om hjelp til oppgaver i dette underforumet.

Moderatorer: Vektormannen, espen180, Aleks855, Solar Plexsus, Gustav, Nebuchadnezzar, Janhaa

Svar
Oddis88
Jacobi
Jacobi
Innlegg: 320
Registrert: 04/02-2010 14:43
Sted: oslo

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!
espen180
Gauss
Gauss
Innlegg: 2578
Registrert: 03/03-2008 15:07
Sted: Trondheim

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.
Oddis88
Jacobi
Jacobi
Innlegg: 320
Registrert: 04/02-2010 14:43
Sted: oslo

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?
wingeer
Descartes
Descartes
Innlegg: 414
Registrert: 24/05-2008 17:22
Sted: Trondheim

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å.
M.Sc. Matematikk fra NTNU.
Oddis88
Jacobi
Jacobi
Innlegg: 320
Registrert: 04/02-2010 14:43
Sted: oslo

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.
Svar