NPTEL IIT Guwahati

For every move (q, X) = (P, Y, R) of the TM M,
q[ a, X ] [ a, Y ] p for all a {} and all qQ and X , Y .
For every move ( q, X ) = ( P, Y, L ) of the TM M,
[ b, Z ] q [ a, X ]p[ b, Z ] q [ a, Y ] for all a, b {}, all X , Y , Z and q Q
For all qF, all a{} and X
- [ a, X ] qqaq
- q [ a, X ]qaq.
- q


	Chomsky Hierarchy	Print this page
	First \| Last \| Prev \| Next
	For every move (q, X) = (P, Y, R) of the TM M, q[ a, X ] [ a, Y ] p for all a {} and all qQ and X , Y . For every move ( q, X ) = ( P, Y, L ) of the TM M, [ b, Z ] q [ a, X ]p[ b, Z ] q [ a, Y ] for all a, b {}, all X , Y , Z and q Q For all qF, all a{} and X [ a, X ] qqaq q [ a, X ]qaq. q

	First \| Last \| Prev \| Next