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

Reikšminiai žodžiai

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

##submission.howToCite##

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.
T 50 (2009)

Apribojimai ciklų radimui sekvenciniame laiko logikos skaičiavime su until operatoriumi

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 (anglų)

Atsisiuntimai

Nėra atsisiuntimų.

##plugins.generic.recommendByAuthor.heading##