Formal Languages and Automata Theory Mar 2025

<!DOCTYPE html> <html lang="en"> <head> <title>Formal Languages and Automata Theory Mar 2025</title> <meta name="viewport" content="width=device-width, initial-scale=1"> <link rel="apple-touch-icon" sizes="180x180" href="/static/browse/0.3.4/images/icons/apple-touch-icon.png"> <link rel="icon" type="image/png" sizes="32x32" href="/static/browse/0.3.4/images/icons/favicon-32x32.png"> <link rel="icon" type="image/png" sizes="16x16" href="/static/browse/0.3.4/images/icons/favicon-16x16.png"> <link rel="manifest" href="/static/browse/0.3.4/images/icons/site.webmanifest"> <link rel="mask-icon" href="/static/browse/0.3.4/images/icons/safari-pinned-tab.svg" color="#5bbad5"> <meta name="msapplication-TileColor" content="#da532c"> <meta name="theme-color" content="#ffffff"> <link rel="stylesheet" type="text/css" media="screen" href="/static/browse/0.3.4/css/arXiv.css?v=20241206" /> <link rel="stylesheet" type="text/css" media="print" href="/static/browse/0.3.4/css/arXiv-print.css?v=20200611" /> <link rel="stylesheet" type="text/css" media="screen" href="/static/browse/0.3.4/css/browse_search.css" /> <script language="javascript" src="/static/browse/0.3.4/js/accordion.js" /></script> <script src="/static/browse/0.3.4/js/mathjaxToggle.min.js" type="text/javascript"></script> <script type="text/javascript" language="javascript">mathjaxToggle();</script> </head> <body class="with-cu-identity"> <div class="flex-wrap-footer"> <header> <a href="#content" class="is-sr-only">Skip to main content</a>  <div class="columns is-vcentered is-hidden-mobile" id="cu-identity"> <div class="column" id="cu-logo"> <a href="https://www.cornell.edu/"><img src="/static/browse/0.3.4/images/icons/cu/cornell-reduced-white-SMALL.svg" alt="Cornell University" /></a> </div><div class="column" id="support-ack"> <span id="support-ack-url">We gratefully acknowledge support from the Simons Foundation, <a href="https://info.arxiv.org/about/ourmembers.html">member institutions</a>, and all contributors.</span> <a href="https://info.arxiv.org/about/donate.html" class="btn-header-donate">Donate</a> </div> </div> <div id="header" class="is-hidden-mobile"> <a aria-hidden="true" tabindex="-1" href="/IgnoreMe"></a> <div class="header-breadcrumbs"> <a href="/"><img src="/static/browse/0.3.4/images/arxiv-logo-one-color-white.svg" alt="arxiv logo" style="height:40px;"/></a> <span>></span> <a href="/list/cs.FL/recent">cs.FL</a> </div> <div class="search-block level-right"> <form class="level-item mini-search" method="GET" action="https://arxiv.org/search"> <div class="field has-addons"> <div class="control"> <input class="input is-small" type="text" name="query" placeholder="Search..." aria-label="Search term or terms" /> <p class="help"><a href="https://info.arxiv.org/help">Help</a> | <a href="https://arxiv.org/search/advanced">Advanced Search</a></p> </div> <div class="control"> <div class="select is-small"> <select name="searchtype" aria-label="Field to search"> <option value="all" selected="selected">All fields</option> <option value="title">Title</option> <option value="author">Author</option> <option value="abstract">Abstract</option> <option value="comments">Comments</option> <option value="journal_ref">Journal reference</option> <option value="acm_class">ACM classification</option> <option value="msc_class">MSC classification</option> <option value="report_num">Report number</option> <option value="paper_id">arXiv identifier</option> <option value="doi">DOI</option> <option value="orcid">ORCID</option> <option value="author_id">arXiv author ID</option> <option value="help">Help pages</option> <option value="full_text">Full text</option> </select> </div> </div> <input type="hidden" name="source" value="header"> <button class="button is-small is-cul-darker">Search</button> </div> </form> </div> </div> <div class="mobile-header"> <div class="columns is-mobile"> <div class="column logo-arxiv"><a href="https://arxiv.org/"><img src="/static/browse/0.3.4/images/arxiv-logomark-small-white.svg" alt="arXiv logo" style="height:60px;" /></a></div> <div class="column logo-cornell"><a href="https://www.cornell.edu/"> <picture> <source media="(min-width: 501px)" srcset="/static/browse/0.3.4/images/icons/cu/cornell-reduced-white-SMALL.svg 400w" sizes="400w" /> <source srcset="/static/browse/0.3.4/images/icons/cu/cornell_seal_simple_black.svg 2x" /> <img src="/static/browse/0.3.4/images/icons/cu/cornell-reduced-white-SMALL.svg" alt="Cornell University Logo" /> </picture> </a></div> <div class="column nav" id="toggle-container" role="menubar"> <button class="toggle-control"><svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 512 512" class="icon filter-white"><title>open search</title><path d="M505 442.7L405.3 343c-4.5-4.5-10.6-7-17-7H372c27.6-35.3 44-79.7 44-128C416 93.1 322.9 0 208 0S0 93.1 0 208s93.1 208 208 208c48.3 0 92.7-16.4 128-44v16.3c0 6.4 2.5 12.5 7 17l99.7 99.7c9.4 9.4 24.6 9.4 33.9 0l28.3-28.3c9.4-9.4 9.4-24.6.1-34zM208 336c-70.7 0-128-57.2-128-128 0-70.7 57.2-128 128-128 70.7 0 128 57.2 128 128 0 70.7-57.2 128-128 128z"/></svg></button> <div class="mobile-toggle-block toggle-target"> <form class="mobile-search-form" method="GET" action="https://arxiv.org/search"> <div class="field has-addons"> <input class="input" type="text" name="query" placeholder="Search..." aria-label="Search term or terms" /> <input type="hidden" name="source" value="header"> <input type="hidden" name="searchtype" value="all"> <button class="button">GO</button> </div> </form> </div> <button class="toggle-control"><svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 448 512" class="icon filter-white" role="menu"><title>open navigation menu</title><path d="M16 132h416c8.837 0 16-7.163 16-16V76c0-8.837-7.163-16-16-16H16C7.163 60 0 67.163 0 76v40c0 8.837 7.163 16 16 16zm0 160h416c8.837 0 16-7.163 16-16v-40c0-8.837-7.163-16-16-16H16c-8.837 0-16 7.163-16 16v40c0 8.837 7.163 16 16 16zm0 160h416c8.837 0 16-7.163 16-16v-40c0-8.837-7.163-16-16-16H16c-8.837 0-16 7.163-16 16v40c0 8.837 7.163 16 16 16z"/ ></svg></button> <div class="mobile-toggle-block toggle-target"> <nav class="mobile-menu" aria-labelledby="mobilemenulabel"> <h2 id="mobilemenulabel">quick links</h2> <ul> <li><a href="https://arxiv.org/login">Login</a></li> <li><a href="https://info.arxiv.org/help">Help Pages</a></li> <li><a href="https://info.arxiv.org/about">About</a></li> </ul> </nav> </div> </div> </div> </div> </header> <main> <div id="content"> <div id='content-inner'> <div id='dlpage'> <h1>Formal Languages and Automata Theory</h1> <h2>Authors and titles for March 2025 </h2> <div class='paging'>Total of 25 entries </div> <div class='morefewer'>Showing up to 50 entries per page: <a href=/list/cs.FL/current?skip=0&show=25 rel="nofollow"> fewer</a> | <span style="color: #454545">more</span> | <span style="color: #454545">all</span> </div> <dl id='articles'> <dt> <a name='item1'>[1]</a> <a href ="/abs/2503.00960" title="Abstract" id="2503.00960"> arXiv:2503.00960 </a> [<a href="/pdf/2503.00960" title="Download PDF" id="pdf-2503.00960" aria-labelledby="pdf-2503.00960">pdf</a>, <a href="https://arxiv.org/html/2503.00960v1" title="View HTML" id="html-2503.00960" aria-labelledby="html-2503.00960" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.00960" title="Other formats" id="oth-2503.00960" aria-labelledby="oth-2503.00960">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Mapping words to powers by morphisms </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Saarela,+A">Aleksi Saarela</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 17 pages </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Formal Languages and Automata Theory (cs.FL)</span>; Combinatorics (math.CO) </div> </div> </dd> <dt> <a name='item2'>[2]</a> <a href ="/abs/2503.01746" title="Abstract" id="2503.01746"> arXiv:2503.01746 </a> [<a href="/pdf/2503.01746" title="Download PDF" id="pdf-2503.01746" aria-labelledby="pdf-2503.01746">pdf</a>, <a href="https://arxiv.org/html/2503.01746v1" title="View HTML" id="html-2503.01746" aria-labelledby="html-2503.01746" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.01746" title="Other formats" id="oth-2503.01746" aria-labelledby="oth-2503.01746">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Lexicographic transductions of finite words </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Filiot,+E">Emmanuel Filiot</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Reynier,+P">Pierre-Alain Reynier</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Lhote,+N">Nathan Lhote</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Formal Languages and Automata Theory (cs.FL)</span> </div> </div> </dd> <dt> <a name='item3'>[3]</a> <a href ="/abs/2503.04374" title="Abstract" id="2503.04374"> arXiv:2503.04374 </a> [<a href="/pdf/2503.04374" title="Download PDF" id="pdf-2503.04374" aria-labelledby="pdf-2503.04374">pdf</a>, <a href="https://arxiv.org/html/2503.04374v1" title="View HTML" id="html-2503.04374" aria-labelledby="html-2503.04374" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.04374" title="Other formats" id="oth-2503.04374" aria-labelledby="oth-2503.04374">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> On Decidability Timed Automata with 2 Parametric Clocks </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Bersani,+M+M">Marcello M. Bersani</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Rossi,+M">Matteo Rossi</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Pietro,+P+S">Pierluigi San Pietro</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Formal Languages and Automata Theory (cs.FL)</span> </div> </div> </dd> <dt> <a name='item4'>[4]</a> <a href ="/abs/2503.04440" title="Abstract" id="2503.04440"> arXiv:2503.04440 </a> [<a href="/pdf/2503.04440" title="Download PDF" id="pdf-2503.04440" aria-labelledby="pdf-2503.04440">pdf</a>, <a href="https://arxiv.org/html/2503.04440v1" title="View HTML" id="html-2503.04440" aria-labelledby="html-2503.04440" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.04440" title="Other formats" id="oth-2503.04440" aria-labelledby="oth-2503.04440">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Soundness of reset workflow nets </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Blondin,+M">Michael Blondin</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Finkel,+A">Alain Finkel</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Hofman,+P">Piotr Hofman</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Mazowiecki,+F">Filip Mazowiecki</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Offtermatt,+P">Philip Offtermatt</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> appeared at LICS 2024, a couple of figures </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Formal Languages and Automata Theory (cs.FL)</span> </div> </div> </dd> <dt> <a name='item5'>[5]</a> <a href ="/abs/2503.04525" title="Abstract" id="2503.04525"> arXiv:2503.04525 </a> [<a href="/pdf/2503.04525" title="Download PDF" id="pdf-2503.04525" aria-labelledby="pdf-2503.04525">pdf</a>, <a href="/format/2503.04525" title="Other formats" id="oth-2503.04525" aria-labelledby="oth-2503.04525">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Learning Deterministic One-Counter Automata in Polynomial Time </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Mathew,+P">Prince Mathew</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Penelle,+V">Vincent Penelle</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=A.V.">A.V. Sreejith</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 29 pages, 9 figures, 4 Algorithms </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Formal Languages and Automata Theory (cs.FL)</span>; Logic in Computer Science (cs.LO) </div> </div> </dd> <dt> <a name='item6'>[6]</a> <a href ="/abs/2503.04589" title="Abstract" id="2503.04589"> arXiv:2503.04589 </a> [<a href="/pdf/2503.04589" title="Download PDF" id="pdf-2503.04589" aria-labelledby="pdf-2503.04589">pdf</a>, <a href="https://arxiv.org/html/2503.04589v1" title="View HTML" id="html-2503.04589" aria-labelledby="html-2503.04589" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.04589" title="Other formats" id="oth-2503.04589" aria-labelledby="oth-2503.04589">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Random Testing of Model Checkers for Timed Automata with Automated Oracle Generation </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Manini,+A">Andrea Manini</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Rossi,+M">Matteo Rossi</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Pietro,+P+S">Pierluigi San Pietro</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Formal Languages and Automata Theory (cs.FL)</span> </div> </div> </dd> <dt> <a name='item7'>[7]</a> <a href ="/abs/2503.05006" title="Abstract" id="2503.05006"> arXiv:2503.05006 </a> [<a href="/pdf/2503.05006" title="Download PDF" id="pdf-2503.05006" aria-labelledby="pdf-2503.05006">pdf</a>, <a href="/format/2503.05006" title="Other formats" id="oth-2503.05006" aria-labelledby="oth-2503.05006">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Efficient Analysis of Polynomial Asymptotic Estimates for VASS MDPs </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Ajdar%C3%B3w,+M">Michal Ajdar贸w</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Formal Languages and Automata Theory (cs.FL)</span> </div> </div> </dd> <dt> <a name='item8'>[8]</a> <a href ="/abs/2503.07881" title="Abstract" id="2503.07881"> arXiv:2503.07881 </a> [<a href="/pdf/2503.07881" title="Download PDF" id="pdf-2503.07881" aria-labelledby="pdf-2503.07881">pdf</a>, <a href="https://arxiv.org/html/2503.07881v1" title="View HTML" id="html-2503.07881" aria-labelledby="html-2503.07881" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.07881" title="Other formats" id="oth-2503.07881" aria-labelledby="oth-2503.07881">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Higher-Dimensional Automata : Extension to Infinite Tracks </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Passemard,+L">Luc Passemard</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Amrane,+A">Amazigh Amrane</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Fahrenberg,+U">Uli Fahrenberg</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Formal Languages and Automata Theory (cs.FL)</span> </div> </div> </dd> <dt> <a name='item9'>[9]</a> <a href ="/abs/2503.08438" title="Abstract" id="2503.08438"> arXiv:2503.08438 </a> [<a href="/pdf/2503.08438" title="Download PDF" id="pdf-2503.08438" aria-labelledby="pdf-2503.08438">pdf</a>, <a href="https://arxiv.org/html/2503.08438v1" title="View HTML" id="html-2503.08438" aria-labelledby="html-2503.08438" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.08438" title="Other formats" id="oth-2503.08438" aria-labelledby="oth-2503.08438">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Rerailing Automata </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Ehlers,+R">R眉diger Ehlers</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Formal Languages and Automata Theory (cs.FL)</span>; Logic in Computer Science (cs.LO) </div> </div> </dd> <dt> <a name='item10'>[10]</a> <a href ="/abs/2503.11236" title="Abstract" id="2503.11236"> arXiv:2503.11236 </a> [<a href="/pdf/2503.11236" title="Download PDF" id="pdf-2503.11236" aria-labelledby="pdf-2503.11236">pdf</a>, <a href="https://arxiv.org/html/2503.11236v1" title="View HTML" id="html-2503.11236" aria-labelledby="html-2503.11236" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.11236" title="Other formats" id="oth-2503.11236" aria-labelledby="oth-2503.11236">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Contract Based Program Models for Software Model Checking </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Amilon,+J">Jesper Amilon</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Gurov,+D">Dilian Gurov</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Formal Languages and Automata Theory (cs.FL)</span>; Software Engineering (cs.SE) </div> </div> </dd> <dt> <a name='item11'>[11]</a> <a href ="/abs/2503.12631" title="Abstract" id="2503.12631"> arXiv:2503.12631 </a> [<a href="/pdf/2503.12631" title="Download PDF" id="pdf-2503.12631" aria-labelledby="pdf-2503.12631">pdf</a>, <a href="https://arxiv.org/html/2503.12631v2" title="View HTML" id="html-2503.12631" aria-labelledby="html-2503.12631" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.12631" title="Other formats" id="oth-2503.12631" aria-labelledby="oth-2503.12631">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Omega-Regular Robustness </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Fisman,+D">Dana Fisman</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Sudit,+E">Elina Sudit</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Formal Languages and Automata Theory (cs.FL)</span> </div> </div> </dd> <dt> <a name='item12'>[12]</a> <a href ="/abs/2503.00788" title="Abstract" id="2503.00788"> arXiv:2503.00788 </a> (cross-list from cs.GT) [<a href="/pdf/2503.00788" title="Download PDF" id="pdf-2503.00788" aria-labelledby="pdf-2503.00788">pdf</a>, <a href="https://arxiv.org/html/2503.00788v1" title="View HTML" id="html-2503.00788" aria-labelledby="html-2503.00788" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.00788" title="Other formats" id="oth-2503.00788" aria-labelledby="oth-2503.00788">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Taming Infinity one Chunk at a Time: Concisely Represented Strategies in One-Counter MDPs </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Ajdar%C3%B3w,+M">Michal Ajdar贸w</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Main,+J+C+A">James C. A. Main</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Novotn%C3%BD,+P">Petr Novotn媒</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Randour,+M">Mickael Randour</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 55 pages </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Computer Science and Game Theory (cs.GT)</span>; Artificial Intelligence (cs.AI); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO); Probability (math.PR) </div> </div> </dd> <dt> <a name='item13'>[13]</a> <a href ="/abs/2503.00959" title="Abstract" id="2503.00959"> arXiv:2503.00959 </a> (cross-list from math.NT) [<a href="/pdf/2503.00959" title="Download PDF" id="pdf-2503.00959" aria-labelledby="pdf-2503.00959">pdf</a>, <a href="https://arxiv.org/html/2503.00959v2" title="View HTML" id="html-2503.00959" aria-labelledby="html-2503.00959" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.00959" title="Other formats" id="oth-2503.00959" aria-labelledby="oth-2503.00959">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Formalizing zeta and L-functions in Lean </div> <div class='list-authors'><a href="https://arxiv.org/search/math?searchtype=author&query=Loeffler,+D">David Loeffler</a>, <a href="https://arxiv.org/search/math?searchtype=author&query=Stoll,+M">Michael Stoll</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 7 pages; corrects some typos, broken links, etc, and adds/corrects references to some forthcoming works </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Number Theory (math.NT)</span>; Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO) </div> </div> </dd> <dt> <a name='item14'>[14]</a> <a href ="/abs/2503.01026" title="Abstract" id="2503.01026"> arXiv:2503.01026 </a> (cross-list from math.CO) [<a href="/pdf/2503.01026" title="Download PDF" id="pdf-2503.01026" aria-labelledby="pdf-2503.01026">pdf</a>, <a href="https://arxiv.org/html/2503.01026v3" title="View HTML" id="html-2503.01026" aria-labelledby="html-2503.01026" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.01026" title="Other formats" id="oth-2503.01026" aria-labelledby="oth-2503.01026">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> The Narayana Morphism and Related Words </div> <div class='list-authors'><a href="https://arxiv.org/search/math?searchtype=author&query=Shallit,+J">Jeffrey Shallit</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Combinatorics (math.CO)</span>; Discrete Mathematics (cs.DM); Formal Languages and Automata Theory (cs.FL); Number Theory (math.NT) </div> </div> </dd> <dt> <a name='item15'>[15]</a> <a href ="/abs/2503.01538" title="Abstract" id="2503.01538"> arXiv:2503.01538 </a> (cross-list from cs.CR) [<a href="/pdf/2503.01538" title="Download PDF" id="pdf-2503.01538" aria-labelledby="pdf-2503.01538">pdf</a>, <a href="https://arxiv.org/html/2503.01538v1" title="View HTML" id="html-2503.01538" aria-labelledby="html-2503.01538" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.01538" title="Other formats" id="oth-2503.01538" aria-labelledby="oth-2503.01538">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Formally Discovering and Reproducing Network Protocols Vulnerabilities </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Crochet,+C">Christophe Crochet</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Aoga,+J">John Aoga</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Legay,+A">Axel Legay</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Cryptography and Security (cs.CR)</span>; Formal Languages and Automata Theory (cs.FL); Networking and Internet Architecture (cs.NI) </div> </div> </dd> <dt> <a name='item16'>[16]</a> <a href ="/abs/2503.02719" title="Abstract" id="2503.02719"> arXiv:2503.02719 </a> (cross-list from cs.RO) [<a href="/pdf/2503.02719" title="Download PDF" id="pdf-2503.02719" aria-labelledby="pdf-2503.02719">pdf</a>, <a href="https://arxiv.org/html/2503.02719v1" title="View HTML" id="html-2503.02719" aria-labelledby="html-2503.02719" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.02719" title="Other formats" id="oth-2503.02719" aria-labelledby="oth-2503.02719">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Scalable Multi-Robot Task Allocation and Coordination under Signal Temporal Logic Specifications </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Liu,+W">Wenliang Liu</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Majcherczyk,+N">Nathalie Majcherczyk</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Pecora,+F">Federico Pecora</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> Accepted by ICRA 2025 </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Robotics (cs.RO)</span>; Formal Languages and Automata Theory (cs.FL); Systems and Control (eess.SY) </div> </div> </dd> <dt> <a name='item17'>[17]</a> <a href ="/abs/2503.04487" title="Abstract" id="2503.04487"> arXiv:2503.04487 </a> (cross-list from math.CO) [<a href="/pdf/2503.04487" title="Download PDF" id="pdf-2503.04487" aria-labelledby="pdf-2503.04487">pdf</a>, <a href="https://arxiv.org/html/2503.04487v3" title="View HTML" id="html-2503.04487" aria-labelledby="html-2503.04487" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.04487" title="Other formats" id="oth-2503.04487" aria-labelledby="oth-2503.04487">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Positionality of Dumont--Thomas numeration systems for integers </div> <div class='list-authors'><a href="https://arxiv.org/search/math?searchtype=author&query=Kreczman,+S">Savinien Kreczman</a>, <a href="https://arxiv.org/search/math?searchtype=author&query=Labb%C3%A9,+S">S茅bastien Labb茅</a>, <a href="https://arxiv.org/search/math?searchtype=author&query=Stipulanti,+M">Manon Stipulanti</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 25 pages, 7 figures </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Combinatorics (math.CO)</span>; Discrete Mathematics (cs.DM); Formal Languages and Automata Theory (cs.FL) </div> </div> </dd> <dt> <a name='item18'>[18]</a> <a href ="/abs/2503.04762" title="Abstract" id="2503.04762"> arXiv:2503.04762 </a> (cross-list from cs.LO) [<a href="/pdf/2503.04762" title="Download PDF" id="pdf-2503.04762" aria-labelledby="pdf-2503.04762">pdf</a>, <a href="https://arxiv.org/html/2503.04762v1" title="View HTML" id="html-2503.04762" aria-labelledby="html-2503.04762" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.04762" title="Other formats" id="oth-2503.04762" aria-labelledby="oth-2503.04762">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Ma,+L">Liqian Ma</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Liu,+Z">Zishun Liu</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Yu,+H">Hongzhe Yu</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Chen,+Y">Yongxin Chen</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 6 pages </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span>; Formal Languages and Automata Theory (cs.FL); Systems and Control (eess.SY) </div> </div> </dd> <dt> <a name='item19'>[19]</a> <a href ="/abs/2503.05042" title="Abstract" id="2503.05042"> arXiv:2503.05042 </a> (cross-list from cs.LG) [<a href="/pdf/2503.05042" title="Download PDF" id="pdf-2503.05042" aria-labelledby="pdf-2503.05042">pdf</a>, <a href="https://arxiv.org/html/2503.05042v1" title="View HTML" id="html-2503.05042" aria-labelledby="html-2503.05042" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.05042" title="Other formats" id="oth-2503.05042" aria-labelledby="oth-2503.05042">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Provably Correct Automata Embeddings for Optimal Automata-Conditioned Reinforcement Learning </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Yalcinkaya,+B">Beyazit Yalcinkaya</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Lauffer,+N">Niklas Lauffer</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Vazquez-Chanlatte,+M">Marcell Vazquez-Chanlatte</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Seshia,+S+A">Sanjit A. Seshia</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Machine Learning (cs.LG)</span>; Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Formal Languages and Automata Theory (cs.FL) </div> </div> </dd> <dt> <a name='item20'>[20]</a> <a href ="/abs/2503.05572" title="Abstract" id="2503.05572"> arXiv:2503.05572 </a> (cross-list from math.GR) [<a href="/pdf/2503.05572" title="Download PDF" id="pdf-2503.05572" aria-labelledby="pdf-2503.05572">pdf</a>, <a href="https://arxiv.org/html/2503.05572v1" title="View HTML" id="html-2503.05572" aria-labelledby="html-2503.05572" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.05572" title="Other formats" id="oth-2503.05572" aria-labelledby="oth-2503.05572">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Word problems and embedding-obstructions in cellular automata groups on groups </div> <div class='list-authors'><a href="https://arxiv.org/search/math?searchtype=author&query=Salo,+V">Ville Salo</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 37 pages + 7 page appendix </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Group Theory (math.GR)</span>; Computational Complexity (cs.CC); Formal Languages and Automata Theory (cs.FL); Dynamical Systems (math.DS) </div> </div> </dd> <dt> <a name='item21'>[21]</a> <a href ="/abs/2503.08486" title="Abstract" id="2503.08486"> arXiv:2503.08486 </a> (cross-list from cs.SE) [<a href="/pdf/2503.08486" title="Download PDF" id="pdf-2503.08486" aria-labelledby="pdf-2503.08486">pdf</a>, <a href="/format/2503.08486" title="Other formats" id="oth-2503.08486" aria-labelledby="oth-2503.08486">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Inferring Input Grammars from Code with Symbolic Parsing </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Bettscheider,+L">Leon Bettscheider</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Zeller,+A">Andreas Zeller</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Software Engineering (cs.SE)</span>; Formal Languages and Automata Theory (cs.FL) </div> </div> </dd> <dt> <a name='item22'>[22]</a> <a href ="/abs/2503.13660" title="Abstract" id="2503.13660"> arXiv:2503.13660 </a> (cross-list from cs.RO) [<a href="/pdf/2503.13660" title="Download PDF" id="pdf-2503.13660" aria-labelledby="pdf-2503.13660">pdf</a>, <a href="https://arxiv.org/html/2503.13660v1" title="View HTML" id="html-2503.13660" aria-labelledby="html-2503.13660" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.13660" title="Other formats" id="oth-2503.13660" aria-labelledby="oth-2503.13660">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> INPROVF: Leveraging Large Language Models to Repair High-level Robot Controllers from Assumption Violations </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Meng,+Q">Qian Meng</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Zhou,+J+P">Jin Peng Zhou</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Weinberger,+K+Q">Kilian Q. Weinberger</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Kress-Gazit,+H">Hadas Kress-Gazit</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> To appear in ICLR 2025 Workshop: VerifAI: AI Verification in the Wild; in submission to 2025 IEEE 21th International Conference on Automation Science and Engineering (CASE), Los Angeles, CA, USA: IEEE, Aug. 2025 </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Robotics (cs.RO)</span>; Artificial Intelligence (cs.AI); Formal Languages and Automata Theory (cs.FL); Systems and Control (eess.SY) </div> </div> </dd> <dt> <a name='item23'>[23]</a> <a href ="/abs/2503.14615" title="Abstract" id="2503.14615"> arXiv:2503.14615 </a> (cross-list from cs.LG) [<a href="/pdf/2503.14615" title="Download PDF" id="pdf-2503.14615" aria-labelledby="pdf-2503.14615">pdf</a>, <a href="https://arxiv.org/html/2503.14615v1" title="View HTML" id="html-2503.14615" aria-labelledby="html-2503.14615" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.14615" title="Other formats" id="oth-2503.14615" aria-labelledby="oth-2503.14615">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Unique Hard Attention: A Tale of Two Sides </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Jerad,+S">Selim Jerad</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Svete,+A">Anej Svete</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Li,+J">Jiaoda Li</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Cotterell,+R">Ryan Cotterell</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Machine Learning (cs.LG)</span>; Computational Complexity (cs.CC); Computation and Language (cs.CL); Formal Languages and Automata Theory (cs.FL) </div> </div> </dd> <dt> <a name='item24'>[24]</a> <a href ="/abs/2503.15840" title="Abstract" id="2503.15840"> arXiv:2503.15840 </a> (cross-list from cs.LO) [<a href="/pdf/2503.15840" title="Download PDF" id="pdf-2503.15840" aria-labelledby="pdf-2503.15840">pdf</a>, <a href="https://arxiv.org/html/2503.15840v1" title="View HTML" id="html-2503.15840" aria-labelledby="html-2503.15840" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.15840" title="Other formats" id="oth-2503.15840" aria-labelledby="oth-2503.15840">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Automatic Generation of Safety-compliant Linear Temporal Logic via Large Language Model: A Self-supervised Framework </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Li,+J">Junle Li</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Tian,+M">Meiqi Tian</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Zhong,+B">Bingzhuo Zhong</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span>; Formal Languages and Automata Theory (cs.FL) </div> </div> </dd> <dt> <a name='item25'>[25]</a> <a href ="/abs/2503.16100" title="Abstract" id="2503.16100"> arXiv:2503.16100 </a> (cross-list from math.DS) [<a href="/pdf/2503.16100" title="Download PDF" id="pdf-2503.16100" aria-labelledby="pdf-2503.16100">pdf</a>, <a href="https://arxiv.org/html/2503.16100v1" title="View HTML" id="html-2503.16100" aria-labelledby="html-2503.16100" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.16100" title="Other formats" id="oth-2503.16100" aria-labelledby="oth-2503.16100">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Topological Kleene Field Theories: A new model of computation </div> <div class='list-authors'><a href="https://arxiv.org/search/math?searchtype=author&query=Gonz%C3%A1lez-Prieto,+%C3%81">脕ngel Gonz谩lez-Prieto</a>, <a href="https://arxiv.org/search/math?searchtype=author&query=Miranda,+E">Eva Miranda</a>, <a href="https://arxiv.org/search/math?searchtype=author&query=Peralta-Salas,+D">Daniel Peralta-Salas</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 29 pages </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Dynamical Systems (math.DS)</span>; Formal Languages and Automata Theory (cs.FL); Category Theory (math.CT); Differential Geometry (math.DG) </div> </div> </dd> </dl> <div class='paging'>Total of 25 entries </div> <div class='morefewer'>Showing up to 50 entries per page: <a href=/list/cs.FL/current?skip=0&show=25 rel="nofollow"> fewer</a> | <span style="color: #454545">more</span> | <span style="color: #454545">all</span> </div> </div> </div> </div> </main> <footer style="clear: both;"> <div class="columns is-desktop" role="navigation" aria-label="Secondary" style="margin: -0.75em -0.75em 0.75em -0.75em">  <div class="column" style="padding: 0;"> <div class="columns"> <div class="column"> <ul style="list-style: none; line-height: 2;"> <li><a href="https://info.arxiv.org/about">About</a></li> <li><a href="https://info.arxiv.org/help">Help</a></li> </ul> </div> <div class="column"> <ul style="list-style: none; line-height: 2;"> <li> <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 512 512" class="icon filter-black" role="presentation"><title>contact arXiv</title><desc>Click here to contact arXiv</desc><path d="M502.3 190.8c3.9-3.1 9.7-.2 9.7 4.7V400c0 26.5-21.5 48-48 48H48c-26.5 0-48-21.5-48-48V195.6c0-5 5.7-7.8 9.7-4.7 22.4 17.4 52.1 39.5 154.1 113.6 21.1 15.4 56.7 47.8 92.2 47.6 35.7.3 72-32.8 92.3-47.6 102-74.1 131.6-96.3 154-113.7zM256 320c23.2.4 56.6-29.2 73.4-41.4 132.7-96.3 142.8-104.7 173.4-128.7 5.8-4.5 9.2-11.5 9.2-18.9v-19c0-26.5-21.5-48-48-48H48C21.5 64 0 85.5 0 112v19c0 7.4 3.4 14.3 9.2 18.9 30.6 23.9 40.7 32.4 173.4 128.7 16.8 12.2 50.2 41.8 73.4 41.4z"/></svg> <a href="https://info.arxiv.org/help/contact.html"> Contact</a> </li> <li> <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 512 512" class="icon filter-black" role="presentation"><title>subscribe to arXiv mailings</title><desc>Click here to subscribe</desc><path d="M476 3.2L12.5 270.6c-18.1 10.4-15.8 35.6 2.2 43.2L121 358.4l287.3-253.2c5.5-4.9 13.3 2.6 8.6 8.3L176 407v80.5c0 23.6 28.5 32.9 42.5 15.8L282 426l124.6 52.2c14.2 6 30.4-2.9 33-18.2l72-432C515 7.8 493.3-6.8 476 3.2z"/></svg> <a href="https://info.arxiv.org/help/subscribe"> Subscribe</a> </li> </ul> </div> </div> </div>   <div class="column" style="padding: 0;"> <div class="columns"> <div class="column"> <ul style="list-style: none; line-height: 2;"> <li><a href="https://info.arxiv.org/help/license/index.html">Copyright</a></li> <li><a href="https://info.arxiv.org/help/policies/privacy_policy.html">Privacy Policy</a></li> </ul> </div> <div class="column sorry-app-links"> <ul style="list-style: none; line-height: 2;"> <li><a href="https://info.arxiv.org/help/web_accessibility.html">Web Accessibility Assistance</a></li> <li> <p class="help"> <a class="a11y-main-link" href="https://status.arxiv.org" target="_blank">arXiv Operational Status <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 256 512" class="icon filter-dark_grey" role="presentation"><path d="M224.3 273l-136 136c-9.4 9.4-24.6 9.4-33.9 0l-22.6-22.6c-9.4-9.4-9.4-24.6 0-33.9l96.4-96.4-96.4-96.4c-9.4-9.4-9.4-24.6 0-33.9L54.3 103c9.4-9.4 24.6-9.4 33.9 0l136 136c9.5 9.4 9.5 24.6.1 34z"/></svg></a><br> Get status notifications via <a class="is-link" href="https://subscribe.sorryapp.com/24846f03/email/new" target="_blank"><svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 512 512" class="icon filter-black" role="presentation"><path d="M502.3 190.8c3.9-3.1 9.7-.2 9.7 4.7V400c0 26.5-21.5 48-48 48H48c-26.5 0-48-21.5-48-48V195.6c0-5 5.7-7.8 9.7-4.7 22.4 17.4 52.1 39.5 154.1 113.6 21.1 15.4 56.7 47.8 92.2 47.6 35.7.3 72-32.8 92.3-47.6 102-74.1 131.6-96.3 154-113.7zM256 320c23.2.4 56.6-29.2 73.4-41.4 132.7-96.3 142.8-104.7 173.4-128.7 5.8-4.5 9.2-11.5 9.2-18.9v-19c0-26.5-21.5-48-48-48H48C21.5 64 0 85.5 0 112v19c0 7.4 3.4 14.3 9.2 18.9 30.6 23.9 40.7 32.4 173.4 128.7 16.8 12.2 50.2 41.8 73.4 41.4z"/></svg>email</a> or <a class="is-link" href="https://subscribe.sorryapp.com/24846f03/slack/new" target="_blank"><svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 448 512" class="icon filter-black" role="presentation"><path d="M94.12 315.1c0 25.9-21.16 47.06-47.06 47.06S0 341 0 315.1c0-25.9 21.16-47.06 47.06-47.06h47.06v47.06zm23.72 0c0-25.9 21.16-47.06 47.06-47.06s47.06 21.16 47.06 47.06v117.84c0 25.9-21.16 47.06-47.06 47.06s-47.06-21.16-47.06-47.06V315.1zm47.06-188.98c-25.9 0-47.06-21.16-47.06-47.06S139 32 164.9 32s47.06 21.16 47.06 47.06v47.06H164.9zm0 23.72c25.9 0 47.06 21.16 47.06 47.06s-21.16 47.06-47.06 47.06H47.06C21.16 243.96 0 222.8 0 196.9s21.16-47.06 47.06-47.06H164.9zm188.98 47.06c0-25.9 21.16-47.06 47.06-47.06 25.9 0 47.06 21.16 47.06 47.06s-21.16 47.06-47.06 47.06h-47.06V196.9zm-23.72 0c0 25.9-21.16 47.06-47.06 47.06-25.9 0-47.06-21.16-47.06-47.06V79.06c0-25.9 21.16-47.06 47.06-47.06 25.9 0 47.06 21.16 47.06 47.06V196.9zM283.1 385.88c25.9 0 47.06 21.16 47.06 47.06 0 25.9-21.16 47.06-47.06 47.06-25.9 0-47.06-21.16-47.06-47.06v-47.06h47.06zm0-23.72c-25.9 0-47.06-21.16-47.06-47.06 0-25.9 21.16-47.06 47.06-47.06h117.84c25.9 0 47.06 21.16 47.06 47.06 0 25.9-21.16 47.06-47.06 47.06H283.1z"/></svg>slack</a> </p> </li> </ul> </div> </div> </div>   </div> </footer> </div> <script src="/static/base/1.0.1/js/member_acknowledgement.js"></script> </body> </html>

CINXE.COM

Formal Languages and Automata Theory Mar 2025