Apribojimai ciklų radimui sekvenciniame laiko logikos skaičiavime su until operatoriumi
Straipsniai
Adomas Birštunas
Vilnius University
Publikuota 2009-12-20
https://doi.org/10.15388/LMR.2009.44
PDF

Reikšminiai žodžiai

sekvencinis skaičiavimas
skaidaus laiko logika
until operatorius
ciklų radimas

Kaip cituoti

Birštunas A. (2009) „Apribojimai ciklų radimui sekvenciniame laiko logikos skaičiavime su until operatoriumi“, Lietuvos matematikos rinkinys, 50(proc. LMS), p. 247–252. doi: 10.15388/LMR.2009.44.

Santrauka

Darbe pateiktas sekvencinis skaičiavimas skaidaus laiko logikai su until operatoriumi, kuris naudoja efektyvų ciklų radimo mechanizmą.  Darbe įrodyta, kad ciklų radimui gali būti naudojamos ne visos, o tiktam tikros specialios išvedimo medžio sekvencijos.  Mes naudojame specialius indeksus toms specialioms sekvencijoms aptikti. Šie apribojimai leidžia mums sukonstruoti efektyvią išvedimo paieškos procedūrą, paremtą pristatytu sekvenciniu  skaičiavimu.

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.