Apribojimai ciklų radimui sekvenciniame laiko logikos skaičiavime
Straipsniai
Adomas Birštunas
Vilnius University
Publikuota 2008-12-21
https://doi.org/10.15388/LMR.2008.18108
PDF

Reikšminiai žodžiai

sekvencinis skaičiavimas
laiko logika
efektyvus ciklų radimas

Kaip cituoti

Birštunas A. (2008) „Apribojimai ciklų radimui sekvenciniame laiko logikos skaičiavime“, Lietuvos matematikos rinkinys, 48(proc. LMS), p. 269–274. doi: 10.15388/LMR.2008.18108.

Santrauka

Darbe pateiktas sekvencinis skaičiavimas tiesinei laiko logikai, kuris naudoja efektyvų ciklų radimo mechanizmą. Darbe įrodyta, kad atraminės formulės cikluose visada yra modalizuotos ir nekinta. Šie apribojimai leidžia mums ciklų paieškoje apsiriboti keliomis specialiai pažymėtomis sekvencijomis. Analogiški apribojimai gali būti pritaikyti ir kitoms modalumo logikoms (visų pirma skaidaus laiko logikai).  

PDF
Kūrybinių bendrijų licencija

Šis kūrinys yra platinamas pagal Kūrybinių bendrijų Priskyrimas 4.0 tarptautinę licenciją.

Susipažinkite su autorių teisėmis žurnalo politikoje skiltyje Autorių teisės.