
English: 
The video that I want to do today is a
direct follow-up of the one I did a few
weeks ago whichh Sean so what misguidedly
entitled "The Most Difficult Program to
Compute?". It was, of course,
all about the Ackermann function. Today I
want to show to you the Busy Beaver
problem - or the Busy Beaver game, and it
is far worse than Ackerman [in its behaviour].
It was invented by a gentleman called Tibor
Rado, in 1962. What he, in his later years,
took on, was to teach beginners about
Turing machines. Now many of you on the
Sean and Brady wish list of topics to be
covered said: "I want to know about Turing
Machines - I want to know about
Undecidability". So, this is a lovely way
to pull it all in because this thing,
this program, that behaves even worse
than Ackermann, depends, and is utterly

Turkish: 
Bugün yapmak istediğim video bir
birkaç kişinin doğrudan takibi
haftalar önce Sean ne yanlış bir şekilde
"En Zor Program"
Hesapla? ". Elbette, öyleydi.
Ackermann işlevi hakkında her şey. Bugün ben
sana Meşgul Beaver göstermek istiyorum
sorun - ya da Meşgul Beaver oyunu, ve
[davranışlarında] Ackerman'dan çok daha kötü.
Tibor adında bir beyefendi tarafından icat edildi
Rado, 1962'de. Ne, sonraki yıllarda,
devam etti, yeni başlayanlara öğretmek oldu
Turing makineleri Şimdi çoğunuz
Sean ve Brady konuların listesini ister
kaplı dedi: "Turing hakkında bilmek istiyorum
Makineleri - Bilmek istiyorum
Kararsızlık ". Yani, bu güzel bir yol
hepsini çekmek için, çünkü bu şey,
Bu program, daha da kötü davranır
Ackermann'dan, bağlıdır ve tamamen

Turkish: 
bir Turing makinesi fikri ile ilgili.
Sizin için biraz daha istemek
neler olup bittiğini hakkında detay
Turing Makine seviyesi ve tam olarak nasıl
Tibor Rado özel bir form geliştirdi
Bu oyuna uygun turing makinesi,
o zaman ben seni bu kısa kısma yönlendireceğim 
tanıtım filmi [Computerphile: Turing Machine Primer]
Öyleyse bakalım
belirli bir
Tibor Rado'daki Turing Makinesi
oynayabileceğiniz bir oyun olarak formüle edilmiştir
bilgisayar programınızla ve aslında
buna adanmış Web sayfaları var. Yapabilirsin
Busy Beaver topluluğuna katılın ve
Bakalım bile bir Beaver bulabilecek misin
şu anda bilinen olanlardan daha yoğun.
Ancak uyarılmalıdır. İstediğin kadar yukarı ve yukarı gitmek 
Bu sorunun büyüklüğünde bu [hesaplama yükü] gider
üstel olarak süper daha kötü! Bu
Tek devletli Turing makinesi
[En kolay] Meşgul Beaver sorunu. Bu da ne 
Meşgul Beaver sorunu bu mu? Meşgul Kunduz

English: 
related to, the idea of a Turing machine.
For those of you want just a bit more
detail about what's going on at the
Turing Machine level and exactly how
Tibor Rado developed a particular form of
Turing machine suitable for this game,
then I'm going to refer you to this short 
introductory movie [Computerphile: Turing Machine Primer]
So, let's look
at the particular formulation of a
Turing Machine that Tibor Rado
formulated as a game, which you can play
with your computer program and in fact
there's Web pages devoted to this. You can
join in on the Busy Beaver community and
see if you can find a Beaver that's even
busier than the ones currently known.
But be warned. As you want to go up and up and up 
in size of this problem it [the computation load] goes
up worse than super exponentially! This
is the single state Turing machine for
the [easiest] Busy Beaver problem. What the heck 
is this Busy Beaver problem? Busy Beaver

English: 
asks what is the maximum number of 1s
that get printed on your tape, for your
given Turing Machine, when it halts? 
Now, I've got to add that
to the end because, as you'll discover,
there are some - there are lots! - of rogue
Turing Machines which will go berserk,
either printing endless 1s or even
overwriting them with endless 0s, and
going either to the right, or to the left.
So - these well-behaved ones - we want them
to halt and stop and just leave
a big, big tape with lots of 1s and 0s on
it. And it's called Busy Beaver because
this program is just going bananas,
walking up and down the tape, writing
1s and 0s, seemingly arbitrarily, but
in accordance with the program
instructions on the cards. And you're
just saying: "How many 1s do I end up
with?".  What's the best or worst I can do?
Well, I think this will become a bit more

