Formal Languages and Automata Theory

Authors and titles for recent submissions

[ total of 16 entries: 1-16 ]
[ showing up to 25 entries per page: fewer | more ]

[1] arXiv:2005.10127 [pdf]: Title: Multi-head Watson-Crick quantum finite automata

Authors: Debayan Ganguly, Kingshuk Chatterjee, Kumar Sankar Ray

Comments: arXiv admin note: substantial text overlap with arXiv:1507.05282, arXiv:1607.00811

Subjects: Formal Languages and Automata Theory (cs.FL)
[2] arXiv:2005.10126 [pdf]: Title: State Complexity of Reversible Watson-Crick Automata

Authors: Kingshuk Chatterjee, Debayan Ganguly, Kumar Sankar Ray

Subjects: Formal Languages and Automata Theory (cs.FL)
[3] arXiv:2005.10085 (cross-list from cs.LG) [pdf, other]: Title: DisCoveR: Accurate & Efficient Discovery of Declarative Process Models

Authors: Christoffer Olling Back, Tijs Slaats, Thomas Troels Hildebrandt, Morten Marquard

Comments: Author's original version

Subjects: Machine Learning (cs.LG); Formal Languages and Automata Theory (cs.FL); Software Engineering (cs.SE); Machine Learning (stat.ML)

[4] arXiv:2005.09507 [pdf, ps, other]: Title: Decidability and k-Regular Sequences

Authors: Daniel Krenn, Jeffrey Shallit

Subjects: Formal Languages and Automata Theory (cs.FL); Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Combinatorics (math.CO)
[5] arXiv:2005.09489 [pdf, other]: Title: On the Separability Problem of String Constraints

Authors: Parosh Aziz Abdulla, Mohamed Faouzi Atig, Vrunda Dave, Shankara Narayanan Krishna

Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[6] arXiv:2005.09281 [pdf, other]: Title: On Weighted Prefix Normal Words

Authors: Yannik Eikmeier, Pamela Fleischmann, Dirk Nowotka

Comments: 18 pages

Subjects: Formal Languages and Automata Theory (cs.FL); Combinatorics (math.CO)
[7] arXiv:2005.09125 [pdf, other]: Title: On the Power of Unambiguity in Büchi Complementation

Authors: Yong Li, Moshe Y. Vardi, Lijun Zhang

Subjects: Formal Languages and Automata Theory (cs.FL); Computation and Language (cs.CL)
[8] arXiv:2005.09585 (cross-list from math.CO) [pdf, other]: Title: A Frameless 2-Coloring of the Plane Lattice

Authors: Craig S. Kaplan, Jeffrey Shallit

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

[9] arXiv:2005.07569 [pdf]: Title: Two-way Nanoscale automata

Authors: Debayan Ganguly, Kingshuk Chatterjee, Kumar Sankar Ray

Subjects: Formal Languages and Automata Theory (cs.FL)
[10] arXiv:2005.07227 [pdf, other]: Title: Qualitative Controller Synthesis for Consumption Markov Decision Processes

Authors: František Blahoudek, Tomáš Brázdil, Petr Novotný, Melkior Ornik, Pranay Thangeda, Ufuk Topcu

Comments: Full version of a paper accepted at CAV'20

Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[11] arXiv:2005.07325 (cross-list from quant-ph) [pdf, other]: Title: On the Origin of Quantum Uncertainty

Authors: Christoph Adami (Michigan State University)

Comments: Contribution to the FQXi Essay Contest: "Undecidability, Uncomputability, and Unpredictability". 9 pages plus two pages of Supplementary Material

Subjects: Quantum Physics (quant-ph); Formal Languages and Automata Theory (cs.FL)

[12] arXiv:2005.06818 [pdf, other]: Title: Structural Equivalences for Reversible Calculi of Communicating Systems (Oral communication)

Authors: Clément Aubert, Ioana Cristescu

Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO); Logic (math.LO)
[13] arXiv:2005.06814 (cross-list from cs.DC) [pdf, other]: Title: How Reversibility Can Solve Traditional Questions: The Example of Hereditary History-Preserving Bisimulation

Authors: Clément Aubert, Ioana Cristescu (HMS)

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO); Logic (math.LO)

[14] arXiv:2005.06285 [pdf, other]: Title: Bisimulation Finiteness of Pushdown Systems Is Elementary

Authors: Stefan Göller, Paweł Parys

Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[15] arXiv:2005.06411 (cross-list from cs.LO) [pdf, ps, other]: Title: Bisimilarity in fresh-register automata

Authors: Andrzej S. Murawski, Steven J. Ramsay, Nikos Tzevelekos

Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)
[16] arXiv:2005.06115 (cross-list from cs.LO) [pdf, ps, other]: Title: Probabilistic Hyperproperties with Nondeterminism

Authors: Erika Abraham, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe

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

[ total of 16 entries: 1-16 ]
[ showing up to 25 entries per page: fewer | more ]