Deterministic Automata with Advice

Duris ve diğerlerinin makalesindeki bazı teoremlerin ve kanıtlarının üzerinden tekrar geçtim, kısa ve öz ifadelerini daha açık ve anlaşılır yapmaya çalıştım, önek-hassas dillerin boy artış hızı için bir alt sınır buldum. Küçük’ün tezindeki bir teorem için alternatif bir kanıt gösterdim. Küçük’ün tezindekine benzer, polinom öğüt gerektiren bir dil ailesi gösterdim. Tanınabilir iki dilin girdi uzunlukları özel bir şartı sağladığında bitiştirme dilinin de tanınabildiğini gösterdim. Soru-cevap fikrini genelleyip görselleştirmeye çalıştım, bunun için bir taayyün tablosu kullandım. Daha önce bilinen bazı sonuçların bu tablo üstünde ne manaya geldiklerini gösterdim.