Turkish: 
maksimum 1s'nin kaç olduğunu sorar
Bu senin kasette basılmış
Turing Makine verilen, ne zaman durur? 
Şimdi bunu eklemek zorundayım
Sonuna dek, keşfedeceğiniz gibi
Bazı var - çok var! - hayduttan
Çılgına Dönecek Turing Makineleri,
sonsuz 1s yazdırma veya hatta yazdırma
sonsuz 0'larla bunların üzerine yazmayı ve
ya sağa ya da sola gidiyor.
Yani - bu iyi kalpli olanlar - onları istiyoruz
durdurmak ve durdurmak ve sadece gitmek
1'li ve 0'lı dolu büyük, büyük bir kaset
o. Buna Meşgul Kunduz denir çünkü
Bu program sadece muz gidiyor
Teypte aşağı yukarı yürümek, yazmak
Görünüşe göre keyfi 1s ve 0s, ama
program uyarınca
kartlardaki talimatlar. Ve sen
Sadece şöyle diyeceğim: "Kaç 1'im var ben
ile? ". Yapabileceğim en iyi ya da en kötü şey nedir?
Bence bu biraz daha fazla olacak

Turkish: 
gerçek, eğer senin için hayatta
gerçek bir tek kartlı Turing örneği
Meşgul Beaver için Makine. Yani biz sopa
Bunun ortasında okuma / yazma kafası
ile başlamak için kaset. İşte burada. Ve
bu kart 1'dir. Tek kart
bizim için mevcut çünkü bu bir tek kart 
Turing makinesi. [] Kuralı, başlangıç
kart her zaman kart 1'dir.
söylediğin şey: "bir sembol oku". Yani sen
sıfır oku. TAMAM? Ne yapar
talimat kartı yapmamı söyle? Diyor ki:
"üzerine bir 1 yaz." İşte üzerine yazılmış 1.
0, unutma, "sola git" anlamına gelir
0 yapar. Yani başınızı buraya hareket ettirirsiniz: 1.
Bu "talimat kartı 1'e geri dön" anlamına gelir.
Ben zaten 1. talimattayım, öyleyse ne
oraya geri dönmek, öyle, ama şimdi,
tekrar söylüyorsun: "Başın altında ne olduğunu oku".
- kafalar buraya taşındı - ama sen

English: 
alive to you, now, if we take a real,
actual example of a single-card Turing
Machine for Busy Beaver. So we stick our
read/write head in the middle of this
tape to start off with. There it is. And
this is card 1. It is the only card
available to us because this is a one-card 
Turing Machine. [The] rule is, your start
card is always card 1. The first
thing you say is: "read a symbol". So you
read a zero. OK? What does the
instruction card tell me to do? It says:
"overwrite it with a 1" Here's the overwritten 1.
0, remember, means "move to the left" that
makes 0. So you move the head to here: 1.
That means "go back to instruction card 1".
I'm already in instruction 1, so what I
do is go back in there, like that, but now,
again, you say: "Read what's under the head".
- well the heads moved to here - but you're

Turkish: 
şimdi başka bir 0 altında. Yani tamam diyorsun
0 ile 1’in üzerine yaz,
kaldı çünkü 0 demek oluyor.
Vay canına! kafanı buraya oynat. Gitmek
durum 1'e dön - [ama] zaten varız 
durum 1, geri dönün ve tekrar yapın. Görebilirsin,
hemen ne olacak
Burada: Sola doğru çekeceğim
1s yazma ve asla, asla
durdurmak. İşte ilk örnek o zaman
Daha önce bahsettiğim şeyin
video. Sana bir şeyler olduğunu söylemiştim
özyinelemeli numaralandırılabilir programlar denir
bu bazen durur, bazen de sadece
döngüler içine girdi ve sonsuza dek devam etti.
Güzel, basit bir örnek.
ona verilenler
muhtemelen verilen olup olmadığını bilmiyorum
program sola ya da
tamam mı, yoksa sadece karışacak mı
ortada. İçinde başlayın
orta. Sola gitmek için yeterince yer ver
doğru gitmek için yeterli alan. Fakat
Kurallar, ilke olarak ihtiyaç duyuyorsa
sonsuz bant yeterli. Şimdi çok
bu tür programlama sanatı

