Gerçek zamanlı vektör makineler

Sonlu durum makinesi otomata teorisinin en çok incelenen modellerinden biri olmuştur. Standart modelin gücünün sınırlı olması araştırmacıları bu standart modelin üzerine farklı eklemeler yapmaya itmiştir. Sayaçlı makineler, çarpımlı sonlu durum makineleri, grup üzerinde tanımlı sonlu durum makineleri bu eklemelere örnektir. Bu tezde $ k $ boyutlu bir vektörle güçlendirilmiş ve her adımda bu vektörü uygun kxk matrislerle çarpmaya programlanmış gerçek zamanlı sonlu durum makineleri incelenmiştir. Bir adımda vektörün sadece tek bir girdisi 1'e eşit mi diye kontrol edilebilir. Makinelerin belirlenimci, belirlenimci olmayan, ``kör'' versiyonları tarafından tanınan diller incelenmiş ve birbirleriyle karşılaştırılmışlardır. Bu makineler ile, sayaçlı makinelerin ve genellenmiş sonlu durum makinelerin birbirleriyle yakından ilişkili olduğu ortaya çıkmıştır.