Otomat Teorisi ve Hesaplanabilirliğe Giriş

Bilgisayarların bilgiyi en temel düzeyde nasıl işlediğini anlamak, bilgisayar bilimlerinde uzmanlaşmanın anahtarıdır. Bu ders, soyut makinelerin karmaşık problemleri nasıl çözdüğünü göstererek hesaplamanın teorik temellerinin gizemini ortadan kaldırır. Kod yazmaktan, neyin hesaplanabileceğinin matematiksel sınırlarını anlamaya geçiş yapacaksınız. Biçimsel gramerler tasarlamayı, sonlu durum makinelerini analiz etmeyi ve bu kavramların düzenli ifade motorları (regular expression engines) ve derleyiciler (compilers) gibi modern teknolojilere nasıl güç verdiğini keşfetmeyi öğreneceksiniz. Ne öğreneceksiniz: - Temel terminolojiyi, alfabeleri, dilleri ve temel matematiksel kanıtları anlayın. - Desen eşleştirme problemlerini çözmek için sonlu otomatlar ve düzenli ifadeler tasarlayın. - Modern ayrıştırma (parsing) teknikleri için bağlamdan bağımsız gramerleri ve yığıtlı otomatları (pushdown automata) analiz edin. - Turing makinelerini ve hesaplanabilirliğin temel sınırlarını keşfedin. - Teorik kavramları ayrıştırıcı üreteçleri (parser generators) ve derleyici tasarımı gibi modern yazılım araçlarına uygulayın. Biçimsel dillerin ve belirleyici makinelerin çekirdek tanımlarıyla başlıyor, kademeli olarak bağlamdan bağımsız dillere, Turing makinelerine ve karar verilebilirliğe ilerliyoruz. Net yazılı açıklamalar ve yapılandırılmış metin alıştırmaları sayesinde güçlü bir teorik temel oluşturacaksınız. Bu ders; başlangıç düzeyindeki bilgisayar bilimi öğrencileri, kendi kendini eğitmiş programcılar ve hesaplamanın matematiksel sınırlarını merak eden herkes için tasarlanmıştır. İleri düzey matematik altyapısı gerekmez. Bilgisayar bilimlerinin teorik temellerinin kilidini açmak için bugün okumaya başlayın.