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: '9135b0923e9efd37',cH: '_YSVt2uhniFXnDRc2TXLMCT3xP7q9PTM7uAL3MG1krQ-1739794388-1.2.1.1-07K29PtMqhqRaWChnDZ9BRNZCL9acUpggfbs05U1dIH_AX4NXcqMey5PYj6WxrzW',cUPMDTk: "\/abstracts\/search?q=follow%20automata&page=5&__cf_chl_tk=rWt1sMjGQs_PuHvEz4IhakLwH.x6Ez7oEVFAB0K2TfM-1739794388-1.0.1.1-uSaEEfu.5cOELaH5628P68V_mqUhvTSNFDE1wT1BF_8",cFPWv: 'b',cITimeS: '1739794388',cTTimeMs: '1000',cMTimeMs: '120000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "",fa: "\/abstracts\/search?q=follow%20automata&page=5&__cf_chl_f_tk=rWt1sMjGQs_PuHvEz4IhakLwH.x6Ez7oEVFAB0K2TfM-1739794388-1.0.1.1-uSaEEfu.5cOELaH5628P68V_mqUhvTSNFDE1wT1BF_8",md: "xKvuif.XjvhM9oeHZPLSRg5wltJHg.v4Ml28RXktWB8-1739794388-1.2.1.1-3JZTA2.HIkO4xkvI4ByVe4qTNE7LFGNIJp8mq8Crk1SjNZry4n8xmDv.M2W9TdAljiqGs95NtRWG64FySe6xcXLFpgapo21xa8sVRC6xGIn5seP.kFV3Jm6Q9t778wW6tsMF2vW_kpeB.gL1qwijcC_Xjn305N.gG5vrFQSsQNBt_VZTenvUSnxh0N.y20RgVzQxNcy1DDW302gS7UU1o_PSsJUgJqc3ONiea.M69s1.CPEeDfRmlo5zUqYJWzPJH8EPjlyoVNU_yGIFUB2kjxmzLi7pnGL_oMqIJBKLxMrG2L5Dmaqrk4ok3Ir6p2AaoSSPnvFutf32JNLC7qMFgWfJCojLs72ta3E307UEDbGF0XJVe7WXvjAF1PNahsXUfmE1Cn5dGO.Wtw47X2KBggdO7ms9oC1K1fypZkF8F1SvPNF7XpW5ga11Yn2sY0yQ_5001XOTjrYCRpPULltK1hZ7PFHhMVT6a9CcyJ8Ca3jLN6EUuPLG_E2bXSqRMiuRn8FQB5yp4DDx6bYuxssHE02ku3pBFsZfiTcNQ9C78GOn8hkbZutbs70Wa_CeqXXuoRrLR_ZLMcOANYRyX6un..kHZgBBEAM3UCY3hajnvTqVtSurToQkEKJRzlKxkJO0Frg0c8KRqr.MhNlH3zQuWfWCTUkyck07NsdwKFmdYMBIaOIfwfYCO.GLT3hANRe6sRkJefBEv9P8QsD7KC3T4h1WfE3TKhL7EIoOlHugjJ7eQWrtF8FJcSApxwpuYwUIIKGskeCeIk7pcxuITbgHJOD7Cus75S9aGkmMfjfsOayUHgM5SDyvOkI_ONjeEXoGzkh2Xyb0xFYvgwigX5Dny9VRlj.yZ.WaszomsNiYAo3wMDPJxtlYKEf_E_NgZHVbhfaOUVWDAf6WCP3JOxZz5hh93zYR9a0afirre.IUbMwqSd524BHSHC6NhdrcvjCPF3iUjYzB.booIoz7n9.iAYiHPUCDvSawW2YTgrYt1g0d4egqAGAqpN_gOQUKijb7cv6pMLNu4mJ74dZfgXjr_ycMFvJJDUUqywyCyJTiQZ4aOUGzU.E3oNoGNk3YmXG.dmVojZbXkREOxuGL5Klj.gXylbM2kl2HaYeWWAhUbUxnDFSeJr6wNCpJN.szqbzbfbqhHwZmGZeJRK0f0hmZlUNOhRYB3iGjMIM3l4xqRy3NkfyCar.XlhQVNCSaAV9iNTtPnkpIZt_C4ue7pWV9ABKH_U8fi.iWSRjv78lernc5YHy2H45HIYavEZLcbJ8zjcF89YJ4S.jGRFQ.eDXabMeHBl5D62hjlxryBE193ys4TGyTsu4injMYC18uUR8n5gPPpoAtCkTzDYOC4kwqv8bRaZZ_SKMDS6Xe87Z7lOiiiQMDMl_0isiqcp5LsEqjvi_.1tVExv10YQP_5CQK028G8fmShdYiz77pfm20ESL6QA.OGhWWsit5Ai0wXwiFHxvX9RhtMAbwS2wdeC_.swl_Rj.BeyQjzIpSkiuTy2WrlsR2D7CYiBTwTY7SjipHb2Bxz_4katCLzAKDXL8IMErUIJXV9HGiYXtaoluzcYgENoLrJRjZ3SfNuDBQQ84jt0vfU1Z_qFf9gYmv0LUNyP2KVFLQM25bcutKwI4.FX8neiKooqb.QWHsgnBykefu5UpyaNoOMmGkhmTxYwgxfE6QOBpXOrN8KYIXabZVd1CShvn.cb81C.RkVDcuKJMvtNCwW3SKJSLxA2NBUOvWiYAul6LaHIeRFoG7WkJILpPE03oZaPMOE_1AM6lm1Py0vjMTCUMqrcesgaZ.wvmHnzuy1hsKdxHbOwIPxXv_DDCq0T24U8T6_UBcJDqD65EniZgHKlMWfJ.xzmJjn1GzWjnBfSUtmyH2NM91rw5py9Pr5yk4WW1jL8D.xn9O3WQ5cY_T66PkxWscBbWy6Z_Hj17xW_swp4EV69P6xXG7ck_auLMZoaUioGu_GdBeW0bZ",mdrd: "BdMuokIFatesaGQJuA4ljRqKuVvyaYEhibXlkHaG.pQ-1739794388-1.2.1.1-wmTqOF5sd3Y1EAMzuyZMwe9i.zSKNnV6xQUdXIulF6Y0UDWhgBJoErCbzB2Mk8L0MwuY.yzcwXjk83Lbyv8rLQ8IASV9bMMdchvD7PHXw8tIObnz5hBEb_KA6N4rU_OhY.xfGFsrHXFZ4QzropTH98nfbl7oR_iggS2egRxoZlrCYgCq91qPQHxHecXkWV7jX.IqgvehACb0iIPcFCwvY7qWiUTBGEVAGu81i1WoDnsdaFM5lLsu.h2FH2l9vZdT8WdMV0fVoDW8sTN4MyTl6s4WOPDc5a4npIsdKgtbc2lcehqHWdE9qj4PRjjwFRMtPdAjBy4.8vg9H2bpKKMRL_C4By34kOvbDiexenC1crKrQkItPE0zfqUENUFKKZ6yvLGcFMbA2yfKyi7Yv5qjESPeh6xDLVu4wsz0Uq.iSBzhISaukagbq2D2YDs47gupemU2xXuCDT9JL4eQxGBxmqPT9sn_rAo1obo02BjgeGIDTWLW8E8zUomY4gvJjurvHAeuorQxa5jEsXdiVs3Dld1Rob2yHbE9rqOXSqz81AR54JmD74qy8hBTw1ABC0waZJ.TEbt3nKLpMogccNJON2TEQK52ig_8KsXTQ_plEJ_iwNL_oa9UGVHBvqX1.mFjbxRFMj1q7yIsuUPO8TkwTyzfJfq9PFng3Bv7fX6IxG7GTsNuRjRnVC0rqLhUYHV8RmLnz4uJ6_ywmqGILn98uvCDJA62e890EWRJgaGgd116o.xjTOwKMw8SRzjfIRU.7TXRHFJ0K95QIOciJP5B0CTyJwhC5mdMWB_bWTIlxXsoAQOktW0xonrGa1MTUTe9g4D59kyiU6Ufjmt5xSmSg79.MdEw3Se0A14BWqXLY_JuZc_RoeK9wrbC00GBqQUXZUx9HjJY2_WOI0FDNrDhSKTICcZRDrOGGLKRNeKsBPiGjpohzDawb.LKU5WKZPDkC52TFB4D_tCmDGC49AhGXWwvsm6iCRgtZ4.99iMZ_L734mmwHUTakBvaW.DP3_pNQBFJaiID0OwfNab1uQnb40Jjgwoq_3Zs5115sY3Dc3ovyYVYcjBDAzg5YmZnt8w_iTHDsjUzXGluqzfu.zLc_ZSQITmZcUrnhjmiBVShxzx3iB6kDcjDUfixdoMncM9gmeKwuZbY2PuSrKfkpeURYYo7JCev2pXEP6h7At8ByYJJXNCFOdPwIQsCYW64EQ7MnzhAAysy8dPZZzQE4zRY.hLik47bLgGawviMsjRimErQkp4pp8U3FCfxFKnGHI7KCK8DToRj.MhPu908NVfNaiwyWubmiiy1pdb4K8NaTz_lVT2Oexw_y.kA3eEPYfxntXwJHsotcmVHXOVv8FiMvRXRlf_q1adZsZoL78yyfFED90p8cTVNW5sLrEk2qNoMenE6wWHYl1ii46HsqtoDceU8tqFwfP_dnOMXFGzrGQZucUC26Lkwk9UPK2UJSXTwM5xpNoeGdyVwI1YoXkJ6mHHh8AgJfFJdMRu3Vn7NKP.9KVYIhLGHOh.ObYBptTD2plZbrAXXqKtAJliF4w70c2T6TfPGAorzsXD7RLpHYva6n1IKxVEApwN_zZSYMZyoq7eFRlFXJRIEGqwuBgRJv7V2l_9agUJ71Lqm3AntXTRlWuVh1h1WIgHrxx1PYVNgFhPRpp08nAe7YOck89n_g7qjzEHRrUNL0Y5Ilegv2FKWtfDsnLE6HEZTGu64L7m.MPLkqdA1dkU04ZrTzVtb.GCI.p3DE76zdDpV5aGwpngoTN4n9oXInLZ1cD1fPl9A07IHUzqYBNLsoTvwXZXLZnGawIYgGsn_QvP_bje3klcA_Zb5no2FyFBaRyoGRrVqP51sotnCRXR0mQsFlV2ReRjwr6L3TOofPYmgnS0GN4vzx7d_jEkgl85PZ98ctfDvcs0o8JEx3qM2oT5q_9dok4k6omDdZx0JCKxlXEAqVwI"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=9135b0923e9efd37';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, "\/abstracts\/search?q=follow%20automata&page=5&__cf_chl_rt_tk=rWt1sMjGQs_PuHvEz4IhakLwH.x6Ez7oEVFAB0K2TfM-1739794388-1.0.1.1-uSaEEfu.5cOELaH5628P68V_mqUhvTSNFDE1wT1BF_8" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>