Matematik gruplarını ve CS resmi dillerini veya Turing makineleri gibi başka bir temel CS kavramını ilişkilendirmenin veya bağlamanın doğal veya kayda değer bir yolu var mı ?
Referanslar / uygulamalar arıyorum. Ancak yarı gruplar ve CS dilleri arasındaki bağlantıdan haberdar olduğumu unutmayın ( sonlu otomata üzerinden ). (Semiautomata ilişkin bu literatür hiç "grup-otomata" ya bakar mı?)
Yıllar önce, TM geçiş tablolarını ikili bir operasyona, muhtemelen bazen bazı durumlarda bir gruba dönüştüren ve TM durum tablosundaki bir tür simetriye dayanan bir kağıt gördüm. Özellikle bunu keşfetmedi, ama aynı zamanda dışlamadı.
Ayrıca, özellikle, sonlu grupların sınıflandırılması üzerine yapılan geniş çaplı matematik araştırmaları ile ilgili olarak , TCS'de herhangi bir anlamı veya yorumu olabilir mi veya yorumlayabilir mi? Matematiksel araştırmaların bu devasa yapısının "algoritmik mercek" görünümü nedir? Hesaplamadaki olası gizli bir yapı hakkında "ne" diyor?
Bu soru kısmen diğer bazı notlardan esinlenmiştir: