XVI. Türkiye e İnternet Konferansı 3 Kasım-2 Aralık 2, İzmir Bilirişimli Matematiğin <T,, n> Q Sürü Bellekli 3D I@I İnternet Sürüsü Fevzi Ünlü Matematik ve Bilgisayar Bilimleri, Ege Üniversitesi ve Yaşar Üniversitesi, İzmir Özet: I@I ve I@I + moeli tasarımına kullanılan Q ve Q + sürü bulut bellek T genetik altyapı elamanları Kaynak[3] içeriğine tanıtılmıştır, Oraa Q Q@Q, bir bellek ortamı içine yayılmış sürü bulut bellek sürüsünen bir tümleşik sürü bulut bellek oluşturma moeli olarak tanımlanmıştır. Bu tümleşik bellek RCR formatına organize olmuştur. Kip[n] rakamları ile alanırılmıştır. Tam 2n alıcı verici anten belleği varır. Genele m seçilerek 4n+ birey tik bulut bellek sürüsünen oluşturulmuştur. Q + ise aynı yapısal özelliklere yenienlikli olarak sahip olan RCR formatına oluşturulmuş farklı Q belleklerinin + küme kapanışıır. Bu bilirie:. Her Q sürü bulut belliği bir P programlama yöntemi ile bir T genetik, enetim eğişkenli, Kip[n] biçimsel iline kolu bilirişim yapan, ü[, n] sayıa farklı RCR formatlı F fonksiyonuna önüştürülmekteir. 2. Ele eilen ü[, n] sayıa farklı RCR formatlı f F fonksiyon bilgisi bir I@I internet içine internet moeli oluşturmaa kullanılmaktaır. Anlatıma izlenen m ve n oğal sayılarır ve m ve n 2 şartlarını sağlamaktaırlar. 3. Kullanıcı genel olarak I@I ve I@I + içeriğine yer alan F ve F + biçimsel mantık fonksiyonu sürülerinin sahip oluğu Q ve Q + sürü bulut bellekleri içeriğine bir P ve P + + programı ile bir başka T-genetik f F ve f F + fonksiyon bilgisi programlama özgürlüğüne sahiptirler. Yani Q + bulut belek sürüsü kapanışınan gelişigüzel bir 3D <T,, n> Q bulut bellek sürüsü seçilebilmekteir. Seçilen 3D <T,, n> Q bulut bellek sürüsünen, ü[, n] sayıa kopya ele eilerek, onlara ü[, n] sayıa farklı T-genetik RCR formatlı f <T,, n> F biçimsel mantık fonksiyonu bir P programı ile anına programlanabilmekteir. Ele eilen her ürün kümesi bir 3D <T,, n> I@I moeli oluşturmaktaır. Söz konusu moelleri, bir T: TASIM biçimsel iline kolayarak anlatan, BM alı, günlük yaşantımıza girmiş olan bir bilim alı varır. Değişik üniversitelere ers konusu olarak öğretilmiştir. LISP kökenli bu bilim alının kurucusu yazarır. Buluşunun özünü Kaynak[4-3] aracılığına tanıtmıştır. Bu bilirie, BM ve onun içeriğine yer alan m eğerine karşılık gelen T genetik -enetim eğişkenli Kip[n] bilirişimli RCR formatlı 3D <T,, n> I@I internet içine internet BTN moelini oluşturan f <T,, n> F biçimsel mantık fonksiyonlarının P programları ile anına nasıl programlanabilikleri örneklerle anlatılacaktır. Yeterli kaynak, kaynaklar listesine veya kaynakların kaynak listelerine varır, Kaynak[4-3]. Farklı üşünmeyi çağrıştıran T biçimsel ilinin mantıksal açılımları için gerekli olan kavramlar Kaynak[-3] içeriğine mevcuttur. Anahtar Sözcükler: BTN, bellek, programlama, fonksiyon, rator, cab, ran, RCR, RCR formatlı bellek sürüsü, Q, Q +, P, P +, F, F +, I@I ve I@I + moelleri. Bilirişimli Matematik.. Giriş Yapay zekâ onanımlı I@I internet yaşamı, keni varoluş alanı içeriğine biçimsel bilirişim 2 yapmaya mukteir oluğu kesimin küçüklüğünü; onun içine yaşarken, ortaya çıkan sorunları anına çözmee yetersizliğini; olayı bir grup oyunu gibi görüp kullanıcıları ile oyun oynarken üştüğü yalnızlığı artık iyi algılamaktaır. I@I: İnternet içine İnternet yaşamı(hayatı). 2 Bilirişim: Yoğun, tıkız, çok katmanlı olarak yapılan biçimsel iletişim. Bilgisayar Bilimlerin içeriğine, mevcut bilgisayarlarla bilirişim yapmaa kullanılan; erleyecisi olan biçimsel il moellerinen her birine bir programlama ili eniği bilinmekteir. Kullanıcı kişi ile bilgisayar arasına bilirişim yapabilme yöntemlerini veya araçlarını oluşturmaa kullanılır. Programlama illerinin içeriğine yer alan, il yapıları ayrıntılı olarak inceleniğine; akıllı yaşam için hazırlanmış olan yapıbilim, anlambilim ve kullanımbilim yönünen çok önemli olan ortak il özelliklerinin var oluğu görülür. Bu neenle; T biçimsel ilinin, BNF 3 türü 3 BNF: Backus-Naur Form.
XVI. Türkiye e İnternet Konferansı 3 Kasım-2 Aralık 2, İzmir ilbilimi ile türetilebilir ve enetlenebilir yeni araçları bulunması önemliir. Bulunan araçları kullanarak bu bilirie RCR formatlı 4 3D <T,, n> Q BTN bellek türü ele eilmiştir 5. RCR formatlı 3D <T,, n> Q BTN bellek türünün Kip[n] mantık eğeri kuantumları ile programlanması yapılmıştır. Sonuçta ortaya çıkan bilirişim yapmaya mukteir olan RCR formatlı 3D <T,, n> F BTN fonksiyonlarının alt yapıları bulunmuştur. Kaynak[7-3]. T:TASIM, 972-976 yıllarına, geliştirilmiştir. Durağan ve eğişken BTN oluşumlu mantık eğerleri ile programlanabilen ve T-genetik bilirişim yapabilen, tasımlar 6 bulunmuştur. Kip[n] kavramı oluşturulmuştur. Gerektiğine RCR formatlı 3D <T, m, n> Q BTN bellek oluşumlarını kullanan tasımlar onları T genetik bilgilerle, programlayarak; çok hızlı çözüm üretecek, RCR formatlı 3D <T,, n> F BTN mantık fonksiyonlarının yazılımsal yongasını kalıcı biçimine üretecektir. Bunun için bu yazıa çok önemli buluğumuz T yaşam alanının günemine, yeni araç getirilmekteir. T genetik, enetim eğişkenli, Kip[n] iline keni tik alt BTN bileşenleri ile bilirişim kuran ve yapan; tiklerin-tiki RCR formatlı 3D <T,, n> I@I BTN internet içine internet moel oluşturma bu yazı içeriğine anlatılacaktır. Göz önüne bulunurulan yaşam alanının arka planına ise; yapıbilim, anlambilim ve kullanımbilim onların oluşumlarını bir biçimsel ilbilimin çatısı altına enetlemekte olacaktır. Bu yazının amacı, bu neenle, her yönü ile yapay zekâ okulu olan I@I moelinin algılanması, kurgulanması, tasarımı ve gerçekleştirilmesi üzerine olacaktır. 2. BM 7 Buraa BTN oluşturma bilimi olarak tanımlanan, BM içeriği özgün biçime anlatılacaktır. 2. Anlatıma Kullanılacak Olan Yeni ve Önemli Kavramlar:. GBÖ: Genişleme Büzülme Özellikli. 2. EŞTAÇ: Elastik Şeffaf Torbaa Azalan Çoğalan. 4 RCR formatlı: Rator Cab Ran yapısına olan. 5 <T,, n> : Üç farklı anlam bileşeninen oluşan bir anlam vektörüür. Anlmı < T-genetik, kontrol eğişkenli, Kip[n] kümesinen eğer alan > emektir. 3D <T,, n> Q BTN kısaltmasının anlamı ise 3 boyutlu uzaya olaşan, <T-genetik, kontral eğişkeni ile kontrol eilen, Kip[n] mantık eğerleri kümesine tanımlı olan ve Kip[n] kümesinen alınan eğerlerle programlanabilen> Q BTN. 6 Tasım: T : TASIM iline yazılmış Algoritma. 7 BM: Bilirişimli Matematik. Biçimsel iletişim yaparak bilgi işleyen yeni matematik moeli. 3. EŞTİY: Elastik Şeffaf Torba İçine Yerleşen. 4. TTBBSS: Tiklerin Tiki Bulut Bellek Sürülerinin Sürüsü. 5. BYO: Bellek Yapısına Olan. 6. BMD: Biçimsel Mantık Değeri. 7. BMTF: Biçimsel Mantık Tasarım Fonksiyonu. 8. SM: Stanar Matematik. Bu gün biliğimiz matematik. 9. Özevinim: Otomata.. Tik: Alt bileşenlerine kollay ayrılamayan.. YÇK: Yer Çekimi Kanunu. 2. BÇK: Bilirişim Çekimi Kanunu. 3. Q veya Q Q@Q bellek: GBÖ EŞTAÇ EŞTİY TTBBSS BYO bellek türüür. O olukça sakin biçime her ortama var olabilir. Her tür biçimsel bilgiyi oğal olarak algılamaya programlanabilir. Kenisi ve alt tik yapıları YÇK ve BÇK altına eğişik yöne hareket eebilir. Değişik biçime gruplar oluşturarak 3D uzayına ağılıp toplanabilir. Verilmiş olsun. Kullanılmakta olan SM iyi bilinmekteir. Toplumun %99 lık bir kesimi onun günlük yaşama, eğitim ve öğretime önemli oluğunu üşünür. Keni mantıksal çıkarımları ile üşüncelerini ortaya koyar ve savunur. Haklıırlar. Derleyicisi olmayan yüksek aşamalı biçimsel illeren sonra SM en biçimsel ilir. Bu neenle bilim ve sanat tarihinin her evresine var olmuştur. Günümüze, SM uygulaması olarak üretilen teknoloji bağımlı çok sayıa yazılım ve onanım mevcuttur. Yeni oluşturuluğu üşünülen bulut bellek yongalı çok urumlu yazılım ve onanım tasarımına özevinim kurgusu akıllı yaşamı her yönü ile eğiştirirken yeni teknoloji üretmek için tetiklemekteir. Bu tetiklemenin karşısına SM yepyeni bir matematik üretti. BM aı ile alanırı. Güneşin oğuğu yeren BM, bir GBÖ EŞTAÇ ve sonra sahip oluğu torbası ile birlikte bir yeni EŞTİY TTBBSS BYO Q bulut sürüsü bellek BTN oluşturma bilimi olarak oğu. Kip[n] {,, 2, n-} BMD kuantumları(rakamları) kümesini bir mantık eğerlri kümesi olarak tanımlaı. Kip[n] kuantumları ile bilirişim(biçimsel iletişim) kuran ve yapan enetim eğişkenli Q bellekli BTN oluşumu kuramsal(teorik) anlama üretili. Özel bir programlama tekniği ile programlanı. Kip[n] BMD kuantumlarınan Kip[n] BMD kuantumları üreten Q bellekli F BMTF BTN oluşumları üretili. Üretilen Q bellek F BMTF oluşumlarını 2
XVI. Türkiye e İnternet Konferansı 3 Kasım-2 Aralık 2, İzmir kullanılarak her n eğerli mantıkta yeni çıkarımlar yapmak mümkün olu ve olacaktır. Çünkü her en büyük sonlu sayıa BMD için m eğişkenli n eğerli BMTF bulunu. Bu yeni buluşun pere arkasına biçimsel bilirişim yapmaya mukteir olan Q bellekli BTN oluşumları yer almaktaır. Onlar basitce Kip[n] BMD kuantumları ile programlanı. Kullanılan programlama tekniği [6, 9] yaş gurubuna yer alan bir çocuğun kolayca anlayıp kullanabileceği biçime yalınır(basittir). Yazar bu teknikleri biçimsel bilirişimle bilgi işleyen BM alı BTN oluşturma bilimlerinin içeriğine koyu. BM bilimini kurmak için, o 968 yılına beri çalışılmakta ii. Bu bilirie SM esteğine oluşturulan BM içeriği, bilim ve sanat yapan bilim aamları ve aayları ile buluşturulacaktır. Orijinal buluşu estekleyen önemli yayın ve çalışma başlıklarınan bazıları bu yazının Kaynaklar listesine verilmiştir. 2. 2 BM İçeriği, Amacı, Yapısı, Anlamı, Kullanımı ve Yüksek Teknoloji Üretme Gücü. BM, N oğal sayılar kümesini ve özelliklerini oğal biçime algılar ve öğretir. Onun bir alt kümesi olarak özel tanımlı belitlerin 8 altına her n oğal sayısı için önüşümlü biçime üretilen Kip[n] {,, 2,..., n-} BMD kuantumları(veya rakamları) kümesini sonlu sayıa belit kullanarak üretir ve kullanır 9. Kip[n] kümesi Mo[n] kümesinen farklı bir kümeir. Sözü eilen aksiyomlar yazar tarafınan bulunmuştur. Yazılmıştır. Yayınlanacaktır. 2. BM, evren veya oğa varlıklarını, bir küre(veya konik) ortamına biçimsel küme yapmaya zorlayan, bir Yer Çekimi Kanunu(YÇK) oluğu gibi; onları aha güçlü biçimsel bilirişim kümeleri oluşturmaya zorlayan bir Bilirişim Çekimi Kanunu(BÇK) oluğunu üşünür, algılar ve ifae eer. Bu yeni kanunun aksiyomlarını bulur yapılanırır, anlamlanırır ve kullanır. Bilim ünyasına uyurur. Sözü eilen aksiyomlar yazar tarafınan bulunmuştur. Yazılmıştır. Yayınlanacaktır. 3. BM, çıplak gözle görünen veya görünmeyen, her evren veya oğa varlığının; Kip[n] kuantumları ile bilirişim kuran ve yürüten 8 Belit: Aksiyom. 9 BMD kuantumları: Biçimsel Mantık Değerlerini temsil een en basit yapılı stanar ko tikleri. bir Q bellekli BTN oluşumu oluğunu üşünür, algılar, yapılanırır ve anlatır. 4. BM, BTN tasarımlarının zaman kavramı içine, her eğişik yaşam ortamına, sürekli veya yenienlikli önüşümlerle aima başkalaştığını, evrimleştiğini ve yine tik BTN veya tok BTN oluşumlarına önüştüğünü algılar, yapılanırır, anlamlanırır ve kullanır. Evren bu önüşümlerin yer alığı en geniş yaşam ortamıır. 5. BM, her Kip[n] Kip[n] {,, 2,..., n-} kümesi üzerine öngülü sayma sistemi kavramının evrenin her yerine bir BTN oluşumunu yapılanırılırken, anlamlanırılırken, kullanılırken arka plana var olan bir gizemli kavram oluğunu algılar. Bu neenle Kip[n] kuantumlarını veya rakamlarını kullanarak geliştirilen öngülü sayı sistemleri BM içeriğinin en önemli konusuur. 6. Kip[n] tabanlı sayı sistemlerini BTN oluşumu olarak algılar, yapılanırır, anlamlanırır ve kullanır. Bir sayma tekniği ile oluşturuğu ko(çetele) kümelerinin içine veya üzerine kurulan; en iyi biçime bilirişim yapamaya mukteir olan; cebirsel, fonksiyonel, geometrik veya topolojik BTN oluşumlarının yapılarını, anlamlarını ve kullanımlarını amaçlarına en uygun biçime çalışır, yapılanırır, anlamlanırır ve kullanır. Yazar geliştiriği Kip[n] tabanlı biçimsel sayı illerini geçmiş süreç içerisine öğrencilerine 972-23 yılları arasına öğretmiştir. 7. BM, günümüz matematiğini bir biçimsel il olarak algılar. Onu olmazsa olmaz Stanart Matematik(SM) moeli olarak kabul eer. SM içeriğini BM içeriğineki m eğişkenli ve n eğerli biçimsel bilirişim yapmaya mukteir olan biçimsel mantık tasarımı moellerinin oluşturulmasına, yapılanırılmasına, anlamlanırılmasına, kullanılmasına ve gerçekleştirilmesine anlatım ili olarak kullanır. 8. BM, Q belekli BTN oluşumlarını algılar, yapılanırır, anlamlanırır ve kullanır. Eniyilenmiş biçime çok güçlü bilirişim yapmaya mukteir olan BTN oluşumu moellerini çalışır ve üretir. Bir biçimsel DB ilbilimin bir biçimsel D iline ürettiği biçimsel RCR formatlı eğişik sistem oluşumlarını bilgi işlemeye anına yönleniren tasımların kapanış kümelerini algılar, çalışır, geliştirir ve kullanıma sunar. 9. BM, her BTN oluşumunun Kip[n] BMD kuantum eğerlerine uyarlı oluğunu bilir. Onları 3
XVI. Türkiye e İnternet Konferansı 3 Kasım-2 Aralık 2, İzmir kullanarak bilirişim yapan, Q bellekli alı BTN oluşumlarının tasarımlarını oluşturur. Onları yenien yapılanırır, anlamlanır ve kullanır. Q bellek içine ağılmış sabit Q bellekli c kara elikler BTN oluşumlarının keni aralarına örgütlenerek oluşturuğu ccc c küme oluşumunun bir kara elik kayıtsayar kütüğü BTN oluşumu oluğunu üşünür, algılar, yapılanırır, anlamlanırır ve kullanır. Çok önemli bulur, özelliklerini çalışır, yenienlikli olarak oluşturulmuş olan yapılanırmalarını, çözümler, programlar ve kullanıma sunar.. YÇK ve BÇK kurallar altına yapılan her çoklu BTN örgütlenme oluşumunun yine bir BTN oluşumu oluğunu algılar. Bu oluşumların YÇK ve BÇK kuralları altına gelişmiş olan Yenienlikli Fonksiyonlar Teorisi kuralları altına oluşmuş oluğunu bilir.. BM, evrenin oluşumuna oluğu üşünülen Büyük Patlama sonrası YÇK ve BÇK kuralları altına oluşan her bilgi nesnesinin, bir biçimsel D illine bir biçimsel BD ilbilimi ile oluşturulmuş oluğunu bilir. Onnun biçimsel olarak Q bellekli BTN oluşumnu temsil een(betimleyen) BM moeli bulur öğrenir ve öğretir. 2. BM, evrene ve oğaa bilirişim yapmaya programlanmış yoğun Q bellekli kara elik içeren Q bellekli BTN oluşumları oluğunu bilir. Onların benzetim moellerini SM yöntemlerini kullanarak bulur. Öğrenir ve öğretir. Kip[n] BMD kuantumları ile bilirişim yaparak bilgi işleyen Q bellekli BTN oluşumlarını oluşturan tasimlar yazar tarafınan bulunmuştur, programlanmıştır ve yayınlanmıştır. 3. Q bellekli BTN oluşumları içine yer alan ccc...c karaelik kümeleri varır. Onların Kip[n] BMD kuantumları ile programlanarak m eğişkenli Kip[n] BMD kuantumlarına uyarlı olan Q bellekli F BMTF ürettiği bilinmekteir. Bu pek çok sayıa fonksiyonun anlamı ve kullanımı henüz bilinmemekteir. BM bu fonksiyonları algılar, ifae eer, yenien yapılanırır, anlamını buluklarını uyurur ve kullanır. 4. BM, en iyi biçime biçimsel bilirişim yaparak bilgi işleyen(yani bilgien bilgi üreten) algoritmaları biçimsel olarak algılar. Evrene büyük patlama sonrası oluşan bilirişim yapmaya mukteir tiklerin tiki Q bellekli BTN kapanışlarını F BMTF: F alı Biçimsel Mantık Tasarım Fonksiyonu. Kaynak[7]. yenienlikli(recursive) olarak bulur, yenien yapılanırır, anlamlanırır ve kullanır. 5. BM, algoritma(tasim) kavramını çok urumlu ve olukça yoğun Q bellekli yazılım veya soyut onanım olarak algılar. Onları kolayca kolayan T TASIM benzeri biçimsel illeri algılar, tasarımlar, gerçekleştirir ve kullanır. 3. <T,. n> Q Bellekli I@I Moeli Bu kesime <T,, n> Q bellekli I@I moeli tanıtılacaktır. 3. Tik Bileşenler. Bilgi: Verilen bir biçimsel D ilbiliminin(gramerin) kurallarını kullanarak, bir biçimsel L ilinin kelimesi olarak üretilmiş olan; bu neenle yapısı, anlamı ve kullanımı % kesinlikle algılanan her im-iziye bilgi enir. 2. Rator: Operator. İşleç türü. 3. Ran: Operan. Bir işleç tarafınan işlenen bilgi. 4. Tamra: Başlangıç urumuna bilgi salan iki urumlu anten veya anten sistemi. 5. Ramta: Bitiş urumuna bilgi salan iki urumlu anten sistemi. 6. i ( : Bir i kimlik numaralı tamra anteni.: i kimlik numaralı tamra anteni. 7. ) i : bir i kimlik numaralı ramta anteni. 8. i(... ) i : i kimlik numaralı tamra ve ramta anten çifti eş tutusu. Bu eştutu bir biri ile bilirişim yapmak için yapılmıştır. Bilirişimin nasıl yapılacağı Kaynak[3] içeriğine verili. Kavramları biliniyor kabul eilmiş olsun. Tanım. (a) nr ( ( k( n-2( n-( BTN oluşumuna, k ϵ Kip[n] olmak üzere; bir Kip[n] bilirişimli tamra anten sistemi enir. (b) Rn ) n- ) n-2 ) k ) ) BTN oluşuma, k ϵ Kip[n] olmak üzere; bir Kip[n] bilirişimli ramta anten sistemi enir. (c) n R ( ( k ( n-2 ( n- ( x BTN oluşumuna, k ϵ Kip[n] olmak üzere; bir Kip[n] bilirişimli rator veya rator sistemi enir. () R n @c) n- @c) n-2 @c ) k @c) @c) BTN oluşumuna k ϵ Kip[n] olmak üzere; bir Kip[n] bilirişimli ran veya ran sistemi enir. (e) Q Q[m, n] RCR n R R n ( ( k( n-2 ( n-( x @c) n- @c) n-2 @c) k @c) @c) BTN oluşumuna, k ϵ Kip[n] olmak üzere, bir T genetik, eğişkenli, Kip[n] BMD kuantumları ile bilirişim yapmaya mukteir olan ve RCR formatlı Q BTN bellek moeli enir. Anlatımlara ona kısaca Q bellik enecektir. Örnek : a) Gökyüzünün her hangi bir bölgesine uçan bulutsu kuş sürüsü topluluğunun birlikte 4
XVI. Türkiye e İnternet Konferansı 3 Kasım-2 Aralık 2, İzmir oluşturuğu bellek bir Q bellektir. b) Bir algıcın enizin erinine yüzerken gözleiği bulutsu balık sürüsü topluluğunun belleklerini oluşturuğu bellek bir Q bellektir. c) Sonbahara bir zeytin ağacına gözlenen zeytin taneleri topluluğunun oluşturuğu bellek bir Q belleğiir. Tanım 2:Bir Q bellek göz önüne alalım. Eğer bu belleğin en az bir alt bellek grubunun içeriği boş eğil ise o Q bellek bir I@I internet içine internet moeliir. 3.2 Önemli Kurallar. Belirtilmese ahi her Q bellek RCR formatlıır. Bu formata Rator Cab Ran formatı enir. O, n + tik elamanan oluşan bir birliktir. 2. <T,, n> Q bellek içine 4n + tik elaman olan bir birliktir. Bu birliğin: (a) Tam n tane ( tamra anteni ve tane x işleç eğişkeni elamanınan oluşan bir n + elamanlı rator birliği varır. (b) Tam n tane @c) i @ i c i ) i üçüz sabit birliği varır. Bu 3n elamanlı birliğe bir ran birliği enir. 3. Birlikler 3D uzayına birlikte hareket eerler. Hareket haline alt birlikler bilirişim yapabilecekleri bir alana her biri farklı yöne ve hıza ağılıp yenien toplanabilirler. Çünkü her birinin onlara erişebilmek için farklı kimlikleri varır. 4. Kimlikli olan Q bellek alt elamanları isteniğine kenilerini bulunukları 3D uzayına gizleyebilirler. 3D uzayına kenilerini gizlemiş olan Q alt elamanları görünmezler ama kenilerine verilen görevleri yürütürler. Kimlikler @ cap merkezlerine saklı tutulur. 5. Her <T,, n > Q bellek A { (, x, @, c, ) } ( x @ c ) tik BTN oluşumunan oluşmuş tiklerin tiki oluşumlarır. Bir <T,, n> Q bellek her zaman < b başlık, b boyunluk, b 2 beenlik, b 3 bacaklık > T 4n + alt tik elamanan yenienlikli biçime oluşur. 6. (a) Her <T,, n> Q bellek bir BTN oluşumuur. (b) Her BTN oluşumu 3D uzayına n boyutlu bir vektör ile tanımlanmıştır. Bu vektörün her bileşeni bir BTN oluşumuur. 7. Bu bilirie her Q bellek bir BTN oluşumu olarak örneklenecektir. Bileşenler < b başlık, b boyunluk, b 2 beenlik, b 3 bacaklık > T < b, b, b 2, b 3 > T bbbb T ile temsil eileceklerir. Bu yapıların 3D uzayına görüntülenmesi bir başka yazımıza tanıtılacaktır. Ayrı olarak yayınlanacaktır. Bu bilirie saece örnekler verilecektir. 8. Her <T,, n> Q bellek bir T:TASIM genetik biçimsel ilbilim ile üretilir. Böyle üretim örnekleri bir başka yazımıza verilecektir. 9. Bir tik Q bellek genele beenlik aı veya beenlik ve bacaklık aları ile görüntülenir. Örnek 2: Bir <T,, 5> Q bellek açılımı Q Q[m, n] ( ( 2 ( 3 ( 4 ( x @c) 4 @c) 3 @c) 2 @c) @c) ir. Buraa x eğişkeni ışına her tik bileşen beenlik ve bacaklık bileşenleri ile görüntülenmiştir. Ama yalnız x eğişkeni ayrıcalıklı olarak beenlik bileşeni ile görüntülenmiştir. Tanım 2: Q xccc...c BTN oluşumuna, antenleri ve cab'leri tam olarak gizlenmiş ve yalnız eğişken ve sabitlerin beenlik bileşenleri ile görüntülenmiş <T,, n> Q bellek oluşumu enir. Örnek 3: Q xccccc bir <T,, 5> Q BTN görüntüsüür. Buraa her vektör saece beenlik bileşeni ile görüntülenmiştir. Görülmeyenler bir bulut pere arkasına saklıırlar. Ama, oraa yüklenikleri görevleri yürütme erkine sahiptirler. Teorem : 3D uzayına her <T,, n> Q bellek Kip[n] BMD kuantumları ile bilirişim yapan, RCR formatlı, ü[, n] farklı f ϵ F[x] BMTF üretir. İspat: 3D uzayına, Kip[n] BMD kuantumları ile bilirişim yapan, bir Q xccc...c belleği verilmiş olsun. Her c ϵ Kip[n] oluğunan ileri oğru sayma yöntemini kullanarak ccc...c......... nnn...n- nnn...n atamaları yapılabilir. Her atama bir f ϵ F[x] BMTF üretir. Böyle tam ü[, n] sayıa f ϵ BMTF varır. Teorem 2: Her f ϵ F F[x] BMTF BTN oluşumunu RCR formatlı <T,, n> Q BTN bulutsu sürü bulut bellek BTN oluşumuna programlayan, bir algoritma varır. İspat: Gelişigüzel geçilmiş, n 2 ve n ϵ N şartlarını sağlayan, bir Kip[n] kümesi verilmiş olsun. Aşağıa verilen Algoritma A, verilen RCR formatlı <T,, n> Q BTN sürü bulut belliğine, verilen RCR formatlı Kip[n] BMD kuantumları ile bilirişim yapan f ϵ F(x) mantık fonksiyonunu programlar. Algoritma A: A: Başla; A: Tasarım ve kullanım sürecine sıkça kullanılacak olan, n 2 ve n ϵ N şartlarını sağlayan, bir oğal sayı seç ve Kip[n] {,, 2, n- } eğer kümesini oluştur. A2: Oluşturulan Kip[n] BMD kuantumlarına uyarlı olan bir RCR formatlı 3D <T,, n> Q BTN sürü bulut bellek tasarımını göz önüne al. A3: Göz önüne alığınız RCR formatlı 3D <T,, n> Q BTN sürü bulut bellek tasarımına, rator tamra antenlerinin bacaklık belleklerinin içine, Kip[n] rakamlarını solan sağa ve küçükten büyüğe yaz. A4: Göz önüne alığınız RCR formatlı 3D <T,, n> Q BTN sürü bulut bellek tasarımına, ran ramta antenlerinin bacaklık 5
XVI. Türkiye e İnternet Konferansı 3 Kasım-2 Aralık 2, İzmir belleklerinin içine Kip[n] rakamlarını sağan sola ve küçükten büyüğe yaz. A5: Bir f ϵ F { f: x y : x, y ϵ Kip[n]} {K x : x y; x, y ϵ Kip[n]} fonksiyonu seç. Kip[n] içeriğinen x ve y eğerlerini alan, birbirinen farklı n tane K x : x y önüşüm kuralını bul. A6: Oluşturulan K x kurallarını x eğerlerine göre sıraya koy. A7: Bu sıraa oluşan y eğerlerini RCR formatlı 3D <T,, n> Q BTN sürü bulut bellek tasarımının ran oluşumu içeriğine görülen ve Kip[n] rakamları ile sağan sola sıralanmış olan; ccc c sabit belleklerinin içine sıra ile sağan sola oğru yaz. A8: İçeriğine Kip[n] bilgileri yazılmış olan RCR formatlı 3D <T,, n> Q BTN sürü bulut bellek tasarımının bu son hali f mantık fonksiyonu ile programlanmış olan ü[, n] farklı RCR formatlı 3D <T,, n> I@I internet içine internet moellerinen biriir. Onu algıla. A35: Son. İzlence A3: İA:Başla. İA: Tasarım ve kullanım sürecine sıkça kullanılacak olan oğal sayı için n 8 sayısı seçilmiş ve Kip[8] {,, 2, 3, 4, 5, 6, 7} eğerler kümesi oluşturulmuş olsun. İA2: Algoritma aımı A veya Algoritma aımı A2 aracılığına Kip[8] rakamlarına uyarlı olan, Şekil içeriğine resimlenmiş olan RCR formatlı 3D <T,, 8> Q BTN bulutsu sürü bulut bellek tasarımını göz önüne al. İA3: Göz önüne alığın RCR formatlı 3D <T,, n> Q BTN sürü bulut bellek tasarımına, ratorun tamra antenlerinin bacaklık belleklerinin içine, Kip[n] rakamlarını solan sağa ve küçükten büyüğe yazınız. İA4: Göz önüne alığınız RCR formatlı 3D <T,, n> Q BTN sürü bulut bellek tasarımına, ran ramta antenlerinin bacaklık belleklerinin içine Kip[n] rakamlarını sağan sola ve küçükten büyüğe yazılır.. İA5: f {K x : x y : K : 7, K : 5, K 2 : 2 7, K 3 : 3, K 4 : 4 7, K 5 : 5 2, K 6 : 6 6, K 7 : 7 } kip[8] mantık fonksiyonunu seçmiş olun. Böyle tam ü[, 8] 6 27 757 biçimsel mantık f fonksiyonu varır. İA6: Göz önüne alığınız kip[8] mantık fonksiyonu bir RCR formatlı 3D <T,, 8> Q BTN sürü bulut bellek içeriğine Şekil içeriğine görülüğü gibi programlanmış olur. x (((((((( x Q[, m,8] 2 3 4 5 6 7 5 7 6 3 2 5 @ c )@ c )@ c )@ c )@ c )@ c )@ c )@ c ) 7 6 5 4 3 2 x (((((((( x I @ I[, m,8] 2 3 4 5 6 7 5 7 6 3 2 5 @ c) @ c) @ c) @ c) @ c) @ c) @ c) @ c) 7 6 5 4 3 2 Şekil : Bir RCR formatlı 3D <T,, 8> I@I BTN mantık f fonksiyonu programı. İA22: Son. 6. Resimlerle T-genetik BTN Oluşumu Anlatımları Bu kesime resimlerle Q bellek BTN anlatımı yapılacaktır. Şekil 2.Tamralı rator BTN oluşumu. 6
XVI. Türkiye e İnternet Konferansı 3 Kasım-2 Aralık 2, İzmir Q[ x, m, n] ((... ( ( x n 2 n @ c ) @ c )... @ c ) n @ c ) n 2 Şekil 6: 2D <T, n> Q RCR BTN sürü bulut belek. Buraa ran BTN oluşumunun 3D2 yaşam ortamına serpilmiş biçimi görüntülenmiştir. Şekil 3. Bir <T,, 2> Q bellek oluşumu.. 4 4 x (((((((( x I @ I[, m,8] 2 3 4 5 6 7 5 7 6 3 2 5 @ c) @ c) @ c) @ c) @ c) @ c) @ c) @ c) 7 6 5 4 3 2 ( @ ) ( c n 2 n 2 x... x @ c )... @ c ) n ( ( n @ c ) Q[, m, n] Şekil 4: Q[x, m, n 8] sürü bulut belleğinin P P[f] {K x x y: K 5, K 2, K 2 2, K 3 3 3, K 4 4, K 5 5 6, K 6 6 7, K 7 7 5}program bilgisi ile programlanarak ele eilen, I@I[x, m, n 8] BTN tasarımını kullanarak f[x 4] eğerinin bulunması. 6 6 x (((((((( x I @ I[, m,8] 2 3 4 5 6 7 5 7 6 3 2 5 @ c) @ c) @ c) @ c) @ c) @ c) @ c) @ c) 7 6 5 4 3 2 7 Şekil 5: Q[x, m, n 8] sürü bulut belleğinin, P P[f] {K x x y: K 5, K 2, K 2 2, K 3 3 3, K 4 4, K 5 5 6, K 6 6 7, K 7 7 5} program bilgisi ile programlanarak ele eilen, I@I[x, m, n 8], BTN tasarımını kullanarak, f[x 6] 7 eğerinin bulunması. 7 Şekil 7: Bir <T,, n> Q bellek oluşumunun bir 3D2 yaşam alanı ortamına serpilmiş rator ve ran özelliklerini ön plana çıkartan 3D moel tasarımı. 7. Bir <T,, n> I@I BTN Moelinin ü[, n] Sayıları Bu kesime bir <T,, n> I@I BTN moeline programlanabilen Kip[n] mantık fonksiyonlarının sayısını belirleyen ü[, n] sayıları, n için verilmekteir. Tablo e verilen bilgilerin incelenmesinen, n sayısı büyüükçe tasarımı yapılan belleğe yazılıp okunabilecek n uzunluklu kelimelerle belirlenen fonksiyonların sayısınaki artışın ikkat çekici oluğu görülmekteir. Bu kaar çok sayıa tanımlanabilen BMTF tanımınan ve özelliklerinen, matematik ünyası habersiz görünüyor. Haberi olsa bile bu fonksiyonları hangi teknoloji ile gerçekleştirerek kullanabileceğini bilmiyor. Bir <T,, n> Q bellek BTN sürü bulut belleğini programlayarak ele eilen <T,, n> I@I internet içine internet BTN moeli oluşturabilen fonksiyonların sayısını bulan ü[, n] sayıları Tablo e verilmiştir. 7
XVI. Türkiye e İnternet Konferansı 3 Kasım-2 Aralık 2, İzmir n N Ü[, n] Yorum Sayısı Sayısı? 2 4 Biliniyo r 3 27? 4 256? 5 3 25? 6 46 656? 7 823 543? 8 6 777 26? 9 38 742? 489 4 65? 48 843 829? 75 Tablo : ü[, n] sayıları. 9. Sonuçlar, Öneriler ve Eleştiriler. Bu biliri ile <T,, n> I@I internet içine internet BTN moeli İnternet ve Bilgisayar Bilimcilerinin günemine taşınmıştır.. 2. T:TASIM biçimsel ili saece 3 asıl bir eşik ilbilim kuralınan oluşan, ilk 97 li yıllara, yazar tarafınan tanımlanmıştır. Öğrenilmesi çok kolay olan, bir biçimsel ilir. 3. Tasımlama biren çok T-genetik BTN oluşumunan yeni T-genetik BTN oluşumları oluşturan tasımları, makine ve il enklik sınıflarına ayırarak, ele eilen makine enklik sınıfının ele eilen il enklik sınıfı aracılığına programlanmasını güneme taşımıştır. 4. Yazar bu yazı ile biçimsel T-ilbilimini ve bu ilbilim ile <T,, n> Q BTN sürü bulut bellek oluşumlarını oluşturan Bilirişimli Matematik kavramının nasıl kullanılabileceğini güneme getirerek tartışmaya açmak istemiştir. Yetişmekte olan kuşağa yararlı olmasını iler. 5. BTN üzerine uzman olan BM, Kip[n] {,, n-}, n ϵ N, tanım bölgesine; bir Q k belleğe ü[, n] +(n-) n sayıa RCR n- k formatlı f ϵ F BMTF BTN oluşumunu bir p ϵ P programı ile programlayarak bir I@I internert içine internet oluşturuğu kanıtlanmıştır. Kaynak[7-3]. 6. Evrene tıpkı yerçekimi yasası gibi bir bilirişime çekim yasası varır. Bu yasanın gereği her BTN bir BTN gurubu ile bilirişim kurmaktaır. Yazarın buluğu yeni n eğerli mantık tasarımının, insanlığa ayınlık gelecek kapısını açtığı görülmüştür. Onun iyi algılanarak gelecekte n eğerli mantık çıkarımlarını yapan tasım BTN oluşumlarının kullanılması gerektir, şarttır ve yeterir. Kaynaklar [] P. Linz: Introuction to Formal Languages an Automata, Fourth Eition, Jones an Bartlett Publishers, Lonon, 26. [2] R. L. Causey: Logic, Sets, an Recursion, Secon Eition, Jones an Bartlett Publishers, Inc., Lonon, 26 [3] W. Lark: LISP.5 Primer, Dickenson Publishing Inc. California, 968. [4] F. Ünlü: Kuramsal λ-tasımlaması, Atatürk Üniversitesi Basımevi, Erzurum, 976. [5] F. Ünlü: A TASIM Logic realization of Boolean algebra, DIRASAT. A Research Journal, the University of Joran, VIII (7): pp67-76, Amman, 986. [6] F. Ünlü: A TASIM Logic realization of Boolean algebra, DIRASAT. A Research Journal, the University of Joran, VIV (2): pp6-8, Amman, 987. [7] F. Ünlü: CITALOG: Compact an Integrate Tasim Logic Closure, Journal of King Abulaziz University, Science, Vol. 2, pp 7-36, Jeah, 99. [8] F. Ünlü : Instant (FLA, HOB) Computational Management System KBO Moel Design, Int. Journal of Contemporary Mathematical Sciences, Vol., 26, no. 5-8, pp223-235. [9] F. Ünlü: FTD Grammar Graph, International Journal of Computer Mathematics, 23, Vol. 8(), pp-9. [] F. Ünlü: T-genetic RCR-U Form, INISTA 2, ID 6, pp -5, Kayseri, Turkey, 2. [] F. Ünlü: Biçimsel TASIM Dilbilimi, AYSU 2, ID 5, pp -5, Kayseri, 2. [2] F. Ünlü: Remote Programmable Mobile Communicating Global TASIM-T E- Business Moules Controllable by One Control Variable, ICBME 29, Vol. II, pp 9-3, Yasar University, Izmir. [3] F. Ünlü: Q ve Q + Sürü Bellekli I@I Moeli Tasarımına Kullanılan T Genetik Altyapı Elamanları, XVI. Türkiye'e İnternet Konferansı. Biliri No. 3, 3 Kasım-2 Aralık 2, Ege Üniversitesi Atatürk Kültür Merkezi, Konak, İzmir 8