Bir DFA veya NFA, soldan sağa hareket ederek tek bir başlı bir giriş dizesinden okur. Her biri girdiden soldan sağa doğru hareket eden ancak girişte diğerleri ile aynı yerde olmayan birden fazla kafaya sahip sonlu durumlu makineleri merak etmek doğal görünmektedir .
İle bir sonlu durum makinesi tanımlayalım kafaları aşağıdaki gibi:
Bir k kafalı NFA bir başlık olur, nerede:
Her zaman oldugu gibi, sonlu bir devletler kümesidir, sonlu bir alfabe, bir başlangıç durumudur ve bir dizi kabul eden devlettir. İzin Vermek boş dize dahil karakter kümesini gösterir.
geçiş ilişkisidir: bir geçiş makine durumdaysa , okuyabilir öyle ki kafa için bir sonraki karakter (veya eğer bu kafa hareket etmiyorsa) .
Bu tür bir makinenin çalıştırılması (başlangıç durumundan başlayıp kabul eden bir durumla biten herhangi bir yol) tek bir dizeyle değil, farklı dizeler (karakterleri çalışma boyunca birleştirerek oluşturulur). Sonra koşunun geçerli olduğunu söylüyoruz . dizeler aynıdır.
Makinenin dili dizeler kümesidir makinenin geçerli bir çalışması olacak şekilde bu çalışma boyunca üretilen dizelerin hepsi eşittir .
Soru: Bu tür makineler tarafından tanınan dil sınıfı nedir? Çalışıldı mı?
İlk gözlem, bu tür makinelerin normal dillerden daha büyük bir sınıf üretmesidir. Örneğin, dil
(Burada, ile etiketlenmiş bir kenar formun geçişini belirtir .)
Ancak ikinci bir gözlem, bağlamdan bağımsız dillerin hepsinin tanınmadığı; örneğin, Dyck dili bunlar tarafından tanınamıyor gibi görünüyorkafalı makineler.