English: 
under another 0 now. So you say OK,
overwrite that 0 with a 1, shift to the
left because that's what the 0 means.
Oh blimey! move the head here. Go
back to state 1 - [but] we're already in 
state 1, go back and do it again. You can see,
straight away what's going to happen
here: I'm going to whizz off to the left
writing 1s and it will never, never
stop. So here's the first example then
of what I referred to in the previous
video. I told you there were things
called recursively enumerable programs
that sometimes stop and sometimes just
whizzed into loops and went on for ever.
Well, it's a nice simple example of it
given that, right at the start, you
probably don't know whether your given
program is going to whizz left or
right, or whether it's just going to mess
about in the middle. Start it in the
middle. Give it enough space to go left
enough space to go right. But the
rules say, in principle, if it needs
infinite tape give it enough. Now a lot
of the art of this kind of programming

Turkish: 
"Ah! ama döngü var mı?" demek mi? Onun
sonsuz bant vererek sonsuz bant
sadece döngü ve döngü olacak
döngü ve farklı bir şey yapmamak
sonsuza dek. Ve evet, bu çok çok net bir şekilde
biri döngüde. Yani, bir kart yaptık
Makine Turing, Meşgul Beaver girişimi, burada
ve [girmiş], girmenin ne kadar kolay olduğunu gördük
bir döngü ve zilyonlar yaparak dönerek
Asla bitmeyecek 1'ler. Ve belki
De ki: "Ah! O zaman fikir bu mu? Bir çeşit
Sonsuz Meşgul Kunduz: sadece tükürür
Sonsuza dek 1s dışarı? "
Ve ne yazık ki, oyunların kuralları
De ki: "Hayır, bu sayılmaz, durması gerekiyor!"
Sonlu bir sayı olmalı.
Güvenebileceğiniz 1s. 1s sadece
sonsuza dek devam et sayma. Yani, ihtiyacınız
Bir şekilde 'durma' durumuna geçmek veya
bir başkası ve sonlu 1s
saymak. Öyleyse, hala bir tane yapalım.
Meşgul Beaver için tek kart adayı
Turing Makinesi, ancak döngü olmayan
süresiz. Bu sefer yapacağım

English: 
is to say: "Ah! but is it looping"? It's
pointless giving it infinite tape if
it's just going to loop and loop and
loop, and not do any different thing,
forever. And yeah, very very clearly this
one's looping. So, we've done a one-card
Turing Machine, Busy Beaver attempt, here
and [have] just seen how easy it is to get into
a loop and spin off doing zillions of
1s that will never end. And you might
say: "Oh! that's the idea then is it? A sort
of infinite Busy Beaver: it just spews
out 1s for ever?"
And, unfortunately, the rules of the games they
say: "No, that doesn't count it's got to halt!"
There's got to be a finite number of
1s that you can count. 1s that just
go on forever don't count. So, you need to
get into a 'halt' state, somehow or
another, and have a finite number of 1s to
count up. So, let's do one that is still a
single-card candidate for a Busy Beaver
Turing Machine, but one that doesn't loop
indefinitely. This time I'm going to make

Turkish: 
0 olabilir - Sıfır okursam
eylemler 1 1 0. Aslında bazılarınız
zaten bir kartta bunu görmüş olacak 
Bu şekilde ayarlanmış, size verilen
kafayı sola veya sola
Tamam, şimdiye kadar karşılaştığın tüm sıfırlar.
bir aşamasına girmeyeceksin
hiç 1 okudum çünkü sen
sadece bir talimat aldım. Ya sen
En son gördüğümüz gibi, ona uymaya devam et
Kendine geri döndüğünde, ya da
one-off şey ve bir şey yapar ve
durur. Ve bu özel durumda, peki,
Buraya 1 1 0 koyacağım
1 vaka için. Buna ihtiyacımız olmayacak
çünkü - bak ne oldu - eğer okuduysam
0, orada var, sonra ne yapacağım
yap? Cevap, üzerine yazmam
1 'dir; sağdaki sonraki 1, içinde
talimat düzeni, sağa kayma diyor.
Bu pozisyonda 0 olduğunu unutmayın
sola kay; bu 1 sağa kayma. Yani ben

