İçeriğe atla

Deterministik sonlu durum makinesi

Yalnızca 3'ün katı olan ikili sayıları kabul eden bir deterministik sonlu durum makinesi örneği.

Deterministik sonlu durum makinesi (İngilizce: deterministic finite automaton), non-determinisitik sonlu durum makinesinin (NFA) özel bir şeklidir.

NFA'dan farklı olarak, ε (epsilon) geçişi yoktur. Bir durumdan bir geçiş sembolüyle en fazla bir tane duruma gidilebilir.

İlgili Araştırma Makaleleri

<span class="mw-page-title-main">Topoloji</span>

Topoloji, matematiğin ana dallarından biridir. Yunancada yer, yüzey veya uzay anlamına gelen topos ve bilim anlamına gelen logos sözcüklerinden türetilmiştir. Topoloji biliminin kuruluş aşamalarında yani 19. yüzyılın ortalarında, bu sözcük yerine aynı dalı ifade eden Latince analysis situs ür.

Topolojik uzaylar, matematiğin Topoloji dalının başlıca uğraş konularıdır. Bir X kümesi ve bu kümenin alt kümelerinin bir kısmını içeren ve aşağıdaki varsayımları sağlayan S kümesinden oluşurlar:

<span class="mw-page-title-main">Türbülans</span> Kaotik değişikliklerle karakterize edilen basınç ve akış hareketi

Türbülans veya Çalkantı bir akışkanın hareket hâlindeki düzensizliğidir. Akışkanlar dinamiğinde, türbülans veya türbülanslı akış, basınç ve akış hızında meydana gelen kaotik, stokastik değişimlerle tanımlanan bir akış rejimidir. Akışkanın düzenli katmanlar hâlinde aktığı laminer akışın aksine türbülanslı akışlar düzensiz biçimde karışarak hareket eder. Akışın hangi rejimde olduğu atalet kuvvetlerinin viskozite kuvvetlerine oranını belirten boyutsuz Reynolds sayısı ile tahmin edilebilir. Örneğin, tipik bir boru akışı için Reynolds sayısı yaklaşık 2300'ü aştıktan sonra genellikle akış, türbülanslı rejime geçer. Yüksek Reynolds sayıları türbülanslı rejimin habercisi olarak sayılabilirse de bu geçişin gerçekleştiği Reynolds sayısı birçok faktöre bağlıdır ve farklı problemlerde çok daha yüksek veya düşük bir Reynolds sayısında türbülanslı rejime geçiş olabilir.

<span class="mw-page-title-main">Doğal dil işleme</span> bilgisayar bilimi ve dil bilimi alanı

Doğal Dil İşleme, yaygın olarak NLP olarak bilinen yapay zekâ ve dilbilim alt kategorisidir. Türkçe, İngilizce, Almanca, Fransızca gibi doğal dillerin işlenmesi ve kullanılması amacı ile araştırma yapan bilim dalıdır.

<span class="mw-page-title-main">Senaryo</span> Tiyatro oyunu, piyes, film, dizi vb. eserlerin sahnelerini ve akışını gösteren yazılı metinler

Senaryo Tiyatro oyunu, piyes, dizi, film, video oyunu gibi eserlerin sahnelerini ve akışını gösteren yazılı metinlere verilen isimdir.

<span class="mw-page-title-main">Proletarya diktatörlüğü</span> Kapitalizmle Komünizm arasında uzanan geçiş döneminin siyasal biçimi

Proletarya diktatörlüğü, Marksizmdeki tarihsel ve siyasalproleter düşünceye göre, kapitalizmle komünizm arasında uzanan geçiş döneminin siyasal biçimini ifade eder. Sosyalizm dönemi, komünizme yani sınıfsız topluma geçiş dönemi olması itibarıyla proletarya diktatörlüğü dönemidir. Proletarya diktatörlüğü kavramı Marksist devlet anlayışına ve Marksist sınıf teorisine bağlı kesin bir önermedir. Marksizme göre, bu dönem zorunlu bir tarihsel dönemdir. Bu dönemde proletarya sınıf olarak iktidarı elinde bulundurur ve dünya sosyalizmine geçildiği durumda adım adım sönümlenerek sınıfsız topluma geçişi sağlar. Yani sanıldığının aksine proletarya diktatörlüğü sönümlenmez sosyalizm sönümlenerek komünizm yani sınıfsız sömürüsüz dünyaya geçiş yapılır.

<span class="mw-page-title-main">PowerPC</span>

PowerPC, AIM olarak bilinen Apple-IBM-Motorola ittifakının 1991'de geliştirdiği bir RISC mikroişlemcisidir. Genel olarak kişisel bilgisayarlar içindir. PowerPC merkezi işlem birimleri (CPU) gömülü (embedded) ve yüksek performans işlemcileri olduğu için popüler olmuştur. PowerPC 1990'da AIM' in ve PReP'in temel taşı oldu, fakat mimari Apple'ın Macintosh'unun 1994–2006 modellerinde daha başarılı bulundu.

<span class="mw-page-title-main">Dizi</span> aynı tip elemanların sıralı listesi (sonlu veya sonsuz)

Dizi, bir sıralı listedir. Bir küme gibi, ögelerden oluşur. Sıralı ögelerin sayısına dizinin uzunluğu denir. Kümenin aksine sıralı ve aynı ögeler dizide farklı konumlarda birkaç kez bulunabilir. Tam olarak bir dizi, tanım kümesi sayılabilen toplam sıralı kümelerden oluşan bir fonksiyon olarak tanımlanabilir. Örneğin doğal sayılar gibi. Diziler bu örnekte olduğu gibi sonlu olabilir. Ya da tüm çift pozitif tam sayılar gibi sonsuz olabilir.

