An Investigation of the common structure underlying the correctness and completeness proofs of parsing algorithms
Söz dizimsel inceleme yöntemlerinin doğruluk ispatlarının ortak yapısı üzerine karşılaştırmalı ön araştırma
- Tez No: 95385
- Danışmanlar: DOÇ. DR. ZEKİ BAYRAM
- Tez Türü: Yüksek Lisans
- Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Computer Engineering and Computer Science and Control
- Anahtar Kelimeler: Belirtilmemiş.
- Yıl: 2000
- Dil: İngilizce
- Üniversite: Boğaziçi Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Bilgisayar Mühendisliği Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: 75
Özet
VI ÖZET SÖZ DİZİMSEL İNCELEME YÖNTEMLERİNİN DOĞRULUK İSPATLERININ ORTAK YAPISI ÜZERİNE KARŞILAŞTIRMALI ÖN ARAŞTIRMA Söz dizimsel inceleme yöntemleri, belli bir gramer ve belli bir kelime için, bu kelimenin verilen gramerden türetilip türetilemiyeceğine karar veren araçlardır. Başka bir deyişle, bu kelimenin verilen gramerin oluşturduğu dile ait olup olmadığına karar verirler. Bunun için, hangi söz dizimsel inceleme yöntemi kullanılırsa kullanılsın, hepsinin de sağlaması gereken önemli bir özellik vardır: doğruluk özelliği. Bütün söz dizimsel inceleme yöntemleri aynı amacı güttüğüne göre (verilen kelimenin dile ait olup olmadığına karar vermek), ve bu amacı yerine getirmek için hepsi de aynı gramer, aynı dil ile uğraştığına göre, doğruluk ispatlarının benzer olabileceğini düşündük. Bu yüksek lisans tez çalışmasının ana konusu böyle bir benzerliğin olup olmadığını araştırmak. Bunun için üç ayrı söz dizimsel inceleme yöntemini ele aldık, ve bunların doğruluk ispatlarını tekrar baştan yaparak, karşılaştırdık. Böylece, gerçekten benzerlik olup olmadığını tespit etmeye çalıştık Bulmuş olduğumuz benzerlikler bize tüm söz dizimsel inceleme yöntemine ortak genel bir doğruluk ispatı yapısı olabileceğine dair kuvvetli ip uçları vermektedir.
Özet (Çeviri)
ABSTRACT AN INVESTIGATION OF THE COMMON STRUCTURE UNDERLYING THE CORRECTNESS AND COMPLETENESS PROOFS OF PARSING ALGORITHMS Parsing algorithms are methods that permit, given a string and a grammar, to decide if this string is obtainable from the grammar. Whatever the method, all parsing algorithms have to satisfy two properties: soundness and completeness. It seems natural to think that since all parsing algorithms are dealing with the same entities (grammar, language, recognizer...), with the same aim (to see if the given string is in the language), their correctness proofs should be similar. The work done in this MS thesis is a comparative analysis on three parsing algorithms. In order to see if really there exist similarities among the correctness proofs of different parsing algorithms, we tried to rewrite those proofs for the analyzed algorithms, in a homogeneous manner. The similarities found among the correctness proofs make us think that there is a generic proof architecture lying under all correctness proofs of all context free grammar architecture.
Benzer Tezler
- Döviz kurunu belirleyen faktörler ve kur riski
Determination of foreign exchange rates and foreign exchange risk
MEHMET COŞKUN ÖZAVNİK
- Güvenilirlik test yöntemlerinin araştırılması ve topraklı prizler için optimum test yönteminin tespiti
Investigation of reliability test methodologies and determination of optimum reliability test method for socket-outlet with earth
BURAK ŞAL
Yüksek Lisans
Türkçe
2017
Elektrik ve Elektronik Mühendisliğiİstanbul Teknik ÜniversitesiElektrik Mühendisliği Ana Bilim Dalı
PROF. DR. AYDOĞAN ÖZDEMİR
- Investigation of novel genes and functional roles in MEFV negative FMF patients through next-generation sequencing
MEFV negatif ailesel Akdeniz ateşi hastalarında yeni nesil dizileme yöntemiyle özgün genlerin ve işlevlerinin araştırılması
MERVE ÖZKILINÇ ÖNEN
Doktora
İngilizce
2023
Genetikİstanbul Teknik ÜniversitesiMoleküler Biyoloji-Genetik ve Biyoteknoloji Ana Bilim Dalı
PROF. DR. EDA TAHİR TURANLI
- Development of a novel evolutionary algorithm specialized for crystal structure prediction of molecular systems: MCaSP-Evo
Moleküler sistemlerin kristal yapı tahmini için özelleştirilmiş bir evrimsel algoritmanın geliştirilmesi: MCaSP-Evo
DENİZHAN TUTAR
Yüksek Lisans
İngilizce
2019
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİstanbul Teknik ÜniversitesiHesaplamalı Bilimler ve Mühendislik Ana Bilim Dalı
PROF. DR. ADEM TEKİN
- A-to-I RNA editing events, potential biomarkers for prognosis and chemosensitivity in gastric cancer
A-I RNA düzenleme olayları, gastrik kanserinde prognoz ve kemosensivite için potansiyel biyomarkerler
ISLI ÇELA
Yüksek Lisans
İngilizce
2022
Biyolojiİhsan Doğramacı Bilkent ÜniversitesiMoleküler Biyoloji ve Genetik Ana Bilim Dalı
PROF. DR. ALİ OSMAY GÜRE