| Dersin Kodu |
: BİL405 |
| Dersin Adı |
: Özdevinirler Kuramı ve Biçimsel Diller |
| Saat - Kredi |
: 3 - 0 - 3 |
|
|
Ders İçeriği:
|
|
Sonlu özdevinirler: Deterministik ve deterministik olmayan özdevinir modelleri, Lamda-geçişleri, Mealy ve Moore makineleri, yalınlaştırma yöntemi. Düzgün kümeler ve düzgün deyimler, sonlu özdevinir-düzgün deyim ilişkisi. Biçimsel dilbilgisi ve diller, dilbilgisi ve dil sınıfları ve özellikleri. Düzgün dilbilgisi ve diller, düzgün dilbilgisi - sonlu özdevinir ilişkisi. Bağlamdan-bağımsız dilbilgisi ve diller. Yığıtlı özdevinir (pushdown aotomata) modeli, yığıtlı özdevinir - bağlamdan bağımsız dilbilgisi ilişkisi. Turing makineleri ve kısıtlamasız diller. Ayrıştırma işlemleri: Ayrıştırma türleri, yukarıdan-aşağıya ve aşağıdan-yukarıya ayrıştırma, bağlamdan-bağımsız diller için LL(k) ve LR(k) ayrıştırma, LR(k) ayrıştırmada sonlu özdevinir modelinin kullanılması.
|
| |
| Dönem |
: 2004 - 2005 Güz |
| Ders Sorumlusu |
: Prof.Dr. Ünal YARIMAĞAN |
| Ders Saati |
: Perşembe 9:10 - 12:00 |
| Öğrenci Sayısı |
: 55 |
|
|
Sınavlar:
|
| 1. Ara Sınav |
( ) |
: |
Ort = |
SS = |
| 2. Ara Sınav |
( ) |
: |
Ort = |
SS = |
| Genel Sınav |
( ) |
: |
Ort = |
SS = |
|
|
Notların Dağılımı:
|
|
|
|
Başarı Oranı:
|
| Koşulsuz (A1, A2, B1, B2, C1) |
: |
|
| Koşulsuz + Koşullu (C2, D1, D2) |
: |
|
|
|