[1]Skip to main content
   [2]Cornell University
   We gratefully acknowledge support from the Simons Foundation, [3]member
   institutions, and all contributors. [4]Donate
   [5]arxiv logo > [6]cs.FL
   ____________________

   [7]Help | [8]Advanced Search
   [All fields________]
   (BUTTON) Search
   [9]arXiv logo
   [10]Cornell University Logo
   (BUTTON) open search
   ____________________ (BUTTON) GO
   (BUTTON) open navigation menu

quick links

     * [11]Login
     * [12]Help Pages
     * [13]About

Formal Languages and Automata Theory

Authors and titles for recent submissions

     * [14]Tue, 14 May 2024
     * [15]Mon, 13 May 2024
     * [16]Fri, 10 May 2024
     * [17]Thu, 9 May 2024
     * [18]Wed, 8 May 2024

   Total of 10 entries
   Showing up to 25 entries per page: [19]fewer | more | all

Tue, 14 May 2024 (showing 4 of 4 entries )

   [1] [20]arXiv:2405.07975 [[21]pdf, [22]ps, [23]html, [24]other]
          Title: Dynamic Programming for Symbolic Boolean Realizability and
          Synthesis

          [25]Yi Lin, [26]Lucas M. Tabajara, [27]Moshe Y. Vardi

          Comments: 33 pages including the Appendix and bibliography, 5 figures,
          paper is to be published in CAV 2024, but this version is inclusive of the
          Appendix

          Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer
          Science (cs.LO)

   [2] [28]arXiv:2405.07911 [[29]pdf, [30]ps, [31]other]
          Title: Slice closures of indexed languages and word equations with
          counting constraints

          [32]Laura Ciobanu, [33]Georg Zetzsche

          Comments: 12 pages, accepted for publication at LICS 2024

          Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer
          Science (cs.LO); Group Theory (math.GR)

   [3] [34]arXiv:2405.07671 [[35]pdf, [36]ps, [37]other]
          Title: Constructing a BPE Tokenization DFA

          [38]Martin Berglund, [39]Willeke Martens, [40]Brink van der Merwe

          Subjects: Formal Languages and Automata Theory (cs.FL); Computation and
          Language (cs.CL); Machine Learning (cs.LG)

   [4] [41]arXiv:2405.07505 (cross-list from cs.LO) [[42]pdf, [43]ps, [44]other]
          Title: A cyclic proof system for Guarded Kleene Algebra with Tests (full
          version)

          [45]Jan Rooduijn, [46]Dexter Kozen, [47]Alexandra Silva

          Comments: Full version of paper accepted at IJCAR 2024

          Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata
          Theory (cs.FL); Logic (math.LO)

Mon, 13 May 2024 (showing 2 of 2 entries )

   [5] [48]arXiv:2405.06387 [[49]pdf, [50]ps, [51]other]
          Title: Scalable Computation of Inter-Core Bounds Through Exact
          Abstractions

          [52]Mohammed Aristide Foughali, [53]Marius Mikucionis, [54]Maryline Zhang

          Comments: To appear in the proceedings of the 48th IEEE International
          Conference on Computers, Software, and Applications (COMPSAC 2024)

          Subjects: Formal Languages and Automata Theory (cs.FL); Symbolic
          Computation (cs.SC)

   [6] [55]arXiv:2405.06043 [[56]pdf, [57]ps, [58]html, [59]other]
          Title: Time complexity for deterministic string machines

          [60]Ali Cataltepe, [61]Vanessa Kosoy

          Comments: 14 pages, 1 figure

          Subjects: Formal Languages and Automata Theory (cs.FL); Computational
          Complexity (cs.CC); Category Theory (math.CT)

