![Cover image for Implementation and Application of Automata 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19-22, 2023, Proceedings Cover image for Implementation and Application of Automata 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19-22, 2023, Proceedings](/client/assets/5.0.0.9/ctx//client/images/no_image.png)
Title:
Implementation and Application of Automata 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19-22, 2023, Proceedings
Author:
Nagy, Benedek. editor.
ISBN:
9783031402470
Edition:
1st ed. 2023.
Physical Description:
XII, 304 p. 81 illus., 16 illus. in color. online resource.
Series:
Lecture Notes in Computer Science, 14151
Contents:
Finite automata as verifiers -- Binary Coded Unary Regular Languages -- A Survey on Automata with Translucent Letters -- Earliest Query Answering for Deterministic Stepwise Hedge Automata -- Constrained Multi-Tildes -- On the smallest synchronizing terms of finite tree automata -- Universal First-Order Quantification over Automata -- Average Complexity of Partial Derivatives for Synchronised Shuffle Expressions -- Sweep complexity revisited -- The Pumping Lemma for Regular Languages is Hard -- M-equivalence of Parikh Matrix over a Ternary Alphabet -- Operational Complexity in Subregular Classes -- When Is Context-Freeness Distinguishable from Regularity? An Extension of Parikh's Theorem -- Enhanced Ternary Fibonacci Codes -- Sweeping Input-Driven Pushdown Automata -- Verified Verifying: SMT-LIB for Strings in Isabelle -- Weighted Bottom-up and Top-down Tree Transformations Are Incomparable -- Deciding whether an Attributed Translation can be realized by a Top-Down Transducer -- A time to cast away stones -- Two-way Machines and de Bruijn Words -- Transduction of Automatic Sequences and Applications -- Measuring Power of Generalised Definite Languages -- Smaller Representation of Compiled Regular Expressions.
Added Author:
Added Corporate Author:
Electronic Access:
https://doi.org/10.1007/978-3-031-40247-0Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
---|---|---|---|---|---|
Searching... | E-Book | 521109-1001 | XX(521109.1) | Searching... | Searching... |