CINXE.COM

<!DOCTYPE html><html lang="en-US"><head><title>Just a moment...</title><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"><meta http-equiv="X-UA-Compatible" content="IE=Edge"><meta name="robots" content="noindex,nofollow"><meta name="viewport" content="width=device-width,initial-scale=1"><style>*{box-sizing:border-box;margin:0;padding:0}html{line-height:1.15;-webkit-text-size-adjust:100%;color:#313131;font-family:system-ui,-apple-system,BlinkMacSystemFont,Segoe UI,Roboto,Helvetica Neue,Arial,Noto Sans,sans-serif,Apple Color Emoji,Segoe UI Emoji,Segoe UI Symbol,Noto Color Emoji}body{display:flex;flex-direction:column;height:100vh;min-height:100vh}.main-content{margin:8rem auto;max-width:60rem;padding-left:1.5rem}@media (width <= 720px){.main-content{margin-top:4rem}}.h2{font-size:1.5rem;font-weight:500;line-height:2.25rem}@media (width <= 720px){.h2{font-size:1.25rem;line-height:1.5rem}}#challenge-error-text{background-image:url(data:image/svg+xml;base64,PHN2ZyB4bWxucz0iaHR0cDovL3d3dy53My5vcmcvMjAwMC9zdmciIHdpZHRoPSIzMiIgaGVpZ2h0PSIzMiIgZmlsbD0ibm9uZSI+PHBhdGggZmlsbD0iI0IyMEYwMyIgZD0iTTE2IDNhMTMgMTMgMCAxIDAgMTMgMTNBMTMuMDE1IDEzLjAxNSAwIDAgMCAxNiAzbTAgMjRhMTEgMTEgMCAxIDEgMTEtMTEgMTEuMDEgMTEuMDEgMCAwIDEtMTEgMTEiLz48cGF0aCBmaWxsPSIjQjIwRjAzIiBkPSJNMTcuMDM4IDE4LjYxNUgxNC44N0wxNC41NjMgOS41aDIuNzgzem0tMS4wODQgMS40MjdxLjY2IDAgMS4wNTcuMzg4LjQwNy4zODkuNDA3Ljk5NCAwIC41OTYtLjQwNy45ODQtLjM5Ny4zOS0xLjA1Ny4zODktLjY1IDAtMS4wNTYtLjM4OS0uMzk4LS4zODktLjM5OC0uOTg0IDAtLjU5Ny4zOTgtLjk4NS40MDYtLjM5NyAxLjA1Ni0uMzk3Ii8+PC9zdmc+);background-repeat:no-repeat;background-size:contain;padding-left:34px}@media (prefers-color-scheme:dark){body{background-color:#222;color:#d9d9d9}}</style><meta http-equiv="refresh" content="120"></head><body class="no-js"><div class="main-wrapper" role="main"><div class="main-content"><noscript><div class="h2"><span id="challenge-error-text">Enable JavaScript and cookies to continue</span></div></noscript></div></div><script>(function(){window._cf_chl_opt={cvId: '3',cZone: "publications.waset.org",cType: 'non-interactive',cRay: '913583fa2efb5cd5',cH: '6b0U4Qq5OpNrJE1q.jIPP3vB1vqV7Va2I13vHcpDLt8-1739792562-1.2.1.1-cMw6FGG0oRD0tbufxraqNVVU3KLbKMpyKDw1pBRSDtYR3qtWxLNF4qohotoEgc_N',cUPMDTk: "\/search?q=regular%20languages&__cf_chl_tk=3IU4d5wrdPg0__AS47sCYYS_50xIU7oGrNvD4cUFjh0-1739792562-1.0.1.1-rNNiby_O.iHonNGPce_4d.eItaDQWCTyT6IZeZO7H.A",cFPWv: 'b',cITimeS: '1739792562',cTTimeMs: '1000',cMTimeMs: '120000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "",fa: "\/search?q=regular%20languages&__cf_chl_f_tk=3IU4d5wrdPg0__AS47sCYYS_50xIU7oGrNvD4cUFjh0-1739792562-1.0.1.1-rNNiby_O.iHonNGPce_4d.eItaDQWCTyT6IZeZO7H.A",md: "AnHW.ywqePsgsKPvyPfSjJWIUM2m8fHheliL7f7Xf3I-1739792562-1.2.1.1-yjfOpgDz3PppdAnjZH4HoWfBj3iDmePrGAUmIMFLladwL.YtH01jtUCHqirXbWlvjomkMILY9.jHlrv7eRRfWTbhqtRsFzRiKxeRq07wCQcIF.dFvVOa_VjhynlZ7of3nNHMVZqtjD23.nGUIG801rKsniKbrwcjgFatkno5OS9waz3Sroms0TpTWhJ54C6a58PpX6y43.KZ4ZBZsVajv6kARBG04H1KG4cS7GHF3IQMf3MO45uee8dI6hEJYCZg6y0zCNHlTcnqnGalq2T4jSiuhNNMYwjU6671KTcgxvM3LrAQstoz.vv5xYz88AiRHH3viSLmN8qtVCJgTTGBlZbta8LsAGGwey7Z0e0IP_ILW_DTb46ss_mQEp36mc6W.6ksAzsNYPCGu1ZOhH70g7ZkaIKZ1OFz4dbjF3oMVdpv1UDM6z8OoLUG8VerB979PCyUISLr4O.bpzGkucV0Tgflb45RyquCVYUwxjhb4OhRsk.qTmIPGn8MYQDsU9hP2uPQxLA5k8naMsxBrhQmSfC5er8I7DEDmpUSjK_m7T8w.wZCCX9c8AZTaMc7aVbGVwnfOy0TiYRkQrjCjvgPJp4PEAwRUA265sdlQT.V5yBMa99ySby3.nmiyk1d1Lrt_6YtjtjDu2RDbtrXm9SeT2itVfRVT6oOrCeDoTjTa557dmGDE3YEqmEtWfzd_5fZv4eEs0cgt7DKsbQRFzKq8xHLHJWoMODlnecVrfW1s.UTDyHckMCxENgO68nh20UkarPMBkK6536_ZAvLSSgzo7fw_XHUYNG7EZFpobMWAYQW6y8f.eJ6AahUlt.p9sZPMdwCjvs0UNKM3Pbjs9x6X7U0c0OGXn4RpFz_UwV1XWgz0_sFApy7sSBgHFiBeZtADkA9zMZ4qAK0PhgtlPSwCSlXk2c0ELi3DRZ5kWO8vkjFkuNSaV_n9yJ8RTdECpS1i_3CZlwNoeKn5mRU3BqN9k5NVVXt2cFyWU5puS8OhOm9c2Tz_2NDUmh7fwwRyt_LioMnsxMfdWXap.e9op4nZEDyjUZNkJ39cRlyedLxx11sZ2Cz6JpI1sF2tXVxzoFpM74PMRGRzDgm3l48IXFywCg3etunK1dMVh1CA60UAtZVM5Qi0E7g0td44ZkLyYOTarMfk2MTBaqsb96wMNA5IqfCWkEnwR8tzDre5okuf23GObaBnxyVmX.xxYCVl.VCmfS3eOA2geZkj.zGib.wOPzhg1PCg7vHz3ZTi.SSr2tAl8SqCeF3Q2MvbbILAQbi8jtL09QXMTQkNS5CoodkjfYbl48Z2Nq2PMl1y5R_fIryqZNRY1pDSOlfmVFW0Hs2tkYIDtFhZx_8WEsqEVdBN4613rnp.QU3Mm3pMBk0sAl5fKn3ILGe73.L5IhSjnm3Oktks0GaRbarrRflHKHrR2VIAzFvGvZJJgDVvjv3MdyDVGJVjlh6wx_Of5DZaIp_9A7BZO.aNbxBT3jtlL7n4jKP37NbgZcn05r5gx_MGd2RV3pJvivyoRNyIYFvukn8R9s47LUO57nOFfbN0iMxF6m0zv1tAoy6HahcTTGSvjMK4daVPYan7V7M5lzoORS3zHXf6GED3bLf73AQle2zCIM5InjcePTAzFb6UVr_ofDcV33or6GE77215eScaKRzBWFJZQw34ZeIt_cS0mtBCsVLBtfn91yzhHeOqXro_1XRsG60yApyeuADWiPUdBrQvj9D8jxNU_vPGN9xsPlDbn11LwaZ4LGM25Lr1GC0B.2dddarM3blY4DvezD77HZGhpJW_GtDjqjkgKGil_CU48ZLOhfKFF2o9N34X_.TtsOUeThxiNKtL3ajuLi_X8gfGInxJLcLycusAhEAg0niq5wFfHw1Iw_CirJEY_gDjjbVDnTf1Iibgsy.HMKQAoB__RI6JTdtCGWFVdT.1NUiVg",mdrd: "6CXCTKUGGoppVyfhYMe6Udq3r819LuTlo5F39C8OAxE-1739792562-1.2.1.1-sm39mNxRJV_xA_RXVbsmnskmob77PHOFHHEbesWvIP733IJb6lQZmNjL2MEx.3mW6kInwl4Ak7ORm2h9R0hzZK2zUeeXDxlihnONuGqBtFlEKEP.J0WL7krwow4jRdPq6TN_wfvVqbXxqlXoseXLUF7womQCBYmCZlaP.ON4xjl9vkHx846UFMn9lp89JVXeMcf2fRfvo02kjhkPLWhRB7kdvXU5QMWf2gf7LNDUWSNhq3FYd4azM.g5UjACS8Ue8zfh9aB.h_SkuCz.GJzGZJE7DLh7IOw07Yex8vClGwNSAH9n5q7p.eJX7eZtBM4jzrF11nTc9WDAv0i_.W_WOL_6HgVeB7RJTTIzj07YsB2wv_1OYqUpwf0OTTOZuvqT6_dEqdxvLvmOZnXzbeoxbFmddMwOo8m6i9FNu0i0pb3ku5JSt3fBkkgtLhUXtLbApoYOejUHPywOj0YglCQwLLntdKFl3EwBcH9jN7o1cIrJejM4G5jqe97EnXU6jCxPIolASGGQcvuI0p9NhRzsoi42c1JY_.IonM6lQT5BrBJeStlQ92n_QopBY1ScSJVUuhqRuAKP9Iv9EPcNUAs.l2KMpz4Jqr3w_HWsJhGieTpbykrwGp_4sw6KQhWfKJM4xKF0Ro7wV8.jtDi8DctFJl9fdCcskhwD6ZTnxKYGX6BhQRqZRmQ0BcO84ycoGTyZXQ74SkKIsrI8W08sT20MOiWI3_JxYIbAh8aMxQ4b5xbuXpDa1Yq1ciU5AmpTFPTD_aG6ntKYH0C7ZEi1amOpWBC1NWKFlTdTXyscrOV3rUjNJc3ADuWGQGrhLv7UckFVI4tQ6rJQrct2q5_8dkpkuynXtGw2DrZFfrG0tMAoXdIKYZA9uRcR6.qTiR9eCWl8I5XY0aIxNqA2OtgTraJP4lKsDsXhSmvZ3woUttBey7NpXFwyVrwrYWdzZ.9D3rTwb7GLF3XRHgyet6uLK8qbbl7CFJVNd02_0PBjvIFZJI3VS1UbzvpVUGEvXS9dEBcgxbDhtA35YLho9etOlZLyVkUlJIgRBL6onZNot8YVyMGe8BkVzbf3pXSmYGPOUKCS2oYZvovV39vgy_gQzRFlopN4Y7smYvakHu3.QhmMOXg688MvrnQH6MUYGM8o5Nnijs7qdstg8qfVG_V5xrEvT9_p2TjJ.TUlvMW3ETt529ajaZLCcasRQdo4LcKFLKXTlKCtjJ8nDOkUaMrzixY1q_AlL6aa5qaF4WFYhMwco4QlkpdAyBwAvKCGlSRIqY2taHlaKhIqiCXA45tH7kmhR_thVOdtd087yEczEKDKI2fYSihcMlWQ9XzLRxOxXoJu1lSQqHbhYqddl8uSuSM.E8EEL7lGtoYVw2mOASmZHDFADBaSsBAWU8nfHpBacnlXTEIqh2OPOdieSrR.5dWJaVDJB_ETyiEdIdDDsNqSbZIDwiWZV5SbCYk54UICXWPHjJSGe.k2mY.M5UXF7VS93OoqnTk7RTGAbrIhxmXNvwUrLRnHWyyLkbrkqOD6wNWztqLH.7O3fLqP.F1gNbm7i5J9ut0BGtIQAjijkM8OcKWYSOd9deVec5CuUk2OzLucwPDRVhv3FssSEo3cg4InTTUSAa4OxgmNdagCZXjUXqZ1rkKI4sSN0yQM5GLjywzceNmPoZDIJP6GzaXj96CYFjqkwMe.fVFRfpb1ooxlpY05SQs0u5RkBtVTg5upBZqTq7vmmbzYQdOHuBOfQEl3TF6Bfn6LmL0tlyuOF4zHczDQfJjwMbgBVvIDhYUk_yDvckUdw52R.EBj7nED1qvkVGm6OfpCwznC0sRuegokzLkiomVFaMbMlNEDiSx9cFrqGQMscRIg0tYWxT9V.7lPymeM8Cxszt8.Mu5jNzuHVuiCT6b3ZrCLlslxOCrL0UHWHppEV.7438K9FDl1pXdDwTFwBd7xPB21npt33oobzFanCNNwI8JHSPwgzWFBCd9TcLRsgK6A.8VvOVYr7QIypA"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=913583fa2efb5cd5';window._cf_chl_opt.cOgUHash = location.hash === '' && location.href.indexOf('#') !== -1 ? '#' : location.hash;window._cf_chl_opt.cOgUQuery = location.search === '' && location.href.slice(0, location.href.length - window._cf_chl_opt.cOgUHash.length).indexOf('?') !== -1 ? '?' : location.search;if (window.history && window.history.replaceState) {var ogU = location.pathname + window._cf_chl_opt.cOgUQuery + window._cf_chl_opt.cOgUHash;history.replaceState(null, null, "\/search?q=regular%20languages&__cf_chl_rt_tk=3IU4d5wrdPg0__AS47sCYYS_50xIU7oGrNvD4cUFjh0-1739792562-1.0.1.1-rNNiby_O.iHonNGPce_4d.eItaDQWCTyT6IZeZO7H.A" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>