�%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‬ ‫נניח ש- ‪ L1 , L2 , . . . , Lk‬היא קבוצה של שפות , המהווה חלוקה של *∑ , כלומר :‬ ‫∅ = ‪ Li ∩ Lj‬לכל ‪i≠j‬‬ ‫*∑ = ‪L1 ∪ L2 ∪ . . . . . ∪ Lk‬‬ ‫‪ Li‬מזוהה לכל ‪1 ≤ i ≤ k‬‬ ‫‪ Li‬כריעה .‬ ‫‪.i‬‬ ‫‪.ii‬‬ ‫‪.iii‬‬ ‫הוכיחו שלכל ‪1 ≤ i ≤ k‬‬ ‫שאלה 2‬ ‫נניח ש- ‪ L‬שפה מזוהה ו- ‪ L‬שפה לא מזוהה . נגדיר :‬ ‫} ‪J = {0w | w∈L } ∪ {1w | w∉L‬‬ ‫הא נית לדעת בביטחו הא ‪ J‬או משלימתה שפה כריעה , מזוהה או לא-מזוהה ? הוכיחו תשובתכ .‬ ‫שאלה 3‬ ‫‪ A ⊆ C‬ו - ‪. B ⊆ C‬‬ ‫יהיו ‪ A,B‬שתי שפות זרות . נאמר ש- ‪ C‬מפרידה בי ‪ A‬ל- ‪ B‬א‬ ‫הוכיחו שלכל שתי שפות זרות ‪ , A,B‬כ ש- ‪A ,B‬מזוהות , קיימת שפה כריעה המפרידה ביניה .‬ ‫שאלה 4‬ ‫יהיו 2‪ L1,L‬שפות מל" . הא ייתכ ש-‬ ‫א. 2‪ L1∩L‬שפה מזוהה .‬ ‫ב. 2‪ L1∪L‬שפה מזוהה .‬ ‫2‪ L1∪L‬שפה מזוהה .‬ ‫ג. 2‪ L1∩L‬שפה מזוהה וג‬ ‫שאלה 5‬ ‫הוכיחו את נכונות הטענות הבאות :‬ ‫)‪(co-ℛℰ) \ ℛ = co-(ℛℰ \ ℛ‬‬ ‫)‪(co-ℛℰ) ∪ ℛ = co-(ℛℰ ∪ ℛ‬‬ ‫א.‬ ‫ב.‬ ‫1‬ ‫שאלה 6‬ ‫הא ‪ coℛ‬סגורה תחת :‬ ‫א. חיתו ?‬ ‫ב. היפו ?‬ ‫ג. איחוד אינסופי ?‬ ‫2‬ ...
View Full Document

This note was uploaded on 03/08/2010 for the course ENGINEERIN 50-22-43-2 taught by Professor Prizler during the Spring '10 term at Tel Aviv Uni..

Ask a homework question - tutors are online