(=)

determinist

limbaj infinit

independent de context

A::=aB sau A::=a

L(M)=L(G)

finale
stelare

*
*
substitutii

true

true

184

true
(r*s)*

*
numar par de a si impar de b
*

*
*

*
 *

*
 *

A::=aB si A::=a

(posibil)
tranzitionale

*
*

*
 *

Da.

*
*

*
*