English: 
it be 0 - if I read a zero then my
actions are 1 1 0. Actually some of you
will have spotted already that in a one-card 
set up like this, given that you
move the head off to the left or the
right, all you ever encounter is zeros,
you are not going to get into a stage of
ever reading a 1 because you've 
only got one instruction. And you either
keep re-obeying it, as we saw last time
when you loop back into itself, or it's a
one-off thing and it does one thing and
stops. And in this particular case, well,
I'll put 1 1 0 here
for the 1 case. We won't need that
because - look what happens - if I've read a
0, which I have there, what do I then
do? The answer is I overwrite it with a
1; the next 1 to the right of that, in
the instruction layout, says shift right.
Remember a 0 at that position is
shift left; this 1 is shift right. So I

Turkish: 
okuma / yazma kafasını sağa kaydırın.
ama o zaman C0, Halt durumudur. Vaov! Ciltli
ödül kazanmak için! Bir sıfır okur
1 ile yazıyor; birini değiştiriyor
sağa yerleştirin ve sonra durur.
Harika aşırılıklar değil mi? Ya
kaçar ve asla durmaz
1s veya başka bir kesin olarak yapar 1 ve
sonra durur ve 'yaptı' diyor! Hadi sadece
biraz zihinsel aritmetik yap,
Bu durumda, çok zor değil. Sen ettik
olabileceğin şeyler olarak 0 veya 1 var
okuyorum, ama burada üçlü var
ikili rakamlar: 0 ya da!
okuduğunu; 0 ya da 1
vardiya - sola veya sağa. Ve Onun
Halt devleti veya 1’e geri dönün,
nereye gittiğini. Sağ? Ee, Sean senin
on için marş: iktidara 3 iki 8.
Bunu sıfır durumda ve
Genel olarak şunu da söylemelisin: "Şey, ben
1 vaka için 8 olasılık var. "

English: 
shift the read/write head to the right.
but then C0 is the Halt state. Wow! Bound
to win an award! It reads a zero it
over-writes it with a 1; it shifts one
place to the right and then stops.
Wonderful extremes isn't it? It either
whizzes off and never stops writing
1s or else it does precisely one 1 and
then stops, and says 'done it'! Let's just
do a bit of mental arithmetic here, it's
not too difficult, in this case. You've
got 0 or a 1 as the things you might be
reading, but here you've got a triple of
binary digits: it's either 0 or !
that you read; it's either 0 or 1 that
you shift -  left or right. And it's
either the Halt state or back into 1,
which is where you go. Right? So, Sean your
starter for ten: two to the power 3 is 8.
You've got that in the zero case, and in
general you've also got to say: "Well, I've
got 8 possibilities for the 1 case". So

Turkish: 
8 kez 8, 64'tür. 64 bir kart var [Meşgul Beaver]
Turing Makineleri ancak sadece 4 var
olası davranışlar; ya uzaklaştır
Sola, hücrelere yazdırma ve üzerine yazma
1s veya 0s ile. Siz veya
1 yazabilir; sola kaydırın ve durdurun;
1, sağa kaydırın ve durdurun veya
0 ile bir 0 üzerine yaz,
sola ve dur, veya sağa kaydır
ve dur. Tam olarak heyecan verici değil! Ama o zamandan beri
Meşgul Beaver oyunun amacı kaç 1s
hangisinden bağımsız olarak yazabilir misin
Seçtiğiniz 64 kart - ve onları denemelisiniz
hepsi dışarı - cevap asla alamadım
bir taneden daha iyi. Sen bir tane yaz. 1. Rado
Gazetesinde bu e skoru Sigma (Yunanca) olarak adlandırıyor.
Sigma). Meşgul bir kart için puan
kunduz yapabileceğinin en iyisi 1.
Unutmayın, bu Turing Makineleri sadece
sırasıyla kart setlerinden oluşur. bu kadar.
Yani, sipariş 2 için - bir
c1 ve bir c2. Eğer bir c2 yaşıyorsanız

