Automates à piles : 

1°) L1 = a*b

G1 =
	T = {a,b}
	N = {mot}
	S = mot
	P = {
		mot -> a mot | b 
	}
	
2°) L2 = a^{n}b^{n}

G2 = 
	T = {a,b}
	N = {mot,AB}
	S = mot
	P = {
		mot	 -> ""
		mot	 -> a mot b
		
	
	}