20.500.12556/RUL-186431 Jezikovni strežnik na osnovi inkrementalne LL sintaksne analize Language Server based on Incremental LL Parsing Med urejanjem programa posamezna sprememba praviloma vpliva le na majhen del dokumenta. V diplomskem delu obravnavamo inkrementalno sintaksno in semantično analizo programov v učnem jeziku Prev, katere cilj je ponovno uporabiti čim več rezultatov predhodne analize. Sintaksni del temelji na inkrementalni LL(1) analizi. Njeno delovanje podrobno utemeljimo in jo razširimo z obnovo po napakah za obravnavo nepopolnih programov. Pri semantični analizi razreševanje imen izvedemo z drevesom dosegov, pri preverjanju tipov pa vpliv sprememb določimo na podlagi zabeleženih odvisnosti. Razvite postopke združimo v jezikovni strežnik za Prev, ki rezultate analize uporablja za podporo funkcionalnostim razvojnega okolja. Učinkovitost pristopa ovrednotimo na programih različnih velikosti in pri različnih vrstah sprememb ter pokažemo, da lahko inkrementalna analiza bistveno skrajša čas ponovne obdelave dokumenta. When a program is edited, an individual change typically affects only a small part of its structure. In this thesis, we present an approach to incremental syntax and semantic analysis of programs written in the educational language Prev, with the aim of reusing as many previously computed results as possible. For syntax analysis, we use an incremental LL(1) parser. We provide a correctness argument for the algorithm and extend it with simple table-driven error recovery to handle incomplete programs. Our semantic analysis is split into name resolution and type checking. Name resolution uses a scope tree, while type checking relies on recorded dependencies to determine which results need to be recomputed after a change. We integrate the resulting pipeline into a language server for Prev and evaluate its performance on programs of different sizes and under different types of changes, demonstrating that incremental analysis can significantly reduce the time required to reanalyze a program. inkrementalna sintaksna analiza LL(1) analiza jezikovni strežnik inkrementalna semantična analiza razreševanje imen preverjanje tipov Incremental Parsing LL(1) Parsing Language Server Incremental Semantic Analysis Name Resolution Type Checking true false false Slovenski jezik Angleški jezik Diplomsko delo/naloga 2026-09-01 13:25:45 2026-09-01 13:25:53 2026-09-03 04:38:21 0000-00-00 00:00:00 2026 0 0 0000-00-00 NiDoloceno NiDoloceno NiDoloceno 0000-00-00 0000-00-00 0000-00-00 1970-01-01 38868 Balant_Denis_-_Jezikovni_streznik_na_osnovi_inkrementalne_LL_sintaksne_analize.pdf Balant_Denis_-_Jezikovni_streznik_na_osnovi_inkrementalne_LL_sintaksne_analize.pdf 1 842B339813DFECE2759B383C3BB0C759 ce901ad18c6a10b3d5122fdcd376c635fa9dfe53e54e88877326df23de184ae7 76f7709f-a5f7-11f1-9b0d-0050569b8976 https://repozitorij.uni-lj.si/Dokument.php?lang=slv&id=245686 Fakulteta za računalništvo in informatiko 0 0 0