Sekvencinis skaičiavimas be pjūvio, invariantinės taisyklės ir ciklų tikrinimo tiesinio laiko teiginių logikai
Straipsniai
Romas Alonderis
Vilniaus universitetas
Regimantas Pliuškevičius
Vilniaus universitetas
Publikuota 2011-12-15
https://doi.org/10.15388/LMR.2011.ml02
PDF (Anglų)

Reikšminiai žodžiai

išsprendimo procedūra
sekvencinis skaičiavimas
ciklų tikrinimas
laiko logika

Kaip cituoti

Alonderis, R. and Pliuškevičius, R. (2011) “Sekvencinis skaičiavimas be pjūvio, invariantinės taisyklės ir ciklų tikrinimo tiesinio laiko teiginių logikai”, Lietuvos matematikos rinkinys, 52(proc. LMS), pp. 231–236. doi:10.15388/LMR.2011.ml02.

Santrauka

Straipsnyje pateikta prisotinimu pagrįsta išsprendžiamumo procedūra tiesinio laiko teiginių logikai (TLTL) su operatoriais „sekantis” ir „visada”. Ši prisotinimo procedūra baigia darbą kai gaunamos tam tikro tipo sekvencijos. TLTL savybės leidžia sukonstruoti polinomonio erdvinio sudėtingumo išsprendžiamumo procedūrą, nenaudojant istorijų, ir ciklų tikrinimo.

 

PDF (Anglų)

Atsisiuntimai

Nėra atsisiuntimų.

Skaitomiausi šio autoriaus(ų) straipsniai

<< < 1 2 3 > >>