Geri Dön

Sonlu otomataların matematiksel modellerinin analizi

Analysis of mathematical models of finite state machines

  1. Tez No: 292600
  2. Yazar: MUHAMMET CANDAN
  3. Danışmanlar: PROF. DR. YAKUP HACI
  4. Tez Türü: Yüksek Lisans
  5. Konular: Matematik, Mathematics
  6. Anahtar Kelimeler: Belirtilmemiş.
  7. Yıl: 2011
  8. Dil: Türkçe
  9. Üniversite: Çanakkale Onsekiz Mart Üniversitesi
  10. Enstitü: Fen Bilimleri Enstitüsü
  11. Ana Bilim Dalı: Matematik Ana Bilim Dalı
  12. Bilim Dalı: Belirtilmemiş.
  13. Sayfa Sayısı: 80

Özet

Bilim ve mühendislikteki bazı uygulamalı problemler sonlu otomataların matematiksel modelleri yardımıyla çözülebilir. Sonlu otomataların matematiksel modelleri , elektronik bilgisayarların tasarımında , farklı dillerin sentez analizinde , psikolojide ve insan sinir hareketleri gibi birçok alanda önemli rol oynadığından bu problemlerin daha derinden araştırılmasını gerektirirTez konusunun amacı sonlu otomataların bazı matematiksel modellerini oluşturarak analiz etmektir. İlk olarak graf teorisinin temel kavramları üzerinde durulmuş, sonra temel modelin önemli özellikleri incelenmiştir. Bazı durumlar için uygun matematiksel modeller araştırılarak uygulama amaçlı sonuçların bulunması yönünde çalışmalar yapılmıştır. Durumlar ve alt otomataların tasnifi verilerek bu konuda önemli algoritmalar araştırılmıştır. Daha sonra geçiş ve yüksek mertebeden geçiş matrisleri yardımıyla minimal yolların bulunması için gerekli yöntemler verilmiştir.

Özet (Çeviri)

Most applied problems encountered in scientific and engineering investigations can be solved with the help of mathematical models of finite state machines.Since mathematical models of finite state machine played an important role in many areas such as , design of electronic computers, analysis of language syntax, psychology and human nervous activity, these problems require a deeper investigations.The aim of this thesis is to analysize by constructing some mathematical models of finite state machines.Firstly, the basic concepts of graph theory were focused on, and then some properties of basic model were investigated. In some cases the appropriate mathematical models have been carried out for application of results. Algorithms concerning classification of state and submachines, have been constituted. Then the necessary methods have been given to find minimal paths in via transition matrix and high order transition matrices.

Benzer Tezler

  1. Investigating conjugate heat transfer in a square cylinder via Lattice boltzmann method

    Lattice boltzmann yaklaşımıyla kare silindirde birleşik ısı transferinin incelenmesi

    AANIF HUSSAIN

    Yüksek Lisans

    İngilizce

    İngilizce

    2024

    Havacılık ve Uzay Mühendisliğiİstanbul Teknik Üniversitesi

    Uçak ve Uzay Mühendisliği Ana Bilim Dalı

    PROF. DR. BAYRAM ÇELİK

  2. İletişim tabanlı tren kontrol sisteminin sonlu durum otomatları ile modellenmesi ve merkezi olmayan hiyerarşik kontrolü

    Decentralized and hierarchical control of communication based train control and modelling system with finite state automata

    CEM ATILGAN

    Yüksek Lisans

    Türkçe

    Türkçe

    2019

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolYıldız Teknik Üniversitesi

    Kontrol ve Otomasyon Mühendisliği Ana Bilim Dalı

    DOÇ. DR. ÖZGÜR TURAY KAYMAKÇI

  3. Designing and implementing a workflow engine with using finite state automata

    Sonlu durum otomatı kullanarak iş akış motoru tasarımı ve gerçekleştirimi

    OĞUZHAN KAYIŞ

    Yüksek Lisans

    İngilizce

    İngilizce

    2019

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolDokuz Eylül Üniversitesi

    Bilgisayar Mühendisliği Ana Bilim Dalı

    DR. ÖĞR. ÜYESİ SEMİH UTKU

  4. M.S. Kinect sensörü ile yürüyüş bozukluğu tespiti

    Gait disorder detection with M.S. Kinect sensor

    HALİT TALHA TÜRE

    Yüksek Lisans

    Türkçe

    Türkçe

    2017

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolBeykent Üniversitesi

    Bilgisayar Mühendisliği Ana Bilim Dalı

    YRD. DOÇ. EDİZ ŞAYKOL

  5. Model-driven architecture based testing using software architecture viewpoints

    Yazılım mimarisi bakış açıları kullanılarak model güdümlü mimari tabanlı test etme

    BURAK UZUN

    Yüksek Lisans

    İngilizce

    İngilizce

    2015

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİhsan Doğramacı Bilkent Üniversitesi

    Bilgisayar Mühendisliği Ana Bilim Dalı

    YRD. DOÇ. DR. BEDİR TEKİNERDOĞAN