Pr-1st-1.1-m03-Slajd09

Stan osiągalny

Powiemy, że stan ${\mathrm{\Sigma }}^{\prime }$ procesu jest osiągalny ze stanu $\mathrm{\Sigma }$, co oznaczymy przez Parser nie mógł rozpoznać (nieznana funkcja „\leftsquigarrow”): {\displaystyle \mathit{\Sigma} \leftsquigarrow \mathit{\Sigma} '} , jeżeli istnieje częściowe wykonanie ${\mathrm{\Sigma }}^0,E^1,{\mathrm{\Sigma }}^1,E^2,\dots ,{\mathrm{\Sigma }}^S,E^{S+1},{\mathrm{\Sigma }}^{S+1}$ procesu $\mathrm{\Pi }$, takie że $\mathrm{\Sigma }={\mathrm{\Sigma }}^0$, a ${\mathrm{\Sigma }}^{\prime }={\mathrm{\Sigma }}^{S+1}$.

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