English: 
8 times 8 is 64. There are 64 one card [Busy Beaver]
Turing Machines but there's only about 4
possible behaviours; you either zoom off to the
left, printing and overwriting the cells
with either 1s or 0s. Or you
can write a 1; shift to the left and stop;
1, shift to the right and stop or
overwrite a 0 with a 0, shift to
the left and stop, or shift to the right
and stop. Not exactly thrilling! But since
the aim of the Busy Beaver game is how many 1s
can you write, regardless of which of the
64 cards you choose - and you must try them
all out - the answer is you never get
better than one. You write one 1. Rado
in his paper, calls this e score Sigma (Greek
Sigma). The score for a one-card busy
beaver the best you can do is 1.
Remember these Turing Machines are just
made up of sets of cards, in order. that's all.
So, for the order 2 - you're going to have a
c1 and a c2. If you're having a c2

Turkish: 
olasılık - iki kartlı bir şey - o zaman
son sütun 0 ila Halt;
1 kendine geri dönmek için veya 2'ye
diğer karta gidin.
Yani, üç imkanın var.
bu son sütun şimdi. Yani, 2 gibi değil
2 kez 2 kez 2 kez 2 kez 2 kez 3
Her neyse, ikisini birden halletmelisin.
kart dava, olduğuna inanır mısın
20,736 Turing Makineleri ...
>> Sean: Kaç tane?
>> DFB: 20,736
Bu sayı - bu sadece: "Kaç tane
Turing Makineleri'ne bakmak zorunda mısın? "
hangisinin daha iyi davrandığını görmek için
1'lerin çoğunu yazdırmak. Bu sadece gider
katlanarak yukarı - bu numara - bu değil
kötü. Ancak bu makinelerin her biri
süper üstelden daha kötü davranırlar. Yani
Rado'nun kaç tane Turing makinesi için sayısı -
Onun gazetesinde oturabilirsin. Seni terk edeceğim
Bunun neden olduğunu kendin için çalışmak

English: 
possibility - a two-card thing - then that
final column could be 0 to Halt it;
1 to go back into yourself or 2 to
go to the other card.
So, you've got three possibilities in
that final column now. So, it's not like 2
times 2 times 2. It's 2 times 2 times 3
Anyway, you work it all out for the two-
card case, would you believe there are
20,736 Turing Machines ...
>> Sean: How many?
>> DFB:  20,736
This number - which is just: "How many
Turing Machines have you got to look at"?
to see which behaves the best in
printing out lots of 1s. This only goes
up exponentially - this number - this isn't
bad. But each one of those machines can
behave worse than super-exponentially. So
Rado's number for how many Turing machines -
you can seat in his paper. I'll leave you
to work out for yourself why this is

Turkish: 
Turing Makina sayısını doğrulayalım
N (n) n ise [4 x (n + 1)] ^ 2n
Bakalım işe yarayıp yaramadı. N için 1'i buraya koyarsam
Sağ? 1 artı 1, 2'dir. İki 4s, 8.8
2 x 1. 2 x 1 2'dir. 8 kare 64'tür.
Sağ? Ya n girersem 2 olur. 2
artı 1, 3'tür. 3 x 4 12'dir.
4, 12'nin gücü 4'ün gücü 20.736
Demek ilk işin saymak.
bu Turing Makineleri sadece hepsini al
yapmak mümkün iki kart kombinasyonları
20,736 farklı olasılık ve
çöpü dışarı çıkarmaya başlayabilirsin
hemen. İlk önce açıkça söyleyebilirsiniz
hepsinden önemlisi, seçtiğiniz makine yoksa
içinde bir yerde bir Halt devleti olması
asla durmayacak ve
yarışmacı olamaz.

English: 
true the number of Turing Machines, let's
call it N(n) n is [4 x (n + 1)] ^ 2n
Let's see if that works. Iif I put in 1 here for n
Right? 1 plus 1 is 2. Two 4s are 8. 8 to the power
of 2 x 1.  2 x 1 is 2. 8 squared is 64.
Right? What about if I put in n is 2. 2
plus 1 is 3. 3 x 4 is 12.  12 to the
power of 4, 12 to the power of 4 is 20,736
So your first job is to enumerate all
those Turing Machines just get all those
possible two-card combinations that make
20,736 different possibilities and
you can start to weed out the rubbish
straight away. You can clearly say, first
of all, if your chosen machine doesn't
have a Halt state somewhere in it then
it's never ever going to stop and it
can't be a contender.

