Petri Ağı  – Programlama Nedir? – Programlama Bölümü – Programlama Yaptırma – Programlama Ödevleri – Programlama Ücretleri

Petri Ağı 

Bir programlama, petri ağı tarafından yürütülebilir:

1. bir başlangıç ​​işaretinin oluşturulması,
2. bir dizi uygun geçiş seçme,
3. Uygun olanlar arasında geçiş yapmak,
4. Daha fazla geçiş uygun olmayana kadar 2. adıma geri dönmek gerekir.

Tüm giriş düğümleri (en az) bir iş parçacığı içeriyorsa, bir geçişin uygun olduğu söylenir. Ateşlenirse, her giriş düğümünden bir iş parçacığı çıkarılır ve her çıkış düğümüne bir iş parçacığı eklenir.

Renkli ağlar, ipliklerin “Renkler” ile ayırt edildiği genişletilmiş petri ağlarıdır. Geçiş uygunluğu, bu geçişin tüm giriş yerlerinde uygun şekilde renklendirilmiş bir ipliğin mevcudiyetine bağlıdır. Benzer şekilde, bir geçişin çıktısı sadece bir iplik değil, özel olarak renklendirilmiş bir ipliktir.

Bir düğümü, her renk için bir düğüm koleksiyonuyla değiştirerek, renkli petri ağlarını renkli olmayan bir petri ağı olarak gösterebiliriz. Bu, ne kadar çok renk varsa o kadar ayrık petri ağı oluşturur; aralarındaki bağlantı, kenarların demetlenmesindedir. Bununla birlikte, renkli petri ağları, renkli olmayan petri ağlarından daha özlü ve potansiyel olarak daha sezgiseldir.

Petri ağlarının zamansal uzantısı, her geçişte ve düğümde bir gecikme içerir. Bir iş parçacığı her düğümde bir süre bekler. Ve dişlerin çıkışa aktarımı gerçekleştiğinde, kenarlara atanan daha fazla gecikmeyle gerçekleşir.

Bunu tekrar genişletecek olursak, stokastik petri ağının rastgele bir gecikmesi vardır. İplikler tipik olarak bir Markov işlemine göre hareket eder. Zamansal ve stokastik petri ağları, çok iş parçacıklı bir ortamda zamanı modelleyebilir.

Bazı basit işlemler çok fazla kenar gerektirir. Bir iş parçacığı belirli bir düğüme ulaşır ve diğer tüm iş parçacıklarının bilinen bir duruma geri döndürülmesiyle sonuçlanır. Bu, bir masaüstü makinede sıfırlama anahtarının yaptığı şeydir.

İş parçacığı hangi durumda olursa olsun bilinen bir duruma dönmesi gerektiğinden, her durumdan bilinen duruma bir bağlantı olması gerekir. Ancak diğer geçişler de engellenmelidir. Bu nedenle, diğer tüm geçişler için ekstra bir iş parçacığı, sıfırlanmayan iş parçacığı gerekli olmalıdır. Petri ağları, Minksi sinir ağlarıyla güçlü bir şekilde ilişkilidir.

Resmi Turing Makinesi

Bir Turing makinesini resmileştirmenin birçok yolu vardır. Bir takım sembollerimiz var. CPU, sembollerin üzerinde bir bant bulunan sonlu durumlu bir makinedir. Sembollerin üzerindeki bir bant, okuma, yazma, sol ve sağ işlemleri kabul eder. Aksiyomatik olarak, solun sağın tersi olduğuna ve read’in yazanın yazdığını okuduğuna ihtiyacımız var. Bunu Haskell tarzında yapıyoruz.

Bir Turing bandı bir çizgi veya bir döngü olabilir. Okuma, yazma, sol ve sağın tam etkileşimi karmaşık olabilir. Bir hücre satırı, (Tape,Symbol,left,read,right$write) bir yığın veri türü olan aksiyom tarafından tanımlanır. Bant bir dizi ve bir dizin çiftiyse bu kolaydır, işlemler açık olmalıdır.

