תורת החישוביות/כריעות שפות/משפט רייס/תרגילים: הבדלים בין גרסאות בדף
תוכן שנמחק תוכן שנוסף
←אופטימיזציית מ"ט: הרחבה |
|||
שורה 1:
{{תורת החישוביות}}
==
בהנתן מ"ט <math>M</math> ומחרוזת <math>x</math>, ברצוננו לדעת האם <math>M</math> עוברת בכל אחד ממצביה הלא־סופיים,
<center><math>L=\{ \langle M \rangle \mid M\text{ visits each state in } Q\smallsetminus F\} </math></center>
==אופטימיזציית מ"ט==
| |||