- Vx y, Père(x,y) -> Parent(x,y)  
- Vx y, Mère(x,y) -> Parent(x,y) 
- V x y, (Ez, (Dieu(x) /\ Dieu(y) /\ Parent(z,x) /\ Parent(z,y))) -> Frère(x,y)
- Dieu(poseidon) /\ Dieu (Zeus)
- Mère(Rhéa,poseidon) /\ Mère(Rhéa,Zeus)

(Sigma, Q, delta, i, F)
A=({a,b,c}, {1,2,3,5} , {(1,a,2),(2,a,1),(2,b,2),(1,b,3),(3,c,3),(3,c,5)} , 1 , {5})
non déterministe car de l’état 3 partent 2 flèches étiquetées par « c »
L(A) est infini car il y a des boucles.
Régulier par définition
aabc
ababccc
(ab*a)*bc*c