Pr-1st-1.1-m03-Slajd09

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Stan osiągalny

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 .

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