<span class="mw-page-title-main">Şanzıman</span> şanzıman veya vites kutusu, baskı balata (kavrama) yolu ile motordan aldığı hareketi istenilen tork değerinde şaft veya diferansiyele ileten aktarma organıdır

Şanzıman veya vites kutusu, baskı balata (kavrama) yolu ile motordan aldığı hareketi istenilen tork değerinde şaft veya diferansiyele ileten aktarma organıdır.

<span class="mw-page-title-main">Sonlu durum makinesi</span>

Sonlu durum makinası ; sınırlı sayıda durumdan, durumlar arası geçişlerden ve eylemlerin birleşmesiyle oluşan davranışların bir modelidir.

Matematikte, Markov Zinciri, Markov özelliğine sahip bir stokastik süreçtir. Markov özelliğine sahip olmak, mevcut durum verildiğinde, gelecek durumların geçmiş durumlardan bağımsız olması anlamına gelir. Bir başka deyişle, mevcut durumun açıklaması, sürecin gelecekteki evrimini etkileyebilecek tüm bilgiyi kapsar. Gelecek durumlara belirli bir şekilde değil, olasılıksal bir süreçle ulaşılacaktır.

<span class="mw-page-title-main">Sonsuz</span> matematik ve fizikte herhangi bir sonu olmayan şeyler ve sayılar

Sonsuz, eski Yunanca Lemniscate kelimesinden gelmektedir, çoğunlukla matematik ve fizikte herhangi bir sonu olmayan şeyleri ve sayıları tarif etmekte kullanılan soyut bir kavramdır.

<span class="mw-page-title-main">Orta Avrupa Saati</span>

Orta Avrupa Saati kısaca OAS +01.00 saatini kullanan Avrupa ve Afrika ülkelerinin kullandığı zaman diliminin adıdır. Avrupa kıtasının neredeyse tamamında kullanılır.

<span class="mw-page-title-main">Otomat teorisi</span>

Otomat teorisi, teorik bilgisayar biliminde soyut makineleri ve bu makineleri kullanarak hesaplama problemlerinin çözülebilmesini araştıran daldır. Bu soyut makinelere otomat denir. Otomat kelimesinin kökeni Yunanca "Grekçe: αὐτόματα" kelimesi olup "kendi kendine hareket eden" demektir.

<span class="mw-page-title-main">Termodinamiğin üçüncü kanunu</span>

Termodinamik'in üçüncü yasası bazen ‘mutlak sıfır sıcaklığında dengede olan sistemlerin özelliklerine ilişkin’ olarak şu şekilde tanımlanır:

<span class="mw-page-title-main">Geç Antik Çağ</span> Klasik Antikten Orta Çağa geçişi tanımlayan dönem

Geç Antik Çağ, Antik dönemden Erken Orta Çağ'a geçişi tanımlayan modern bir terimdir. Geç Antik Çağ tabiri kendisini literatürde ilk kez Max Weber ile bulmuş olsa da, tabir ilk kez 1853 yılında kültür tarihçisi Jacob Burckhardt tarafından kullanılmıştır.

<span class="mw-page-title-main">Rastgele yürüyüş</span>

Rastgele yürüyüş (ya da rassal yürüyüş) matematiksel bir nesne olup, bir stokastik veya rastgele süreç olarak bilinir. Bu süreç, herhangi bir matematiksel uzayda –örneğin tamsayılar uzayı–atılan rastgele adımların toplamından oluşan patikayı tanımlamaya yöneliktir. Örneğin, bir molekülün sıvı veya gaz içerisinde izlediği yol, hayvanların yem arayışında takip ettiği patika, değişkenlik gösteren hisse fiyatları ve de bir borsa oyuncusunun finansal durumu rastgele yürüyüş modelleri ile tahmin edilebilir; ancak gerçekte tamamen rastlantısal olmama ihtimalleri de vardır. Bu örneklerin de gösterdiği gibi, rastgele yürüyüş modelinin birçok bilim dalında uygulama alanı mevcuttur; ekoloji, psikoloji, bilgisayar bilimleri, fizik, kimya, biyoloji ve ekonomi bunlara örnektir.

<span class="mw-page-title-main">Michael O. Rabin</span> İsrailli bilgisayar bilimcisi

Michael Oser Rabin, İsrailli bilgisayar bilimcisi. Dana Scott'la birlikte hazırladığı 1959 tarihli makale ile deterministik olmayan sonlu durum makinelerinin temelini atmış ve 1976'da Turing Ödülü'ne değer görülmüştür. Rabin, verili bir metin üzerinde herhangi bir dizeyi bulmaya yarayan algoritmayı da geliştirmiştir.

Teorik bilgisayar biliminde, bir geçiş sistemi, hesaplama çalışmasında kullanılan bir kavramdır. Ayrık sistemlerin potansiyel davranışlarını tanımlamak için kullanılır. Bir kümeden seçilen etiketlerle etiketlenebilecek durumlar ve durumlar arasındaki geçişlerden oluşur; aynı etiket birden fazla geçişte görünebilir. Etiket kümesi bir tekton ise, sistem aslında etiketsizdir ve etiketleri atlayan daha basit bir tanım mümkündür.