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

Reikšminiai žodžiai

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

Kaip cituoti

Alonderis R. ir 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), p. 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
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.