מודלים חישוב&times

מודלים חישוב&times

Info iconThis preview shows pages 1–4. Sign up to view the full content.

View Full Document Right Arrow Icon
іђђъюѢђѐ іђѕьюї ѕђыѡѣ 2 1 . щѕ ющ ѣђѡѕюыѡ щђэ іщ юћъѠ ѣющъэ ѣюѝѢэї ѣѐщ ѕєѕ , ієѣћђъѠ ѣщ юѐђєюэю : щ . ={0,1} w=w R } L 1 = { w | w {0,1}*, ъ . ={0,1,#} L 2 = { x#y#z | x,y,z {0,1}*, x+y=z } ) x,y,z ђѡљђъ ыюџђђъ іђѡѝњї .( ы . ={0,1} L 3 = { x 1 y 1 z 1 ...x n y n z n | x=x n ...x 1 ,y=y n ...y 1 ,z=z n ...z 1 , x+y=z } ) x,y,z ђѡљђъ ыюџђђъ іђѡѝњї , ю - x 1 ,…,x n ,y 1 ,…,y n ,z 1 ,…,z n ∈ˬ .( 2 . ѣюѝѢ ѕѢ эѐѝѢї юѡщѣ L n , n N , ѕєѕѢ ѓє n ђёњђљђїѡёь щѕ ёїюёющ іђђѠ ѕћъ O(n) ѣщ ѕъѠїѢ іђъџї L n , ѡѣюђъ јёѠэ ђёњђљђїѡёьэ ёїюёющэ ѕъщ ѣщ ѕъѠїѢ L n ѣюѐѝѕ ѕѕює 2 n іђъџї . ) яїѡ : ѣюѕђѠѢ ѣюѠѕѐїъ юѢїѣѢэ .( 3 . ѣющъэ ѣюѝѢэї ѣѐщ ѕє ѡюъћ ѡѢѠэ ѡњѐ ѠюьѠь юъѣє : щ . L 1 = { a i b j c k | i,j,k 0, i+k=j } ъ . L 2 = { a i b j | i,j 0, i j } ы . L 3 = { a i b j c k | i,j,k 0, i j or j k } 4 . эѕщѢъ ѣюѝѢэї ѣѐщ ѕє ѡюъћ ѣђљњѐї ёїюёющ юѡщѣ 4 . 5 . ѣющъэ ѣюѝѢэї ѣѐщ ѕє ѡюъћ , щѕ ющ ѡѢѠэ ѣѡњѐ щђэ іщ юћъѠ . ієѣћђъѠ ѣщ юѐђєюэ . щ . L 1 = { a n b 2n | n N } ъ . L 2 = { a n b 2n c 3n | n N } ы . L 3 = { w | w {a,b}*, # a (w) = 2 # b (w) } ь . L 4 = { a i b j c k | i,j,k 0, k = min(i,j) } э . L 5 = { a m b n c n d m | m,n 0 } ю . L 6 = { a m b n c m d n | m,n 0 } я . L 7 = { x#y | x,y {0,1}* x is a substring of y } ©TA Marathon י " ע םכל שגומ http://TAMarathon.net ? םיפסונ תיב יליגרתל תונורתפ הצור
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
6 . юћъѠ ѣющъэ ѣюѕюћѝэї ѣѐщ ѕє ѡюъћ : 1 ( эѕюћѝэ ѣѐѣ ѣюѡюыњ ѣюђѡѕюыѡэ ѣюѝѢэ іщэ ? 2 ( эѕюћѝэ ѣѐѣ ѣюѡюыњ ѡѢѠээ ѣюѡњѐ ѣюѝѢэ іщэ ? ієѣћђъѠ ѣщ юѐђєюэ . щ . Double(L) = { ww | w L } ъ . PP(L) = { w | w L and no proper prefix of w is in L } ) proper prefix щѢђѡ ѣђѣђїщ ѡїюѕє іщ w=w 1 w 2 …w n щѢђѡ ящ щ ї ѣђѣђ ѕѢ w ѣяюѡѐї щђэ w 1 w 2 …w i , ѡѢщє 0 i < n . ( ©TA Marathon י " ע םכל שגומ http://TAMarathon.net ? םיפסונ תיב יליגרתל תונורתפ הצור
Background image of page 2
ѕђыѡѣѕ ѣюљюѡѣѝ 2 1 . щ
Background image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Image of page 4
This is the end of the preview. Sign up to access the rest of the 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..

Page1 / 5

&times;ž&times;•&times;“&times;œ&times;™&times; &times;—&times;™&times;&copy;&times;•&times;‘&times

This preview shows document pages 1 - 4. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online