Fri, 10 May 2024 (showing 3 of 3 entries )

   [7] [62]arXiv:2405.05408 [[63]pdf, [64]ps, [65]html, [66]other]
          Title: Planning with Probabilistic Opacity and Transparency: A
          Computational Model of Opaque/Transparent Observations

          [67]Sumukha Udupa, [68]Jie Fu

          Comments: 8 pages, 7 figures, submitted to IEEE CDC 2024

          Subjects: Formal Languages and Automata Theory (cs.FL)

   [8] [69]arXiv:2405.05939 (cross-list from math.GR) [[70]pdf, [71]ps, [72]other]
          Title: Bounded Generation of Submonoids of Heisenberg Groups

          [73]Doron Shafrir

          Subjects: Group Theory (math.GR); Discrete Mathematics (cs.DM); Formal
          Languages and Automata Theory (cs.FL)

   [9] [74]arXiv:2405.05279 (cross-list from math.NT) [[75]pdf, [76]ps, [77]html,
          [78]other]
          Title: On Transcendence of Numbers Related to Sturmian and Arnoux-Rauzy
          Words

          [79]Pavol Kebis, [80]Florian Luca, [81]Joel Ouaknine, [82]Andrew Scoones,
          [83]James Worrell

          Comments: arXiv admin note: text overlap with [84]arXiv:2308.13657

          Subjects: Number Theory (math.NT); Formal Languages and Automata Theory
          (cs.FL)

Thu, 9 May 2024 (showing 1 of 1 entries )

   [10] [85]arXiv:2405.04881 [[86]pdf, [87]ps, [88]other]
          Title: G\"odel Number based Clustering Algorithm with Decimal First Degree
          Cellular Automata

          [89]Vicky Vikrant, [90]Narodia Parth P, [91]Kamalika Bhattacharjee

          Subjects: Formal Languages and Automata Theory (cs.FL); Emerging
          Technologies (cs.ET); Machine Learning (cs.LG)

Wed, 8 May 2024

          No updates for this time period.

   Total of 10 entries
   Showing up to 25 entries per page: [92]fewer | more | all
     * [93]About
     * [94]Help

     * Click here to contact arXiv [95]Contact
     * Click here to subscribe [96]Subscribe

     * [97]Copyright
     * [98]Privacy Policy

     * [99]Web Accessibility Assistance
     * [100]arXiv Operational Status
       Get status notifications via [101]email or [102]slack

