https://123dok.net/document/y8glnp2z-théorie-des-automates-et-langages-formels.html