Bir FSM'nin durumu neden geleneksel olarak ifade edilir ?

13

Eşzamanlı mantıksal devreler kullanarak FSM'lerin nasıl uygulanacağını öğretirken, ilginç bir tesadüf fark ettim: hem teorik CS dünyasında hem de elektrik mühendisliği dünyasında, "durum" tipik olarak (ve durum ) olarak gösterilir . Önce EE.sx'e sordum , ama sonra bu konuyu biraz araştırırken, Turing'in orijinal 1936 belgesinde bile Turing makinesinin durumlarını belirtmek için kullandığını . $q$ $Q$ $q_1..q_n$

: Acaba Yani zaman bu kongre için geri gidiyor ve neden bir "devlet" ifade olurdu ? $q$

automata-theory ho.history-overview

— Gyom
kaynak

1

Tahmin etmek zorunda kalsaydım, "konfigürasyon" için kısa olduğunu söyleyebilirim (çünkü ve zaten "sabit" e bağlıdır). Ama bu sadece bir tahmin.

q

$q$

c

$c$

k

$k$

— Jeffε

1

Turing makineleri ve automata'nın en çok oy alan cevabı arasındaki tarihsel bağlantı hakkındaki bu ilginç soru, çok otomata teorisi ile Turings 1936 makalesi arasında doğrudan tarihsel bir bağlantı olduğunu reddediyor. en alt oyu verilen cevap, devlet tablosu kavramının hemen hemen aynı benzerliğine işaret eder.

— vzn

1

MathOverflow'a gönderirseniz daha iyi bir yanıt alabilirsiniz. Daha fazla hesaplanabilirlik teorisi uzmanları var. Bunu sormak için bir başka iyi yer hesaplanabilirlik tarihi konusunda birçok uzmana sahip olan FOM posta listesidir.

— Kaveh

6

In "BİR UYGULAMA İÇİN Entscheidungsproblem İLE Hesaplanabilir Sayılar, AÇIK" onun 1936 kağıt , Alan Turing'in yazdı:

"Gerçek bir sayıyı hesaplamadaki bir adamı, sadece" m-konfigürasyonları "olarak adlandırılacak olan sonlu q1, q2, .... qR koşullarını yapabilen makineyle karşılaştırabiliriz.

Bu nedenle, makinenin sınırlı, ayrık (sürekli olmayan) sayıda duruma veya miktara sahip olduğunu vurguladı. Benim için, fizikte Quanta terimine sürekli değil, "sıçramalar" veya "kuantum" ile değişen fenomenleri belirtmek için atıfta bulunuluyor. 1950'de "Bilişim Makineleri ve İstihbarat" adlı makalesinde Alan Turing, "ani sıçramalardan" bahseden "sıçramalar" konusunda daha açık:

"Son bölümde ele alınan dijital bilgisayarlar" ayrık durumlu makineler "arasında sınıflandırılabilir. Bunlar, ani sıçramalar veya tıklamalar ile oldukça kesin bir durumdan diğerine hareket eden makinelerdir."

Bence Alan Turing, durum makinesinin sadece fizikte kuantum gibi bir dizi ayrık ve sonlu değerde olabileceğini vurgulamak için bir makine durumunu belirtmek için s yerine q kullanmıştı. Ve o zamandan beri, genellikle aynı gösterim kullanılır.

— Tarık FDIL
kaynak

2

Emin değilim ama Q'nun Quantum anlamına geldiği bir yerde okudum . Çünkü biliyoruz ki otomata farklı zaman dilimlerinde çalışır. Bir otomat daima sonlu durum ayarlı olarak kalır ve hatta başlangıç durum q ₀ ile başlar . Ayrıca bir otomasyon hiçbir zaman birden fazla durumda olamaz. Kuantum kelimesi, miktar, miktar veya sayı anlamına gelen fizikten gelir.

— Grijesh Chauhan
kaynak