English: 
So you can rule out all the ones that
don't have a zero somewhere in a
right-hand column. You can soon get rid
of those - cut it down a little bit.
But then you have to start running the
Turing Machines to see - like I've done
here - do they halt? If they halt, how many
1s have they written by the time
they've halted? It tends to be the case
that all the 1s that get written
are pretty well bunched together, but the
rules of the game say that's not
absolutely essential - just start at the
far left with the earliest 1, read
across to the right and count up the
number of ones you've got. And that's your
score. But it must halt. It mustn't be in
part of a "I'm going on for ever", sort of loop.
There are some candidates for best
Busy Beaver of the two-card Turing
Machines what's the maximum number of
ones that they can print out?  4.
Not very good. What's all the fuss about?
When you get on to three-card

Turkish: 
Böylece bütün olanları ekarte edebilirsiniz.
bir yerde sıfır yok
sağ sütun Yakında kurtulabilirsin
Bunlardan - biraz kes.
Ama sonra koşmaya başlamalısın
Turing Makineleri görmek - yaptığım gibi
burada - dururlar mı? Dururlarsa, kaç tane
1'ler zamana göre yazdılar
Durdular mı? Bu olma eğilimindedir
o yazılı olan bütün 1'ler
birlikte çok iyi dövülmüşler, ama
Oyunun kuralları bunun olmadığını söylüyor
kesinlikle gerekli - sadece başla
ilk 1 ile en solda, okumak
sağdan karşıya ve saymak
sahip olduğun sayıda. Ve bu senin
Gol. Ama durmalı. İçinde olmamalı
"Sonsuza dek devam ediyorum", bir tür döngü parçası.
En iyisi için bazı adaylar var.
İki kartlı Turing'in Meşgul Beaver'ı
Makinelerin maksimum sayısı nedir
basabilecekleri? 4.
Çok iyi değil. Bütün bu yaygara neden?
Üç karta ulaştığınızda

English: 
Turing Machines, how many of these are
there on your shortlist?   16,777,216
three-card Turing Machines. What's the
best score you can get off a three card
machine? Still only 6. Doesn't look very
ominous or dreadful at this stage.
Four-card ones? How many of those are there?
Now I've gone up to about four-card ones
in the program I'll give you. The answer.
It's 25.6 trillion
possible Turing Machines, all of which
have to be run and their behaviour
investigated. or they have to be
eliminate. These are four-card machines.
What's the best score you can get off
those thirteen - and this goes worse than
Ackermann - yeah this is the false dawn. It
just goes berserk now. When you come on
to five-card Busy Beavers which is where
this huge research still going on, the

Turkish: 
Turing Makineleri, bunlardan kaç tanesi
Kısa listenizde var mı? 16777216
üç kartlı Turing Makineleri. Bu ne
üç karttan alabileceğiniz en iyi puan
Makine? Hala sadece 6. Çok görünmüyor
Bu aşamada uğursuz veya korkunç.
Dört kartlı mı? Bunlardan kaç tane var?
Şimdi yaklaşık dört kart olanlar kadar gittim
programda sana vereceğim. Cevap.
25.6 trilyon
her şey mümkün Turing Makinaları
çalıştırılmalı ve davranışları
araştırmıştır. ya da olmak zorundalar
elemek. Bunlar dört kartlı makineler.
Alabileceğiniz en iyi puan nedir
bu on üç - ve bu daha kötü gider
Ackermann - evet bu sahte şafak. O
sadece şimdi çılgına dönüyor. Sen geldiğinde
nerede beş kart Meşgul Beavers
Bu büyük araştırma hala devam ediyor

Turkish: 
beş kartlı Turing için şimdiye kadarki en iyi skor
Makine kaç tane çözmedim
Bunların arasında büyük olacak,
Bunların hepsi araştırılmalıdır.
en iyi skor, şu ana kadar beş kart için 4098.
Bu 25 yıl öncesine kadar geliyor 
sayı keşfedildi.
4098, şimdiye kadarki en iyisi, ne dediğini duyuyorum.
Neyle uğraşıyorlar? 25 yıl geçirdiler
ve tamam, birkaç trilyon var
katrilyon ?, Turing Makineleri Olmak
araştırılan ama tüm açık çöp
şimdiye kadar ayıklanır mıydı? Olabilir
Diyelim ki Alman araştırmacılar kim
bu sayının erişime sahip olduğunu keşfetti
bir süper bilgisayara - yardımcı olur!
Yanlış giden ne? Neden yok
daha iyi sonuç ve bakarsanız
Bunun için Wikipedia sayfasını
Cevap. Cevabı var ki
40 aday, hala koşuyor, ki

