section_heading: Komputacijska svojstva
paragraph_text: Kao što se može očekivati iz pokazane istovjetnosti gramatika neograničenih produkcija i Turingovih strojeva, problem odluke pripada li dani niz znakova <math>s</math> jeziku neke gramatike neograničenih produkcija je općenito neodlučiv.