Sonlu otomatlar ve biçimsel diller: gramerler ve regex

Kısaca: Sonlu otomatlar basit dil örüntülerini (düzenli ifadeler) tanır, yığıtlı otomatlar ve bağlamdan bağımsız gramerler programlama dillerini betimler, Turing makineleri hesaplanabilir her şeyi hesaplar.

Biraz daha ayrıntılı: Kuramsal bilişim, bilgisayarların ilkesel olarak ne yapabildiğini açıklar. Uygulama: regex, ayrıştırıcılar/derleyiciler, protokoller, oyun yapay zekâsı (durum makineleri) ve sınav konuları (durum diyagramları).

Ayrıntılı

Sonlu otomat (DFA/NFA)

Bir sonlu otomat…

Ayrıca bak: Regex, Sözcük çözümleyici, ayrıştırıcı ve sözdizimi ağacı, Durum makinesi, P ve NP