loader image
bitcoin
Bitcoin (BTC) $ 17,041.69 0.72%
ethereum
Ethereum (ETH) $ 1,292.44 0.25%
tether
Tether (USDT) $ 1.00 0.01%
bnb
BNB (BNB) $ 291.60 3.42%
usd-coin
USD Coin (USDC) $ 0.999768 0.06%
binance-usd
Binance USD (BUSD) $ 1.00 0.16%
xrp
XRP (XRP) $ 0.392126 2.97%
dogecoin
Dogecoin (DOGE) $ 0.100317 4.74%
cardano
Cardano (ADA) $ 0.318391 0.40%
matic-network
Polygon (MATIC) $ 0.92309 0.43%
polkadot
Polkadot (DOT) $ 5.62 3.95%
staked-ether
Lido Staked Ether (STETH) $ 1,276.35 0.05%
okb
OKB (OKB) $ 22.09 1.62%
litecoin
Litecoin (LTC) $ 76.73 0.80%
shiba-inu
Shiba Inu (SHIB) $ 0.000009 0.20%
dai
Dai (DAI) $ 1.00 0.00%
tron
TRON (TRX) $ 0.054527 0.92%
solana
Solana (SOL) $ 13.70 1.22%
uniswap
Uniswap (UNI) $ 6.00 3.30%
avalanche-2
Avalanche (AVAX) $ 13.18 0.57%
chainlink
Chainlink (LINK) $ 7.66 1.00%
wrapped-bitcoin
Wrapped Bitcoin (WBTC) $ 16,998.40 0.92%
leo-token
LEO Token (LEO) $ 3.64 6.46%
cosmos
Cosmos Hub (ATOM) $ 10.33 1.39%
ethereum-classic
Ethereum Classic (ETC) $ 19.76 2.07%
the-open-network
The Open Network (TON) $ 1.79 0.25%
monero
Monero (XMR) $ 144.07 1.06%
stellar
Stellar (XLM) $ 0.087946 1.38%
bitcoin-cash
Bitcoin Cash (BCH) $ 110.37 1.54%
quant-network
Quant (QNT) $ 123.78 1.13%
algorand
Algorand (ALGO) $ 0.245379 0.15%
crypto-com-chain
Cronos (CRO) $ 0.065049 0.94%
filecoin
Filecoin (FIL) $ 4.57 3.28%
near
NEAR Protocol (NEAR) $ 1.77 2.87%
apecoin
ApeCoin (APE) $ 3.97 0.17%
vechain
VeChain (VET) $ 0.019362 0.90%
hedera-hashgraph
Hedera (HBAR) $ 0.049026 3.04%
flow
Flow (FLOW) $ 1.12 1.06%
internet-computer
Internet Computer (ICP) $ 4.19 0.14%
terra-luna
Terra Luna Classic (LUNC) $ 0.000181 10.40%
elrond-erd-2
MultiversX (Elrond) (EGLD) $ 43.65 0.48%
eos
EOS (EOS) $ 0.939225 0.52%
frax
Frax (FRAX) $ 0.999717 0.14%
trust-wallet-token
Trust Wallet (TWT) $ 2.40 16.26%
tezos
Tezos (XTZ) $ 1.04 2.19%
the-sandbox
The Sandbox (SAND) $ 0.60631 2.50%
aave
Aave (AAVE) $ 65.19 0.81%
theta-token
Theta Network (THETA) $ 0.922148 3.61%
huobi-token
Huobi (HT) $ 6.80 1.93%
chiliz
Chiliz (CHZ) $ 0.165848 1.15%
WhatsApp Destek
Turing Complete

Turing Complete, gerekli talimatlarla birlikte yeterli zaman ve bellek verildiğinde, ne kadar karmaşık olursa olsun herhangi bir hesaplama problemini çözebilen bir makineyi ifade eder. Terim normalde modern programlama dillerini tanımlamak için kullanılır çünkü C ++, Python, JavaScript, vb. çoğu modern programlama dili Turing Complete'dir.
Turing Makinesi nedir?
Alan Turing, bir gün tüm sorunları çözebilecek bir makine yapılacağı hipotezini ortaya atan kişidir. Dolayısıyla bu makineye Turing Makinesi ismi verilmiştir. En büyük matematikçi ve bilgisayar bilimcilerinden Alan Turing’in geliştirdiği makine, her türlü teorik hesaplamayı yapabilmektedir. Herhangi bir programı çalıştırabilen ve her türlü sorunu çözebilen bir bilgisayarın nasıl oluşturulacağını açıkladı ancak bu cihaz ile işlemin ne kadar süreceğine dair net bir veri yoktur. Bazı işlemler sadece birkaç dakika sürerken bazıları 1000 yıl sürebilir ancak sorunun er ya da geç (hatta evren yok edildikten sonra bile) çözüleceğini garanti eder.
Turing Makinesi Nasıl Çalışır?
Alan, bu makineyi ikili kodları (0 ve 1) kullanan bir bant olarak hayal etmiştir. Bu makine her kareyi tek tek okuyabilecek bir okuma / yazma başlığına sahip olacak şekilde tasarlanmıştır. Alan’a göre bu kodlar makineye çözülmesi gereken soruyu sorarken, makine aynı anda sonuçları bu bantlara kaydedecekti. Dolayısıyla çözüm ne kadar uzunsa o kadar banta ihtiyaç duyulacaktı.
Makine başlığı bant boyunca hareket ederken, makine nasıl tepki vereceğini belirleyen basit bir talimatlar dizesi izler. Kaseti okur, talimatları izler ve ilerledikçe yeni bir kod yazmak için belirli bir eylem gerçekleştirir. Bu ortaya çıkan yeni kod kalıbı, sorunun cevabıdır. Turing’in bu varsayımsal makinesi, kodla ifade edilebilen (ve hesaplanabilir bir cevabı olan) herhangi bir hesaplama problemine cevap verebilecek kapasitededir.
Bir cihaz veya programlama dili, herhangi bir programı çalıştırarak veya Turing Makinesi’nin çalıştırabileceği veya çözebileceği herhangi bir sorunu çözerek bir Turing Makinesi’ni işlevi görebildiğinde, Turing Complete olarak kabul edilir. Öte yandan, bir cihaz veya programlama dili bunu yapamıyorsa, bu cihaza veya programlama diline Turing Incomplete denir.
Basit bir hesap makinesi, yalnızca birkaç tür hesaplama yapabildiğinden, Turing Incomplete olan bir sistem örneğidir. Buna karşılık, programlanabilir bir bilimsel hesap makinesi bir Turing Makinesi olarak kabul edilebilir.
Blok zincirleri ve Turing Completeness
Blokzinciri teknolojisinin bazı uygulamaları Turing Complete iken, bazıları ise Turing Incomplete'dir. Bu, uygulanan komut dosyası teknolojisine göre değişir. Örneğin, Bitcoin'de kullanılan yazılım dili kasıtlı olarak Turing Incomplete olarak tasarlanmıştır. Bunun arkasındaki neden Turing Incomplete olarak amacına hizmet edebilmesidir. Eğer yazılım Turing Complete olsaydı, bu yazılımı daha karmaşık yapardı. Bu durumun sonucu olarak da daha karmaşık problemler ortaya çıkabilirdi. Yazılımı basit tutarak, geliştiriciler, yazılımlarının duruma göre nasıl tepki vereceğini tahmin edebilirler.
Diğer bir yandan Ethereum ise Turing Complete bir blok zinciri olarak tasarlanmıştır. Bunun arkasında ki neden Turing Incomplete bir yazılımın akıllı sözleşmeleri anlayacak kapasiteye sahip olmamasıdır. Turing Complete olarak Ethereum, henüz var olmayan anlaşmalar da dahil olmak üzere gelecekteki herhangi bir anlaşmayı anlama ve uygulama yeteneğine sahiptir. Başka bir deyişle, Ethereum'un Turing Complete olması doğru talimatlara, yeterli zamana ve işlem gücüne sahip olduğu sürece kod tabanını hemen hemen her görevi gerçekleştirmek için kullanabileceği anlamına gelir.
Tartışma, Ethereum'un "Bitcoin Blockchain Turing Complete değildir, Ethereum öyledir" diyerek kendisini tanıtması ve pazarlamasıyla başladı ve aynı lige tüm yeni Blockchainler katıldı. Ethereum, merkezi olmayan uygulamalar için bir platformdur. Yani, bu uygulamaları yürütmek için merkezi bir varlık veya sunucu gerekmez. Uygulama birden fazla bilgisayarda çalışır ve bu nedenle onları kaldırmanın bir yolu yoktur. Bu tür uygulamaları yazmak için akıllı sözleşmelere ihtiyacınız olur. Akıllı sözleşmeler, Solidity in Ethereum ve Solidity is Turing Complete ile yazılır. Ethereum'un kurucusu Vitalik Buterin, Turing Complete Programlama dilini Döngülere izin veren dil olarak tanımlar.
Bitcoin Blockchain betik dilinin neden döngüleri desteklemediğinin arkasındaki tasarım kararı, spamleri önlemektir. Bazı kodlar milyonlarca yürütme gerektirebileceğinden ve ağa aşırı yük binebileceğinden, döngüler Blockchain'de tehlikeli olabilir. Ethereum, her işlem için ücret getirerek bunu çözmüştür. Bu nedenle, yürütülecek ifadeler ne kadar çoksa, ücret de o kadar fazladır.
Bitcoin, basit işlevler için tasarlanmıştır ve daha çok kripto varlık ve yalnızca transfer değerleri olarak hareket eder. Bitcoin Blockchain aslında "Turing Complete" dir.
Turing Completeness kavramının döngülerle hiçbir ilgisi yoktur. Ne kadar büyük olursa olsun, yalnızca her sorunun çözümüne vurgu yapar. Turing completeness elde etmek için Bitcoin Blockchain'in kullanılabileceği birkaç yol vardır.
Hesaplanabilirlik teorisinde, herhangi bir Turing Makinesi’ni simüle etmek için kullanılabiliyorsa, bir veri işleme kuralları sisteminin (bir bilgisayarın komut seti, bir programlama dili veya bir hücresel otomat gibi) Turing Complete (tamamlanmış) veya hesaplama açısından evrensel olduğu söylenir.
Bu, bu sistemin diğer veri işleme kural kümelerini tanıyabileceği veya karar verebileceği anlamına gelir. Turing Complete, böyle bir veri işleme kural setinin gücünü ifade etmenin bir yolu olarak kullanılır. Bugün neredeyse tüm programlama dilleri Turing-complete’dir. Kavram, İngiliz matematikçi ve bilgisayar bilimcisi Alan Turing'in adını almıştır.
İlgili bir kavram Turing denkliğidir. Eğer P, Q'yu simüle edebiliyorsa ve Q, P'yi simüle edebiliyorsa, iki P ve Q bilgisayarına eşdeğer denir. Church-Turing tezi, değerleri bir algoritma tarafından hesaplanabilen herhangi bir fonksiyonun bir Turing Makinesi, ve bu nedenle, herhangi bir gerçek dünyadaki bilgisayar bir Turing Makinesi’ni simüle edebiliyorsa Turing Makinesi’ne eşdeğerdir. Evrensel bir Turing Makinesi, herhangi bir Turing Makinesi’ni simüle etmek ve olası herhangi bir gerçek dünya bilgisayarının hesaplama yönlerini genişletmek için kullanılabilir.
Bir şeyin Turing Complete olduğunu göstermek için, onun bazı Turing Complete sistemleri simüle etmek için kullanılabileceğini göstermek yeterlidir. Örneğin zorunlu bir dil ya da koşullu dallanma gibi. Elbette hiçbir fiziksel sistem sonsuz belleğe sahip olamaz ancak sonlu belleğin sınırlaması göz ardı edilirse, çoğu programlama dili aksi takdirde Turing-complete’dir.