Proceedings 15th International Conference on Automata and Formal Languages

2017/08/21 by Erzsébet Csuhaj-Varjú, Pál Dömösi, György Vaszil · 12 citations
Computer Science · #cs.FL

paper · pdf · doi:10.4204/eptcs.252

published as EPTCS 252, 2017

arxiv created 2017/08/21 · arxiv updated 2017/08/22

Abstract

The 15th International Conference on Automata and Formal Languages (AFL 2017) was held in Debrecen, Hungary, from September 4 to 6, 2017. The conference was organized by the Faculty of Informatics of the University of Debrecen and the Faculty of Informatics of the Eötvös Loránd University of Budapest. Topics of interest covered all aspects of automata and formal languages, including theory and applications.

Cited by

• Derivatives of Parsing Expression Grammars
• Exact Affine Counter Automata
• Higher-Order Operator Precedence Languages
• Reversible Languages Having Finitely Many Reduced Automata
• Generalized Results on Monoids as Memory
• (Tissue) P Systems with Vesicles of Multisets
• Unavoidable Sets of Partial Words of Uniform Length
• On the Descriptional Complexity of Operations on Semilinear Sets
• Dyck Words, Lattice Paths, and Abelian Borders
• Constructing Words with High Distinct Square Densities
• The Triple-Pair Construction for Weighted ω-Pushdown Automata
• Input-Driven Double-Head Pushdown Automata
• Weakly and Strongly Irreversible Regular Languages
• Descriptional Complexity of Non-Unary Self-Verifying Symmetric Difference Automata
• CD Grammar Systems with Two Propagating Scattered Context Components Characterize the Family of Context Sensitive Languages
• A New Sensing 5'-->3' Watson-Crick Automata Concept
• On h-Lexicalized Restarting Automata

Related

• Proceedings 14th International Conference on Automata and Formal Languages
• Proceedings of the 15th International Workshop on Non-Classical Models of Automata and Applications
• Proceedings of the 16th International Workshop on Non-Classical Models of Automata and Applications
• Proceedings of the Sixteenth International Symposium on Games, Automata, Logics, and Formal Verification
• Proceedings Fifth International Symposium on Games, Automata, Logics and Formal Verification