י%20תרגילי%20כרי&

י%20תרגילי%20כרי&

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: ‫תרגילי כריעות ובעית העצירה‬ ‫מרצה: דר' מירי פרייזלר‬ ‫שאלה 1‬ ‫א. התייחסו לבעיית הבדיקה הא אוטומט סופי דטרמיניסטי אחד מזהה שפה חלקית לשפת אוטומט סופי‬ ‫הביעו את הבעיה כשפה והוכיחו שהיא כריעה .‬ ‫דטרמיניסטי אחר .‬ ‫ב. תהא ‪ L‬שפת כל מכונות הטיורינג , שעל קלט ריק יכתבו משהו לא ריק בסופו של דבר .‬ ‫הוכיחו ש- ‪ L‬שפה כריעה .‬ ‫ג. התייחסו לבעיית הבדיקה הא גר מכוו מכיל מסלול המילטו . הביעו את הבעיה כשפה והוכיחו‬ ‫שהיא כריעה .‬ ‫ד. נתונה השפה ‪: L‬‬ ‫, ∅ = )‪L = { <G> | L(G‬‬ ‫*}1,0{‬ ‫} ‪ G‬דקדוק חסר הקשר מעל‬ ‫הוכיחו ש- ‪ L‬שפה כריעה .‬ ‫שאלה 2‬ ‫הוכיחו שלכל שפה כריעה יש מכונת טיורינג המזהה אותה א לא מכריעה אותה .‬ ‫תנו דוגמה למכונה כזו עבור שפה כריעה כלשהי .‬ ‫שאלה 3‬ ‫הוכיחו או הפריכו כל אחד מהסעיפי הבאי :‬ ‫א. השפות הכריעות סגורות תחת חיתו .‬ ‫ב. השפות הכריעות סגורות תחת סגור קליני .‬ ‫שאלה 4‬ ‫הוכיחו שהשפה הבאה היא כריעה :‬ ‫| >‪L = {<M,k‬‬ ‫} ‪ M‬מ"ט , קיי קלט ש- ‪ M‬עוצרת עליו תו פחות מ- ‪ k‬צעדי‬ ‫שאלה 5‬ ‫נתונה מ"ט ‪ N‬ונתונה השפה הבאה :‬ ‫} ‪ M‬מ"ט ו- )‪|<M>| < |N>| , L(M) = L(N‬‬ ‫הא ‪ LN‬כריעה ? הוכיחו תשובתכ .‬ ‫| >‪LN = { <M‬‬ ‫1‬ ...
View Full Document

Ask a homework question - tutors are online