hvernig á að sanna að tungumál sé ákvörðunarlaust


svara 1:

Þú verður að sýna að miðað við samhengislausa málfræði G geturðu athugað hvort tungumálið L (G) sem G viðurkennir sé innifalið í * b *.

Ég skal segja þér innihaldsefnin sem þú þarft til sönnunar, en þú verður að átta þig á uppskriftinni: - venjulegum tungumálum er lokað undir viðbót og gatnamót, - gefið samhengislaust tungumál G og venjulegt tungumál A, tungumálið L (G) gatnamót A er einnig samhengislaust tungumál, og - tóm er ráðanlegt fyrir samhengislaus tungumál.