Szintaktikai elemzők erős negációs szemantikájú logikai nyelvtanokhoz

A tétel rövid nézete
dc.contributor.advisorVaszil, György
dc.contributor.authorAdrián, Patrik
dc.contributor.departmentDE--Informatikai Kar
dc.date.accessioned2024-06-23T19:10:51Z
dc.date.available2024-06-23T19:10:51Z
dc.date.created2023-11-16
dc.description.abstractA formális nyelvek elmélete a számítástudomány egyik alapvető kutatási területe, melynek gyakorlati alkalmazásai jelentős szerepet töltenek be az informatika számos területén, többek között a fordítóprogramok és értelmezők alapját adó szintaktikai elemzésben is. A Chomsky nevéhez kötődő környezetfüggetlen nyelvtanok ezen a területen vitathatatlan népszerűségnek örvendenek, köszönhetően többek között könnyen érthető szemantikájuknak. Noha időközben a formális nyelvek tudománya nyelvek és nyelvtanok számos fajtájával gazdagodott, ezek mind inkább megmaradtak kutatási érdekességnek, mintsem hogy széles körben alkalmazott eszközökké váljanak. A környezetfüggetlen nyelvtanok meglévő műveleteinek (unió, konkatenáció) a konjunkció (metszet), majd a negáció (komplemens) műveletével való kibővítésével A. Okhotin foglalkozott részletesen ([15], [17]). Ezek a logikainak (Boolean) nevezett nyelvtanok szigorúan erősebbek, mint környezetfüggetlen elődeik, ugyanakkor új problémákat is felvetnek a modellezhetőség és egyértelműség vonatkozásában. A logikai nyelvtanok szemantikai modellezése nehéz feladat, mivel a negáció bevezetésével lehetőség nyílik önellentmondást leíró szabályok megfogalmazására. Kountouriotis és mások ([20]) ezen hiányosság feloldására a A. V. Gelder és mások ([13]) által kidolgozott, háromértékű logikára épülő megalapozott (well-founded) szemantika alkalmazását javasolta logikai nyelvtanok kiértékeléséhez. Jelen munkában ugyancsak a logikai nyelvtanok ugyancsak háromértékű szemantikájával foglalkozunk a klauzális logikai programok Fitting-féle szemantikájára ([11]) építkezve. Ehhez kapcsolódóan megmutatjuk, hogyan alakíthatók át a szintaktikai elemzők „nagy családjai” a logikai nyelvtanok ezen modelljeinek kiszámítására.
dc.description.courseProgramtervező informatikus
dc.description.degreeMSc/MA
dc.format.extent55
dc.identifier.urihttps://hdl.handle.net/2437/374664
dc.language.isohu
dc.rights.accessHozzáférhető a 2022 decemberi felsőoktatási törvénymódosítás értelmében.
dc.subjectformális nyelvek
dc.subjectnyelvtan
dc.subjectlogika
dc.subject.dspaceInformatika::Számítógéptudomány
dc.titleSzintaktikai elemzők erős negációs szemantikájú logikai nyelvtanokhoz
dc.title.translatedSyntax analyzers for Boolean grammars with strong negation semantics
Fájlok
Eredeti köteg (ORIGINAL bundle)
Megjelenítve 1 - 1 (Összesen 1)
Nincs kép
Név:
szakdolgozat.pdf
Méret:
308.81 KB
Formátum:
Adobe Portable Document Format
Leírás:
Megjelenítés
Engedélyek köteg
Megjelenítve 1 - 1 (Összesen 1)
Nincs kép
Név:
license.txt
Méret:
2.35 KB
Formátum:
Item-specific license agreed upon to submission
Leírás:
Letöltés
Gyűjtemények
Hallgatói dolgozatok (Informatikai Kar)