Formal Languages and Automata Theory

Authors and titles for recent submissions

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

[1] arXiv:2012.14235 [pdf, other]: Title: FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions

Authors: Margarida Ferreira, Miguel Terra-Neves, Miguel Ventura, Inês Lynce, Ruben Martins

Subjects: Formal Languages and Automata Theory (cs.FL); Artificial Intelligence (cs.AI)
[2] arXiv:2012.13739 (cross-list from math.PR) [pdf, other]: Title: Transience in Countable MDPs

Authors: Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke

Subjects: Probability (math.PR); Formal Languages and Automata Theory (cs.FL); Computer Science and Game Theory (cs.GT); Optimization and Control (math.OC)

[3] arXiv:2012.12716 [pdf, ps, other]: Title: Formal modeling and performance evaluation for hybrid systems:a probabilistic hybrid process algebra-based approach

Authors: Fujun Wang, Zining Cao, Lixing Tan, Zhen Li

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

[4] arXiv:2012.12100 [pdf, ps, other]: Title: $O_n$ is an $n$-MCFL

Authors: Kilian Gebhardt, Frédéric Meunier, Sylvain Salvati

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

[5] arXiv:2012.10949 [pdf, other]: Title: A new method of analyzing rule continuity in computations with shape grammars

Authors: Alexandros Haridis

Comments: 17 pages, 14 Figures, 5 Tables. Research Report, MIT, Summer 2020

Subjects: Formal Languages and Automata Theory (cs.FL); Computational Geometry (cs.CG)
[6] arXiv:2012.10641 [pdf, ps, other]: Title: A unified implementation of automata and expression structures, and of the associated algorithms using enriched categories

Authors: Ludovic Mignot

Comments: Manuscrit d'habilitation \`a diriger des recherches, in French

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

[7] arXiv:2012.10188 [pdf, ps, other]: Title: On probabilistic stable event structures

Authors: Nargess Ghahremani, Julian Bradfield

Subjects: Formal Languages and Automata Theory (cs.FL)
[8] arXiv:2012.10431 (cross-list from cs.CY) [pdf, other]: Title: TILT: A GDPR-Aligned Transparency Information Language and Toolkit for Practical Privacy Engineering

Authors: Elias Grünewald, Frank Pallas

Comments: Accepted for publication at the ACM Conference on Fairness, Accountability, and Transparency 2021 (ACM FAccT'21). This is a preprint manuscript (authors' own version before final copy-editing)

Subjects: Computers and Society (cs.CY); Cryptography and Security (cs.CR); Formal Languages and Automata Theory (cs.FL); Software Engineering (cs.SE)
[9] arXiv:2012.10186 (cross-list from math.GR) [pdf, ps, other]: Title: Graph and wreath products of cellular automata

Authors: Ville Salo

Comments: 20 pages

Subjects: Group Theory (math.GR); Formal Languages and Automata Theory (cs.FL); Dynamical Systems (math.DS)

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