A | B | C | D | E | F | G | H | CH | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9
Kripkeho štruktúra, pomenovaná po Saulovi Kripkem, je druh nedeterministického konečného automatu, používaného najmä v overovaní modelov na reprezentáciu správania systému. V podstate ide o graf, ktorého vrcholy (alebo uzly) reprezentujú dosiahnuteľné stavy systému, a ktorého hrany predstavujú prechody. Ohodnocovacia funkcia priraďuje každému uzlu množinu vlastností, ktoré v zodpovedajúcom stave platia. Temporálne logiky sa zvyčajne interpretujú v zmysle Kripkeho štruktúr.
Formálna definícia
Nech AP je množina tzv. atomických výrokov, teda boolovských výrazov nad danými premennými, konštantami a predikátovými symbolmi.
Kripkeho štruktúra je usporiadaná štvorica , kde
- je konečná množina stavov,
- je množina počiatočných stavov,
- je prechodová relácia, pre ktorú platí, že ,
- je ohodnocovacia funkcia.
Keďže je relácia R zľava úplná, je vždy možné nájsť v danej Kripkeho štruktúre nekonečnú cestu. To znamená, že zo stavu uviaznutia vychádza práve jedna hrana smerujúca späť do daného stavu.
Ohodnocovacia funkcia L definuje pre každý stav množinu L(s) atomických výrokov, ktoré v stave s platia.
Pozri aj
Zdroj
Tento článok je čiastočný alebo úplný preklad článku Kripke structure na anglickej Wikipédii.
Text je dostupný za podmienok Creative Commons Attribution/Share-Alike License 3.0 Unported; prípadne za ďalších podmienok. Podrobnejšie informácie nájdete na stránke Podmienky použitia.
Antropológia
Aplikované vedy
Bibliometria
Dejiny vedy
Encyklopédie
Filozofia vedy
Forenzné vedy
Humanitné vedy
Knižničná veda
Kryogenika
Kryptológia
Kulturológia
Literárna veda
Medzidisciplinárne oblasti
Metódy kvantitatívnej analýzy
Metavedy
Metodika
Text je dostupný za podmienok Creative
Commons Attribution/Share-Alike License 3.0 Unported; prípadne za ďalších
podmienok.
Podrobnejšie informácie nájdete na stránke Podmienky
použitia.
www.astronomia.sk | www.biologia.sk | www.botanika.sk | www.dejiny.sk | www.economy.sk | www.elektrotechnika.sk | www.estetika.sk | www.farmakologia.sk | www.filozofia.sk | Fyzika | www.futurologia.sk | www.genetika.sk | www.chemia.sk | www.lingvistika.sk | www.politologia.sk | www.psychologia.sk | www.sexuologia.sk | www.sociologia.sk | www.veda.sk I www.zoologia.sk