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

Formal Languages and Automata Theory

Authors and titles for cs.FL in Sep 2022

[ total of 45 entries: 1-25 | 26-45 ]
[ showing 25 entries per page: fewer | more | all ]
[1]  arXiv:2209.00122 [pdf, ps, other]
Title: Tree-Based Adaptive Model Learning
Comments: 10 pages, 3 figures, A Journey from Process Algebra via Timed Automata to Model Learning. Ferreira, T., van Heerdt, G., Silva, A. (2022). Tree-Based Adaptive Model Learning. In: Jansen, N., Stoelinga, M., van den Bos, P. (eds) A Journey from Process Algebra via Timed Automata to Model Learning; Full implementation and experiment results available at this https URL
Subjects: Formal Languages and Automata Theory (cs.FL); Machine Learning (cs.LG)
[2]  arXiv:2209.01044 [pdf, ps, other]
Title: How to decide Functionality of Compositions of Top-Down Tree Transducers
Subjects: Formal Languages and Automata Theory (cs.FL)
[3]  arXiv:2209.02260 [pdf, other]
Title: Computing the linear hull: Deciding Sequential? and Unambiguous? for weighted automata over fields
Subjects: Formal Languages and Automata Theory (cs.FL); Combinatorics (math.CO)
[4]  arXiv:2209.03266 [pdf, other]
Title: The First-Order Theory of Binary Overlap-Free Words is Decidable
Subjects: Formal Languages and Automata Theory (cs.FL); Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO); Combinatorics (math.CO); Logic (math.LO)
[5]  arXiv:2209.03655 [pdf, ps, other]
Title: Practical Aspects of Membership Problem of Watson-Crick Context-free Grammars
Comments: In Proceedings NCMA 2022, arXiv:208.13015
Journal-ref: EPTCS 367, 2022, pp. 88-111
Subjects: Formal Languages and Automata Theory (cs.FL)
[6]  arXiv:2209.04244 [pdf, ps, other]
Title: Window Expressions for Stream Data Processing
Subjects: Formal Languages and Automata Theory (cs.FL)
[7]  arXiv:2209.05334 [pdf, ps, other]
Title: Polynomial time multiplication and normal forms in free bands
Comments: 32 pages, 13 figures (amended to improve intro, and fix some minor typos)
Subjects: Formal Languages and Automata Theory (cs.FL); Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS); Group Theory (math.GR); Rings and Algebras (math.RA)
[8]  arXiv:2209.05448 [pdf, ps, other]
Title: Composing Copyless Streaming String Transducers
Subjects: Formal Languages and Automata Theory (cs.FL)
[9]  arXiv:2209.05686 [pdf, other]
Title: Software-Hardware Codesign for Efficient In-Memory Regular Pattern Matching
Comments: This paper has been published in PLDI 2022
Journal-ref: 43rd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2022)
Subjects: Formal Languages and Automata Theory (cs.FL)
[10]  arXiv:2209.06809 [pdf, other]
Title: On the Intersection of Context-Free and Regular Languages
Subjects: Formal Languages and Automata Theory (cs.FL); Computation and Language (cs.CL)
[11]  arXiv:2209.07090 [pdf, other]
Title: Characterizing Attributed Tree Translations in Terms of Macro Tree Transducers
Subjects: Formal Languages and Automata Theory (cs.FL)
[12]  arXiv:2209.07745 [pdf, ps, other]
Title: History-deterministic Parikh Automata
Comments: arXiv admin note: text overlap with arXiv:2207.07694
Subjects: Formal Languages and Automata Theory (cs.FL)
[13]  arXiv:2209.08383 [pdf, ps, other]
Title: Practical LR Parser Generation
Authors: Joe Zimmerman
Subjects: Formal Languages and Automata Theory (cs.FL); Programming Languages (cs.PL)
[14]  arXiv:2209.08415 [pdf, ps, other]
Title: Grammars over the Lambek Calculus with Permutation: Recognizing Power and Connection to Branching Vector Addition Systems with States
Subjects: Formal Languages and Automata Theory (cs.FL); Logic (math.LO)
[15]  arXiv:2209.09333 [html]
Title: Proceedings of the 13th International Symposium on Games, Automata, Logics and Formal Verification
Authors: Pierre Ganty (IMDEA Software Institute), Dario Della Monica (University of Udine)
Journal-ref: EPTCS 370, 2022
Subjects: Formal Languages and Automata Theory (cs.FL); Computer Science and Game Theory (cs.GT); Logic in Computer Science (cs.LO)
[16]  arXiv:2209.09336 [pdf, ps, other]
Title: Polynomial Identification of omega-Automata
Comments: This is an extended version of a paper with the same name that appeared in TACAS20
Subjects: Formal Languages and Automata Theory (cs.FL)
[17]  arXiv:2209.09866 [pdf, other]
Title: A Hierarchy of Nondeterminism
Comments: 21 pages, 5 figures
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[18]  arXiv:2209.10306 [pdf, other]
Title: Realizable and Context-Free Hyperlanguages
Authors: Hadar Frenkel (CISPA Helmholtz Center for Information Security, Saarbrücken, Germany), Sarai Sheinvald (Department of Software Engineering, Braude College of Engineering, Karmiel, Israel)
Comments: In Proceedings GandALF 2022, arXiv:2209.09333
Journal-ref: EPTCS 370, 2022, pp. 114-130
Subjects: Formal Languages and Automata Theory (cs.FL)
[19]  arXiv:2209.10312 [pdf, other]
Title: Schema-Based Automata Determinization
Authors: Joachim Niehren (Inria, Université de Lille, France), Momar Sakho (Inria, Université de Lille, France), Antonio Al Serhali (Inria, Université de Lille, France)
Comments: In Proceedings GandALF 2022, arXiv:2209.09333
Journal-ref: EPTCS 370, 2022, pp. 49-65
Subjects: Formal Languages and Automata Theory (cs.FL); Computational Complexity (cs.CC)
[20]  arXiv:2209.10313 [pdf, ps, other]
Title: Generating Tokenizers with Flat Automata
Authors: Hans de Nivelle (School of Engineering and Digital Sciences, Nazarbayev University, Nursultan-City, Kazakkhstan), Dina Muktubayeva (School of Engineering and Digital Sciences, Nazarbayev University, Nursultan-City, Kazakhstan)
Comments: In Proceedings GandALF 2022, arXiv:2209.09333. An implementation of flat automata can be found on: www.compiler-tools.eu
Journal-ref: EPTCS 370, 2022, pp. 66-80
Subjects: Formal Languages and Automata Theory (cs.FL)
[21]  arXiv:2209.10315 [pdf, other]
Title: Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise
Authors: Igor Khmelnitsky (Université Paris-Saclay, CNRS, ENS Paris-Saclay, INRIA, LMF, France), Serge Haddad (Université Paris-Saclay, CNRS, ENS Paris-Saclay, INRIA, LMF, France), Lina Ye (Université Paris-Saclay, CNRS, ENS Paris-Saclay, CentraleSupélec, LMF, France), Benoît Barbot (Université Paris-Est Créteil, France), Benedikt Bollig (Université Paris-Saclay, CNRS, ENS Paris-Saclay, LMF, France), Martin Leucker (Institute for Software Engineering and Programming Languages, Universität zu Lübeck, Germany), Daniel Neider (Carl von Ossietzky University of Oldenburg, Germany), Rajarshi Roy (Max Planck Institute for Software Systems, Germany)
Comments: In Proceedings GandALF 2022, arXiv:2209.09333
Journal-ref: EPTCS 370, 2022, pp. 81-96
Subjects: Formal Languages and Automata Theory (cs.FL); Artificial Intelligence (cs.AI)
[22]  arXiv:2209.10323 [pdf, ps, other]
Title: Avoid One's Doom: Finding Cliff-Edge Configurations in Petri Nets
Authors: Giann Karlo Aguirre-Samboní (INRIA and LMF, CNRS and ENS Paris-Saclay, Université Paris-Saclay), Stefan Haar (INRIA and LMF, CNRS and ENS Paris-Saclay, Université Paris-Saclay), Loïc Paulevé (Univ. Bordeaux, Bordeaux INP, CNRS, LaBRI, UMR5800), Stefan Schwoon (INRIA and LMF, CNRS and ENS Paris-Saclay, Université Paris-Saclay), Nick Würdemann (Department of Computing Science, University of Oldenburg)
Comments: In Proceedings GandALF 2022, arXiv:2209.09333. This work was supported by the DIGICOSME grant ESCAPE DIGICOSME RD 242-ESCAPE-15203 and by the French Agence Nationale pour la Recherche (ANR) in the scope of the project ''BNeDiction'' (grant number ANR-20-CE45-0001)
Journal-ref: EPTCS 370, 2022, pp. 178-193
Subjects: Formal Languages and Automata Theory (cs.FL); Data Structures and Algorithms (cs.DS)
[23]  arXiv:2209.10328 [pdf, other]
Title: Comparing Channel Restrictions of Communicating State Machines, High-level Message Sequence Charts, and Multiparty Session Types
Authors: Felix Stutz (MPI-SWS), Damien Zufferey (MPI-SWS)
Comments: In Proceedings GandALF 2022, arXiv:2209.09333. The extended version of this paper, containing all proofs, can be found at arXiv:2208.05559
Journal-ref: EPTCS 370, 2022, pp. 194-212
Subjects: Formal Languages and Automata Theory (cs.FL)
[24]  arXiv:2209.12044 [pdf, other]
Title: Characterising memory in infinite games
Comments: 48 pages, 20 figures
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[25]  arXiv:2209.13373 [pdf, ps, other]
Title: On von Neumann regularity of cellular automata
Authors: Ville Salo
Comments: 16 pages, 3 figures; comments welcome! arXiv admin note: text overlap with arXiv:1804.03913
Subjects: Formal Languages and Automata Theory (cs.FL); Dynamical Systems (math.DS); Rings and Algebras (math.RA)
[ total of 45 entries: 1-25 | 26-45 ]
[ showing 25 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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