Pr-1st-1.1-m03-Slajd11

Historia wykonania

Każdemu wykonaniu $\mathrm{{\rm Y}}\in \mathrm{{\rm Y}}$ procesu $\mathrm{\Pi }$, odpowiada pewien ciąg stanów Parser nie mógł rozpoznać (błąd składni): {\displaystyle \mathit{\Sigma} ^0, \mathit{\Sigma} ^1, \ldots, \mathit{\Sigma} ^S, \mathit{\Sigma} ^{S+1}<math>, nazywany '''śladem wykonania''' ('''realizacji'') '''procesu''' <math>\mathit{\Pi}} , oraz ciąg zdarzeń $E^0,E^1,E^2,\dots ,E^S,E^{S+1}$, nazywany historią wykonania (realizacji) procesu. Historię $E^0,E^1,E^2,\dots ,E^S,E^{S+1}$, oznaczamy przez ${\mathrm{\Xi }}^S$, a zbiór historii - przez $\mathrm{\Xi }$.

Podobnie jak dla procesu sekwencyjnego, kolejne zdarzenia $E^u,E^{u+1}$ realizacji procesu $\mathrm{\Pi }$ określają interwał czasu globalnego, a stan procesu $\mathrm{\Pi }$ w tym interwale definiuje dotychczasowa historia ${\mathrm{\Xi }}^u$ realizacji procesu. W efekcie stan ${\mathrm{\Sigma }}^u$ można utożsamiać z historią ${\mathrm{\Xi }}^u$, i powiedzieć, że zdarzenia historii ${\mathrm{\Xi }}^u$ należą do stanu ${\mathrm{\Sigma }}^u$.

<< Poprzedni slajd | Spis treści | Następny slajd >>