English: 
best score, so far, for a five-card Turing
Machine I have not worked out how many
of those are are it's going to be huge,
all of which have to be investigated. The
best score, for a five card so far, is 4098.
It's coming up to 25 years ago that that 
number was discovered. 
4098 is the best yet, So, I hear you say, what
are they messing about at? They've had 25 years
and all right there's a few trillion,
quadrillion?, Turing Machines to be
investigated but all the obvious rubbish
would have been weeded out by now? I may
say that the German researchers who
discovered this number did have access
to a supercomputer - it does help!
What's gone wrong? Why isn't there a
better result and if you look on the
Wikipedia page for this you'll find the
answer. The answer is that there are
40 candidates, still running, which might

Turkish: 
4098'den daha iyi bir cevap üret.
Ve diyorsunuz ki: "Ama elbette lanet olası şeyler
fark edilir şekilde döngü
Durdular "? Hayır - bu gerçekten korkunç.
Bu alabileceğiniz en iğrenç kısım
Anlatamadığınız Yerdeki Makinalar
Döngü yapıp yapmadıklarını. Onlar
çok fazla bant tüketip sonra geliyorlar
geri döndüler ve teybin bitlerinin üzerine yazdılar
ve bilirsin ... Ve düşünüyorsun: "Gördüm mü
Bu kalıp daha önce mi? "Durumunda ben
1 devletli Turing Makinesi için yaptık
sadece gidiyorum: 1 1 1 1 1 1 tekrar tekrar. Hayır alır
"Ben döngü ve demek ki
1'leri çoğaltmaktan başka hiçbir şey yapmamak. "
rakamlar arttıkça
çok, çok uzun döngüsel olabilir
periyodiklik, 20 periyodik
milyon (söyle) ya da bunun gibi bir şey. Tibor
Rado ve öğrencisi
Dört kartlı bir makine için çalıştı
Alabileceğin en iyi sonuç 13 oldu. Fakat
Bu sonucu elde etmek için hala
Bir avuç haydut makinesine bakın

English: 
produce an even better answer than 4098.
And you say: "But surely the darn things
are either discernibly looping or else
they've stopped"? No - it's really horrible.
This is the nasty part of it you can get
Turing Machines where you can't tell
whether they're looping or not. They
consume a lot of tape and then they come
back and they overwrite bits of the tape
and y' know ... And you think: "Have I seen
that pattern before?" In the case that I
did for the 1-state Turing Machine we're
just going:  1 1 1 1 1 1 over and over. It takes no
genius to say "Iit's looping and it's
doing nothing but reproducing 1s". But you
can imagine that as the numbers go up
you could get very, very long cyclic
periodicity, with a periodicity of 20
million (say) or something like this. Tibor
Rado and his student were the people who
worked out that for a four-card machine
13 was the best result you could get. But
in getting that result they still had to
look at a handful of rogue machines where they

English: 
weren't sure whether they stopped or not.
Some of them they could prove
programmatically were definitely looping.
Others they could use human inference to
argue: "Yes, that is looping, I can show you why?"
So, yeah, 13 is definitely correct [for the 4-card case]
But for the five-card case, who knows?
Join the Busy Beaver club. Get your own
supercomputer! Do the work!
And somebody out there has gone on to
order six. And it is reckoned that the
minimum possible score for an order six
Busy Beaver will be of the order 10 ^ 10,500
Now that's getting very close in size to
ackermann(4, 2). Y'know it to two to the  
sixty-something thousand. Nobody knows what the
right score is. So can you see that's
already, by order five or six, you're
getting into Ackermann-size numbers. And
one of the things shown on the Wikipedia

