« first day (18 days earlier)
← previous day
next day →
last day (27 days later) »
user253751
01:18
@raoof return "1" if U(self) returns a blank tape or a blank tape if U(self) doesn't return a blank tape?
raoof
02:15
@user253751 how do you test to see the tape is blank ?
if you mean something like
G()=if U(G) then G() else 1
that does not work because "if blank" runs forever
11 hours later…
user253751
13:29
what do YOU mean when you say the tape is blank?
2 hours later…
raoof
15:07
@user253751 blank tape means there is no symbol written on the tape
user253751
15:18
@raoof so what symbol is there?
raoof
there is no symbol the tape is blank
let suppose U tape alphabet is {b,1} then you write a binary strings of 1 and blank symbols on the tape and start the machine
6 hours later…
user253751
21:20
so the output tape of U(m) is filled with b if m doesn't halt?
« first day (18 days earlier)
← previous day
next day →
last day (27 days later) »
all rooms
Transcript for
Jul
30
Jul '23
31
Aug
1
Discussion between user253751 and raoof
Imported from a comment discussion on
cs.stackexchange.com/que...
lambda-calculus
normal-forms
join this room
about this room
00:00
06:00
12:00
18:00
all times are UTC
site design / logo © 2025 Stack Exchange Inc;
legal
mobile