Erzsébet Csuhaj-Varjú, Pál Dömösi, György Vaszil
Proceedings 15th International Conference on Automata and Formal Languages
AFL, 2017.
Contents (17 items)
- AFL-2017-AlhazovFIV #multi
- (Tissue) P Systems with Vesicles of Multisets (AA, RF, SI, SV), pp. 11–25.
- AFL-2017-BeckerBSFW #set #word
- Unavoidable Sets of Partial Words of Uniform Length (JB, FBS, LF, SW), pp. 26–40.
- AFL-2017-BeierHK #complexity #linear #on the #set
- On the Descriptional Complexity of Operations on Semilinear Sets (SB, MH, MK), pp. 41–55.
- AFL-2017-BlanchetSadriCH #word
- Dyck Words, Lattice Paths, and Abelian Borders (FBS, KC, KH), pp. 56–70.
- AFL-2017-BlanchetSadriO #word
- Constructing Words with High Distinct Square Densities (FBS, SO), pp. 71–85.
- AFL-2017-CrespiReghizziP #higher-order #precedence
- Higher-order Operator Precedence Languages (SCR, MP), pp. 86–100.
- AFL-2017-DrosteEK #automaton
- The Triple-Pair Construction for Weighted ω-Pushdown Automata (MD, ZÉ, WK), pp. 101–113.
- AFL-2017-GelleI #automaton
- Reversible languages having finitely many reduced automata (KG, SI), pp. 114–127.
- AFL-2017-HolzerKMW #automaton
- Input-Driven Double-Head Pushdown Automata (MH, MK, AM, MW), pp. 128–142.
- AFL-2017-LavadoPP #regular expression
- Weakly and Strongly Irreversible Regular Languages (GJL, GP, LP), pp. 143–156.
- AFL-2017-MaraisZ #automaton #complexity #difference #self #symmetry #verification
- Descriptional Complexity of Non-Unary Self-Verifying Symmetric Difference Automata (LM, LvZ), pp. 157–169.
- AFL-2017-MedunaM #component #context-sensitive grammar #product line
- CD Grammar Systems with Two Propagating Scattered Context Components Characterize the Family of Context Sensitive Languages (AM, JM), pp. 170–179.
- AFL-2017-Moss #parsing expression grammar
- Derivatives of Parsing Expression Grammars (AM), pp. 180–194.
- AFL-2017-NagyPS #automaton #concept
- A New Sensing 5'->3' Watson-Crick Automata Concept (BN, SP, HMMS), pp. 195–204.
- AFL-2017-NakanishiY #automaton
- Affine counter automata (MN, AY), pp. 205–218.
- AFL-2017-PlatekO #automaton #on the
- On h-Lexicalized Restarting Automata (MP, FO), pp. 219–233.
- AFL-2017-SalehiDS #memory management #monad
- Generalized Results on Monoids as Memory (ÖS, FD, ACCS), pp. 234–247.