Turkish: 
Durup durmadıklarından emin değillerdi.
Bazıları kanıtlayabildiler
programatik olarak kesinlikle döngü vardı.
Diğerleri insan çıkarımını kullanabilir
Tartışma: "Evet, bu döngü, nedenini gösterebilirim?"
Yani, evet, 13 kesinlikle [4 kartlı dava için]
Ama beş kartlı dava için kim bilir?
Busy Beaver kulübüne katılın. Kendi al
Süper bilgisayar! İşini yap!
Ve dışarıda birisi oldu
altıyı sipariş et. Ve bu hesaba katılır
Altıncı sipariş için minimum puan
Meşgul Beaver 10 ^ 10,500 siparişinde olacak
Şimdi bu boyut olarak çok yakınlaşıyor
Ackermann (4, 2). İkisine bildin  
altmış bir şey bin. Kimse ne olduğunu bilmiyor
doğru puan. Yani bunu görebiliyor musun?
Zaten, beş ya da altı siparişle
Ackermann boyutunda sayılar almak. Ve
Vikipedi'de gösterilen şeylerden biri

English: 
page, which will delight you, is that for
all sufficient n - and this n is not very big -
Busy Beaver numbers will always outrank
Ackermann numbers. And the reason for that
is that, again in the literature which
you can look up for yourself, the reason
is that the Busy Beaver can be shown to
grow faster than any computable function.
It doesn't matter what you put in there
but, if it's a computable function that
has an answer, Busy Beaver can be shown
to grow faster than that in the long run.
It may not do so for small n,   but
eventually it'll overtake it and go
completely mad. So, yes, the answer to the
horrible question is: "Are you telling me
this thing gives you even bigger numbers than
Ackermann does? Yes, it does. Yes it gets 
effortlessly bigger.
Some people say; " I don't believe all the
stuff about 'recursively enumerable' -
sometimes it can, y' know, sometimes this
machine can stop and give you an answer
and sometimes it just whizzes around

Turkish: 
sizi memnun edecek sayfa
tüm yeterli n - ve bu n çok büyük değil -
Meşgul Beaver numaraları her zaman geçerliliğini koruyacak
Ackermann numaraları. Ve bunun nedeni
Bu, yine literatürde olan
Sebebini kendin arayabilirsin
Meşgul Beaver'ın gösterilebileceği
herhangi bir hesaplanabilir işlevden daha hızlı büyür.
Oraya ne koyduğun önemli değil.
ama, eğer hesaplanabilir bir fonksiyon ise
bir cevabı var, Meşgul Beaver gösterilebilir
uzun vadede bundan daha hızlı büyümek.
Küçük n için olmayabilir, ama
sonunda geçip gidecektir
Tamamen kızgınım. Yani, evet, cevap
korkunç soru şudur: "Bana mı söylüyorsun?
bu şey size daha büyük rakamlar veriyor
Ackermann mı? Evet öyle. Evet alır
zahmetsizce daha büyük.
Bazı insanlar der ki; "Ben tüm inanmıyorum
'yinelemeli olarak numaralandırılabilir' ile ilgili şeyler -
bazen yapabilir, bilirsin, bazen bu
makine durabilir ve size bir cevap verebilir
ve bazen sadece etrafta dolaşır

Turkish: 
sonsuza dek. Peki burada önünüzde var
senin. Ve gerçekten değil
müthiş faydalı. Hariç burada
"Öyle görünebilir" diyen bir öğretim örneği
anlamsız ama bu en kötü olabilir
bir bilgisayar programı ile olur ".
karşısında, ne gibi görünüyor
Tamamen basit bir şey: "Bunu çalıştırın
Makine Turing, umarım durur ve sonra
Bana kaç tane basıldığını söyle.
Ama bunun arkasında büyük miktarda
teorinin gösterimi. Sence:
bu süper olmaktan daha kötü olmayacak
patladığında bile üstel ve
havalanır ". Ama bu sefer çok daha hızlı roket
Ackermann’dan daha sık ve
"Sorunlar kötü davranırsa
süper üstel ya da olabilirler
daha da kötüsü - aslında olabilirler
kararsız ". Ve bu sensin
Burada bu şey söyleyerek ...

English: 
forever. Well here you've got it in front
of you. And it really is not
terrifically useful. Except it's here as
a teaching example of saying "It may seem
pointless but this is the worst can
happen with a computer program". You set,
on the face of it, what seems to be a
perfectly straightforward thing: "Run this
Turing Machine, hope it halts and then
tell me how many 1s it prints out.
But behind that is a huge amount of
illustration of theory. You think:
that's going to be no worse than super
exponential even when it explodes and
takes off". But  this one rockets up far faster
than Ackermann and very often you will
say: "If problems are badly behaved they
are either super-exponential or they may
be even worse - they may actually be
undecidable". And this is what you are
saying in this thing here ...
