section_heading: Univerzalni Turingov stroj i univerzalni jezik.
paragraph_text: Univerzalni jezik L<sub>u</sub> nije rekurzivan, odnosno nije odlučiv. Svojstvo neodlučivosti L<sub>u</sub> pokazuje se na temelju svojstva dijagonalnog jezika L<sub>d</sub> i njegovog komplementa L<sub>d</sub><sup>c</sup>. L<sub>d</sub> nije rekurzivno prebrojiv => L<sub>d</sub><sup>c</sup> sigurno nije rekurzivan.