Seçmeli Ders

Sample Elective Course Theory of mathematical models of computing devices through the study of abstract machines and corresponding formal languages. Topics include: formal languages, grammars, finite state machines, regular sets, regular expressions, limitations of finite state models, pushdown automata, context free languages, Turing machines, effective computability, unsolvable decision problems. Soyut makinalar ve bunlara denk düşen formel diller çalışmasıyla bilgisayarların matematiksel modellerinin teorisi. Konular : Formel Diller, gramerler, sonlu durum makinaları, düzenli kümeler, düzenli ifadeler, sonlu durum modellerindeki sınırlandırmalar, itmeli automata,ilişki bağımsız diller, Turing makinaları, etkili hesaplanabilme, çözülemeyen karar problemleri.