S51IN3C20
UE Théorie des automates : extensions et applications