GİTMEYİN VE YAPMAYIN! Bunun kanıtı:

Question

bu yalıtımlı olup:

her algoritma gitmek falan gibi gidin kullanmayan başka algoritma B için denklik olduğunu kullanılarak tasarlanmış. başka bir deyişle

:

için gitmek kullanılarak tasarlanmış her algoritma, gidin kullanmadan dizayn edilebilir.

nasıl ispat için?

Answer 1

C. Böhm, G. Jacopini, "Akış diyagramları, sadece iki Formasyon Kurallara Turing Makineleri ve Diller", Comm. ACM, 9 (5): 366-371,1966.

http://en.wikipedia.org/wiki/Structured_program_theorem

Böhm-Jacopini geçirmez orijinal programı temsil ettiği bilgilerin takip etmek için ekstra bir tamsayı değişkeni bit kullanarak, keyfi bir grafikten yapılandırılmış akış şeması oluşturmak açıklar

http://en.wikipedia.org/wiki/P"

Programın bulunduğu yere göre. Bu yapı Böhm'un programlama dili P ′ based'ye dayanıyordu. Böhm-Jacopini kanıtı, yazılım geliştirme için yapılandırılmış bir programlamayı benimsememe meselesini çözmemiştir, çünkü kısmen, inşaatın bir programı belirsizleştirmekten ziyade bir programı gizleme olasılığı daha yüksektir. Aksine, tartışmanın başlangıcını işaret etti. Edsger Dijkstra'nın meşhur mektubu, “Zararlı Olduğunu Bildiren Beyan Et”, 1968'de izledi. Teoremin sonraki kanıtları, orijinal programın netliğini koruyan veya geliştiren yapılar ile Böhm-Jacopini ispatının pratik eksikliklerini ele aldı.

Answer 2

Her bilgisayar programı 1 dallanma olmadan ifade edilebilir. Sonsuz uzun bir programa ihtiyacınız olurdu, ama yapılabilirdi. (Hala bir if ifadesine ihtiyacın var) Sanırım resmi kanıtınızı alacaksınız. http://www.jucs.org/jucs_2_11/conditional_branching_is_not/Rojas_R.html

Ayrıca, GoTo'yu gerçekleştirebileceğiniz herhangi bir kod bloğu, ayrıştırılıp bir durum makinesine veya Tekrarlama Döngüsü'ne yerleştirilebilir. Rastgele (ve örtüşen goto ifadeleriyle) dolu bir kod bloğunu alırsanız, her bir goto noktası belirli bir işleve atanabilir ve her Goto bir işlev_exit ve bir sonraki durumun ataması ile değiştirilebilir.

Yani

Point1: 
    do something 
Point2: 
    do something 
    if blah goto point3 
    goto point4 
point3: 
    something 
point4: 
    goto point2: 
end 

can be replaced by 

function point1 
    do something 
    return = point2 
end_function 

function point2 
    do something 
    if blah return = point3 
    return = point4 
end_function 

function point3 
    something 
    return = point4 
end_function 

function point4 
    return = point2 
end_function 

state = point1 
repeat 
    state = call_function (state) 
until (state=end) 

Bu tamamen goto ifadesi kullanmadan goto ifadesi öykünür ve bu nedenle, ben cevap verirdim - evet.

Ben git noktalı bir değişken olabilir Goto hakkında emin değilim.