We gratefully acknowledge support from
the Simons Foundation and member institutions.

Formal Languages and Automata Theory

Authors and titles for cs.FL in Aug 2022

[ total of 37 entries: 1-25 | 26-37 ]
[ showing 25 entries per page: fewer | more | all ]
[1]  arXiv:2208.00412 [pdf, ps, other]
Title: Active Learning of One-Clock Timed Automata using Constraint Solving
Comments: The full version of the paper accecpted in ATVA2022
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[2]  arXiv:2208.00554 [src]
Title: A Diamond Structure in the Transducer Hierarchy
Authors: Noah Kaufmann
Comments: This was incorrectly uploaded
Subjects: Formal Languages and Automata Theory (cs.FL)
[3]  arXiv:2208.02286 [pdf, ps, other]
Title: On the homology language of HDA models of transition systems
Authors: Thomas Kahl
Comments: 17 pages
Subjects: Formal Languages and Automata Theory (cs.FL); Algebraic Topology (math.AT)
[4]  arXiv:2208.03123 [pdf, ps, other]
Title: Watson-Crick conjugates of words and languages
Subjects: Formal Languages and Automata Theory (cs.FL); Combinatorics (math.CO)
[5]  arXiv:2208.04416 [pdf, other]
Title: Fair Planning for Mobility-on-Demand with Temporal Logic Requests
Subjects: Formal Languages and Automata Theory (cs.FL)
[6]  arXiv:2208.04931 [pdf, ps, other]
Title: Co-lexicographically ordering automata and regular languages. Part I
Comments: arXiv admin note: text overlap with arXiv:2106.02309
Subjects: Formal Languages and Automata Theory (cs.FL); Data Structures and Algorithms (cs.DS)
[7]  arXiv:2208.05131 [pdf, ps, other]
Title: Synthesizing Transducers from Complex Specifications
Subjects: Formal Languages and Automata Theory (cs.FL)
[8]  arXiv:2208.05559 [pdf, other]
Title: Comparing Channel Restrictions of Communicating State Machines, High-level Message Sequence Charts, and Multiparty Session Types
Comments: 15 pages, 28 pages including appendix; to appear in GandALF 2022
Subjects: Formal Languages and Automata Theory (cs.FL); Distributed, Parallel, and Cluster Computing (cs.DC)
[9]  arXiv:2208.05956 [pdf, other]
Title: Completely Reachable Automata: A Polynomial Solution and Quadratic Bounds for the Subset Reachability Problem
Subjects: Formal Languages and Automata Theory (cs.FL)
[10]  arXiv:2208.06025 [pdf, other]
Title: Automatic Sequences in Negative Bases and Proofs of Some Conjectures of Shevelev
Subjects: Formal Languages and Automata Theory (cs.FL); Discrete Mathematics (cs.DM); Combinatorics (math.CO)
[11]  arXiv:2208.06383 [pdf, other]
Title: Synthesis of Parametric Hybrid Automata from Time Series
Journal-ref: ATVA 2022
Subjects: Formal Languages and Automata Theory (cs.FL); Artificial Intelligence (cs.AI)
[12]  arXiv:2208.08319 [pdf, ps, other]
Title: Active Learning for Deterministic Bottom-up Nominal Tree Automata
Subjects: Formal Languages and Automata Theory (cs.FL)
[13]  arXiv:2208.10347 [pdf, other]
Title: A robust class of languages of 2-nested words
Comments: Extended version of paper published at MFCS 2022
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[14]  arXiv:2208.12117 [pdf, other]
Title: Coarser Equivalences for Concurrent Program Runs
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[15]  arXiv:2208.13015 [html]
Title: Proceedings 12th International Workshop on Non-Classical Models of Automata and Applications
Journal-ref: EPTCS 367, 2022
Subjects: Formal Languages and Automata Theory (cs.FL)
[16]  arXiv:2208.14720 [pdf, other]
Title: Reversible Computations of One-Way Counter Automata
Authors: Martin Kutrib (Institut für Informatik, Universität Giessen), Andreas Malcher (Institut für Informatik, Universität Giessen)
Comments: In Proceedings NCMA 2022, arXiv:2208.13015
Journal-ref: EPTCS 367, 2022, pp. 126-142
Subjects: Formal Languages and Automata Theory (cs.FL)
[17]  arXiv:2208.14722 [pdf, ps, other]
Title: Combinatorial Algorithms for Subsequence Matching: A Survey
Authors: Maria Kosche (Göttingen University, Germany), Tore Koß (Göttingen University, Germany), Florin Manea (Göttingen University, Germany), Stefan Siemer (Göttingen University, Germany)
Comments: This is a revised version of the paper with the same title which appeared in the Proceedings of NCMA 2022, EPTCS 367, 2022, pp. 11-27 (DOI: 10.4204/EPTCS.367.2). The revision consists in citing a series of relevant references which were not covered in the initial version, and commenting on how they relate to the results we survey. arXiv admin note: text overlap with arXiv:2206.13896
Subjects: Formal Languages and Automata Theory (cs.FL); Data Structures and Algorithms (cs.DS)
[18]  arXiv:2208.14723 [pdf, other]
Title: P versus B: P Systems as a Formal Framework for Controllability of Boolean Networks
Authors: Artiom Alhazov (Vladimir Andrunachievici Institute of Mathematics and Computer Science), Rudolf Freund (Faculty of Informatics, TU Wien), Sergiu Ivanov (Université Paris-Saclay, Univ. Évry, IBISC)
Comments: In Proceedings NCMA 2022, arXiv:2208.13015
Journal-ref: EPTCS 367, 2022, pp. 28-48
Subjects: Formal Languages and Automata Theory (cs.FL)
[19]  arXiv:2208.14724 [pdf, other]
Title: Monadic Expressions and their Derivatives
Authors: Samira Attou (LITIS, Université de Rouen Normandie), Ludovic Mignot (GR2IF, Université de Rouen Normandie), Clément Miklarz (GR2IF, Université de Rouen Normandie), Florent Nicart (GR2IF, Université de Rouen Normandie)
Comments: In Proceedings NCMA 2022, arXiv:2208.13015
Journal-ref: EPTCS 367, 2022, pp. 49-64
Subjects: Formal Languages and Automata Theory (cs.FL)
[20]  arXiv:2208.14725 [pdf, ps, other]
Title: On the Generative Capacity of Contextual Grammars with Strictly Locally Testable Selection Languages
Authors: Jürgen Dassow (Fakultät für Informatik, Otto-von-Guericke-Universität Magdeburg), Bianca Truthe (Institut für Informatik, Universität Giessen)
Comments: In Proceedings NCMA 2022, arXiv:2208.13015
Journal-ref: EPTCS 367, 2022, pp. 65-80
Subjects: Formal Languages and Automata Theory (cs.FL)
[21]  arXiv:2208.14728 [pdf, ps, other]
Title: Conclusive Tree-Controlled Grammars
Authors: Dominika Klobučníková (Centre of Excellence IT4Innovations, Faculty of Information Technology, Brno University of Technology), Zbyněk Křivka (Centre of Excellence IT4Innovations, Faculty of Information Technology, Brno University of Technology), Alexander Meduna (Centre of Excellence IT4Innovations, Faculty of Information Technology, Brno University of Technology)
Comments: In Proceedings NCMA 2022, arXiv:2208.13015
Journal-ref: EPTCS 367, 2022, pp. 112-125
Subjects: Formal Languages and Automata Theory (cs.FL)
[22]  arXiv:2208.14729 [pdf, other]
Title: Non-Returning Finite Automata With Translucent Letters
Authors: František Mráz (Charles University), Friedrich Otto (Universität Kassel)
Comments: In Proceedings NCMA 2022, arXiv:2208.13015
Journal-ref: EPTCS 367, 2022, pp. 143-159
Subjects: Formal Languages and Automata Theory (cs.FL)
[23]  arXiv:2208.14730 [pdf, other]
Title: Quasi-deterministic 5' -> 3' Watson-Crick Automata
Authors: Benedek Nagy (Eastern Mediterranean University)
Comments: In Proceedings NCMA 2022, arXiv:2208.13015
Journal-ref: EPTCS 367, 2022, pp. 160-176
Subjects: Formal Languages and Automata Theory (cs.FL)
[24]  arXiv:2208.14731 [pdf, ps, other]
Title: On the Accepting State Complexity of Operations on Permutation Automata
Authors: Christian Rauch (Institut für Informatik, Universität Giessen), Markus Holzer (Institut für Informatik, Universität Giessen)
Comments: In Proceedings NCMA 2022, arXiv:2208.13015
Journal-ref: EPTCS 367, 2022, pp. 177-189
Subjects: Formal Languages and Automata Theory (cs.FL)
[25]  arXiv:2208.01298 (cross-list from cs.LO) [pdf, ps, other]
Title: Conjunctive Queries for Logic-Based Information Extraction
Authors: Sam M. Thompson
Comments: Based on the author's PhD thesis and contains work from two conference publications (arXiv:2104.04758, arXiv:1909.10869) which are joint work with Dominik D. Freydenberger
Subjects: Logic in Computer Science (cs.LO); Databases (cs.DB); Formal Languages and Automata Theory (cs.FL)
[ total of 37 entries: 1-25 | 26-37 ]
[ showing 25 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, 2212, contact, help  (Access key information)