Aksiyomlar alışılmışın dışında modelleri kabul eder; sola 1 ekler ve sağ şeritteki hücrelerin her birinden veya sadece bazılarından sembol sayısını 1 modulo çıkarır. Geri döndüğünüzde, hücre tekrar doğru verileri içerir.

Durum makinesinin resmi tanımı, demetler ve işlevler de dahil olmak üzere bir dizi yapıyı içerir. Programlamada, bir demet tipik olarak bir kayıt ve bir fonksiyon veya bir dizi fonksiyon olacaktır. Özellikle, biçimsel tanım, giriş sembolü verilen sonraki durumu ve mevcut durumu veren δ(s, q) etrafında döner. Sembolleri ve durumları 0’dan numaralandırırsak, iki boyutlu bir diziye sahip olabiliriz.

Burada f[s][c], makine s durumundayken c sembolü girilirse çıkacak semboldür. (Durum,durum) çiftlerini kullanmanın alternatifi, çıktının, iki durum arasında birden fazla olabilecek gerçek bağlantının çapraz olması yerine, kaynak ve hedef durumlarla ilişkilendirileceği anlamına gelir.

Graph Nedir
Çizgi Kuramı Nedir
Graf Teorisi
Çizgeler
Graph theory

Grafiklerin Faktörleri

Çoğu zaman bilgiyi görmezden geliriz. Tamsayılarımız var, onları çift veya tek olarak sınıflandırıyoruz ve “çift” ve “tek” öğelerini nesneler olarak ele alıyoruz. Çift artı çift çifttir, tek artı çift tektir. Diğer bilgilerin gerekli olmadığını söyleyerek bunu haklı çıkarıyoruz; herhangi bir çift tam sayı artı herhangi bir çift tam sayı, bir çift tam sayıdır.

Faktoring, sınıfları bireyler olarak hareket eden bir bölümdür (sınıflandırma). Bu derin ve geniş çapta uygulanabilir kavramı doğrudan ele almaya çalışmıyoruz, ancak fikri grafik teorisi bağlamında basitçe gösteriyoruz.

Bir c düğümüne bağlı olmayan kenarları geçmemeye dikkat ederek, c ile işaretlenmiş düğümlerin etrafına bir kutu çiziyoruz.

Daha sonra kutunun içindeki bilgileri silip, c etiketine sadece bir kez yazıyoruz. Şimdi kutuyu bir düğüm boyutuna küçültüyoruz ve {a,b,c,d,e} kenar kümesine sahip bir grafiğimiz var. Bu, başladığımızdan bir düğüm eksik.

Daha genel olarak, bir G = (N,E) grafiğinin N düğümlerini N1 .. Nk kümelerine böleriz, sonra {N1,..,Nk}’yi yeni bir düğüm kümesi olarak ele alırız. Ni’nin bazı elementleri ile Nk’nin bazı elementleri arasında bir kenar (E’de) olduğunda tam olarak Ni ve Nj arasında bir kenar vardır.

Gayri resmi olarak, bir morfizm, bir yapıdan diğerine, orijinal eşitliklerin tümünü koruyan ve muhtemelen daha fazlasını ekleyen bir haritadır. Bir morfizmin seviye kümeleri orijinal yapıyı etkiler. Grafik teorisinde, herhangi bir bölüm yapacaktır, ancak bu olağandışıdır.

Pozitif, negatif ve nötr tamsayıları çarpmayı kullanarak çarpanlarına ayırır, toplamayı kullanmaz. Olumlu çarpı olumsuz olumsuzdur, olumsuz çarpı olumsuz olumludur, vb. 3×−4 = −12’nin gölgesi ×− = − . Ancak, pozitif artı pozitif, nötr, negatif veya pozitif de olabilir.

Faktörler ve morfizmler çok geniş bir şekilde uygulanır. Bu kitaptaki operasyonların çoğunda örtük olarak yer almaktadırlar. Soyut bir veri tipinin uygulanması, soyut tipte bir morfizm üreten sanal makinenin dolaylı olarak çarpanlara ayrılmasıdır. Birleştirme indirgemesi gibi, sadece faktoring üzerine bütün bir kitap da yazılabilir. 

Makale Deniz

Biyografinin Tamamını Gör