✅ The verified answer to this question is available below. Our community-reviewed solutions help you understand the material better.
Me ütleme, et sõne w eristab seisundid p ja q, kui ühest seisundist saab w abil jõuda lõppseisundini, aga teisest ei saa. Formaalselt, sõne w ei erista kahte seisundit p ja q, kui kehtib järgmine tingimus:
Need sümbolid on defineeritud Varmo loengus (loeng3.pdf), aga see mõiste peaks ka olema intuitiivselt arusaadav.