References

   Visible links:
   1. http://arxiv.org/list/cs.FL/recent#content
   2. https://www.cornell.edu/
   3. https://info.arxiv.org/about/ourmembers.html
   4. https://info.arxiv.org/about/donate.html
   5. http://arxiv.org/
   6. http://arxiv.org/list/cs.FL/recent
   7. https://info.arxiv.org/help
   8. https://arxiv.org/search/advanced
   9. https://arxiv.org/
  10. https://www.cornell.edu/
  11. https://arxiv.org/login
  12. https://info.arxiv.org/help
  13. https://info.arxiv.org/about
  14. http://arxiv.org/list/cs.FL/recent?skip=0&show=25
  15. http://arxiv.org/list/cs.FL/recent?skip=4&show=25
  16. http://arxiv.org/list/cs.FL/recent?skip=6&show=25
  17. http://arxiv.org/list/cs.FL/recent?skip=9&show=25
  18. http://arxiv.org/list/cs.FL/recent?skip=10&show=25
  19. http://arxiv.org/list/cs.FL/recent?skip=0&show=10
  20. http://arxiv.org/abs/2405.07975
  21. http://arxiv.org/pdf/2405.07975
  22. http://arxiv.org/ps/2405.07975
  23. https://arxiv.org/html/2405.07975v1
  24. http://arxiv.org/format/2405.07975
  25. https://arxiv.org/search/cs?searchtype=author&query=Lin,+Y
  26. https://arxiv.org/search/cs?searchtype=author&query=Tabajara,+L+M
  27. https://arxiv.org/search/cs?searchtype=author&query=Vardi,+M+Y
  28. http://arxiv.org/abs/2405.07911
  29. http://arxiv.org/pdf/2405.07911
  30. http://arxiv.org/ps/2405.07911
  31. http://arxiv.org/format/2405.07911
  32. https://arxiv.org/search/cs?searchtype=author&query=Ciobanu,+L
  33. https://arxiv.org/search/cs?searchtype=author&query=Zetzsche,+G
  34. http://arxiv.org/abs/2405.07671
  35. http://arxiv.org/pdf/2405.07671
  36. http://arxiv.org/ps/2405.07671
  37. http://arxiv.org/format/2405.07671
  38. https://arxiv.org/search/cs?searchtype=author&query=Berglund,+M
  39. https://arxiv.org/search/cs?searchtype=author&query=Martens,+W
  40. https://arxiv.org/search/cs?searchtype=author&query=van+der+Merwe,+B
  41. http://arxiv.org/abs/2405.07505
  42. http://arxiv.org/pdf/2405.07505
  43. http://arxiv.org/ps/2405.07505
  44. http://arxiv.org/format/2405.07505
  45. https://arxiv.org/search/cs?searchtype=author&query=Rooduijn,+J
  46. https://arxiv.org/search/cs?searchtype=author&query=Kozen,+D
  47. https://arxiv.org/search/cs?searchtype=author&query=Silva,+A
  48. http://arxiv.org/abs/2405.06387
  49. http://arxiv.org/pdf/2405.06387
  50. http://arxiv.org/ps/2405.06387
  51. http://arxiv.org/format/2405.06387
  52. https://arxiv.org/search/cs?searchtype=author&query=Foughali,+M+A
  53. https://arxiv.org/search/cs?searchtype=author&query=Miku%C4%8Dionis,+M
  54. https://arxiv.org/search/cs?searchtype=author&query=Zhang,+M
  55. http://arxiv.org/abs/2405.06043
  56. http://arxiv.org/pdf/2405.06043
  57. http://arxiv.org/ps/2405.06043
  58. https://arxiv.org/html/2405.06043v1
  59. http://arxiv.org/format/2405.06043
  60. https://arxiv.org/search/cs?searchtype=author&query=Cataltepe,+A
  61. https://arxiv.org/search/cs?searchtype=author&query=Kosoy,+V
  62. http://arxiv.org/abs/2405.05408
  63. http://arxiv.org/pdf/2405.05408
  64. http://arxiv.org/ps/2405.05408
  65. https://arxiv.org/html/2405.05408v1
  66. http://arxiv.org/format/2405.05408
  67. https://arxiv.org/search/cs?searchtype=author&query=Udupa,+S
  68. https://arxiv.org/search/cs?searchtype=author&query=Fu,+J
  69. http://arxiv.org/abs/2405.05939
  70. http://arxiv.org/pdf/2405.05939
  71. http://arxiv.org/ps/2405.05939
  72. http://arxiv.org/format/2405.05939
  73. https://arxiv.org/search/math?searchtype=author&query=Shafrir,+D
  74. http://arxiv.org/abs/2405.05279
  75. http://arxiv.org/pdf/2405.05279
  76. http://arxiv.org/ps/2405.05279
  77. https://arxiv.org/html/2405.05279v1
  78. http://arxiv.org/format/2405.05279
  79. https://arxiv.org/search/math?searchtype=author&query=Kebis,+P
  80. https://arxiv.org/search/math?searchtype=author&query=Luca,+F
  81. https://arxiv.org/search/math?searchtype=author&query=Ouaknine,+J
  82. https://arxiv.org/search/math?searchtype=author&query=Scoones,+A
  83. https://arxiv.org/search/math?searchtype=author&query=Worrell,+J
  84. https://arxiv.org/abs/2308.13657
  85. http://arxiv.org/abs/2405.04881
  86. http://arxiv.org/pdf/2405.04881
  87. http://arxiv.org/ps/2405.04881
  88. http://arxiv.org/format/2405.04881
  89. https://arxiv.org/search/cs?searchtype=author&query=Vikrant,+V
  90. https://arxiv.org/search/cs?searchtype=author&query=P,+N+P
  91. https://arxiv.org/search/cs?searchtype=author&query=Bhattacharjee,+K
  92. http://arxiv.org/list/cs.FL/recent?skip=0&show=10
  93. https://info.arxiv.org/about
  94. https://info.arxiv.org/help
  95. https://info.arxiv.org/help/contact.html
  96. https://info.arxiv.org/help/subscribe
  97. https://info.arxiv.org/help/license/index.html
  98. https://info.arxiv.org/help/policies/privacy_policy.html
  99. https://info.arxiv.org/help/web_accessibility.html
 100. https://status.arxiv.org/
 101. https://subscribe.sorryapp.com/24846f03/email/new
 102. https://subscribe.sorryapp.com/24846f03/slack/new

   Hidden links:
 104. http://arxiv.org/list/cs.FL/{url_path('ignore_me')}