Pr-1st-1.1-m03-Slajd09: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Nie podano opisu zmian |
m Zastępowanie tekstu – „<math> ” na „<math>” |
||
| Linia 5: | Linia 5: | ||
Powiemy, że stan <math>\mathit{\Sigma}'</math> procesu jest osiągalny ze stanu <math>\mathit{\Sigma}</math>, co oznaczymy przez | Powiemy, że stan <math>\mathit{\Sigma}'</math> procesu jest osiągalny ze stanu <math>\mathit{\Sigma}</math>, co oznaczymy przez | ||
<math>\mathit{\Sigma} \leftsquigarrow \mathit{\Sigma} '</math>, jeżeli istnieje częściowe wykonanie | <math>\mathit{\Sigma} \leftsquigarrow \mathit{\Sigma} '</math>, jeżeli istnieje częściowe wykonanie | ||
<math> \mathit{\Sigma} ^0, E^1, \mathit{\Sigma} ^1, E^2, \ldots, \mathit{\Sigma} ^{S}, E^{S+1}, \mathit{\Sigma} ^{S+1}</math> | <math>\mathit{\Sigma} ^0, E^1, \mathit{\Sigma} ^1, E^2, \ldots, \mathit{\Sigma} ^{S}, E^{S+1}, \mathit{\Sigma} ^{S+1}</math> | ||
procesu <math>\mathit{\Pi}</math>, takie że <math>\mathit{\Sigma} = \mathit{\Sigma} ^0</math>, a | procesu <math>\mathit{\Pi}</math>, takie że <math>\mathit{\Sigma} = \mathit{\Sigma} ^0</math>, a | ||
<math>\mathit{\Sigma} ' = \mathit{\Sigma} ^{S+1}</math>. | <math>\mathit{\Sigma} ' = \mathit{\Sigma} ^{S+1}</math>. | ||
[[pr-1st-1.1-m03-Slajd08 | << Poprzedni slajd]] | [[pr-1st-1.1-m03-toc|Spis treści ]] | [[pr-1st-1.1-m03-Slajd10 | Następny slajd >>]] | [[pr-1st-1.1-m03-Slajd08 | << Poprzedni slajd]] | [[pr-1st-1.1-m03-toc|Spis treści ]] | [[pr-1st-1.1-m03-Slajd10 | Następny slajd >>]] | ||
Aktualna wersja na dzień 10:30, 5 wrz 2023
Stan osiągalny
Powiemy, że stan procesu jest osiągalny ze stanu , co oznaczymy przez Parser nie mógł rozpoznać (nieznana funkcja „\leftsquigarrow”): {\displaystyle \mathit{\Sigma} \leftsquigarrow \mathit{\Sigma} '} , jeżeli istnieje częściowe wykonanie procesu , takie że , a .
