Del 12811 - Lecture Notes in Computer Science

Developments in Language Theory

25th International Conference, DLT 2021, Porto, Portugal, August 16–20, 2021, Proceedings

Häftad, Engelska, 2021

AvNelma Moreira,Rogério Reis,Rogerio Reis

1 219 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

This book constitutes the proceedings of the 25th International Conference on Developments in Language Theory, DLT 2021, which was held in Porto, Portugal, during August 16-20, 2021. The DLT conference series provides a forum for presenting current developments in formal languages and automata.

Produktinformation

Utgivningsdatum2021-07-15
Mått155 x 235 x 22 mm
Vikt604 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor381
FörlagSpringer Nature Switzerland AG
ISBN9783030815073

Tillhör följande kategorier

Systemvetenskap och AI inom Data och IT
Databaser inom Data och IT

Invited Talks.- Morphic sequences versus automatic sequences.- Parsimonious Computational Completeness Pointlike sets and separation: a personal perspective.- Regular Papers.- A strong non-overlapping Dyck code.- Active Learning of Sequential Transducers with Side Information about the Domain.- Compositions of Constant Weighted Extended Tree Transducers.- Extremal Binary PFAs in a Cerny Family.- Variations on the Post Correspondence Problem for Free Groups.- Reducing local alphabet size in recognizable picture languages.- Properties of Graphs Specified by a Regular Language.- Balanced-by-construction regular and omega-regular languages.- Weighted Prefix Normal Words: Mind the Gap.- Two-Way Non-Uniform Finite Automata.- Integer Weighted Automata on Infinite Words.- Deciding FO2 Alternation for Automata over Finite and Infinite Words.- State Complexity of Projection on Languages Recognized by Permutation Automata and Commuting Letters.- Constrained Synchronization and Subset Synchronization Problems for Weakly Acyclic Automata.- Lyndon words formalized in Isabelle/HOL.- The Range of State Complexities of Languages Resulting from the Cascade Product—The General Case (Extended Abstract).- Second-order finite automata: expressive power and simple proofs using automatic structures.- Reversible Top-Down Syntax Analysis.- Symmetry groups of infinite words.- Bounded Languages Described by GF(2)-grammas.- Definability Results for Top-Down Tree Transducers.- The hardest LL(k) language.- Upper Bounds on Distinct Maximal (Sub-)Repetitions in Compressed Strings.- Branching Frequency and Markov Entropy of Repetition-Free Languages.- A Linear-time Simulation of Deterministic d-Limited Automata.- Caratheodory Extensions of Subclasses of Regular Languages.- Parikh Word Representable Graphs and Morphisms.

Du kanske också är intresserad av

Implementation and Application of Automata

Nelma Moreira, Rogério Reis

Häftad

699 kr

Role Of Theory In Computer Science, The: Essays Dedicated To Janusz Brzozowski

Konstantinidis Stavros, Stavros Konstantinidis, Nelma Moreira, Rogerio Reis, Jeffrey Shallit, Canada) Konstantinidis, Stavros (Saint Mary's Univ, Portugal) Moreira, Nelma (Univ Of Porto, Portugal) Reis, Rogerio (Univ Of Porto, Canada) Shallit, Jeffrey (Univ Of Waterloo

Inbunden

1 979 kr

Descriptional Complexity of Formal Systems

Martin Kutrib, Nelma Moreira, Rogério Reis

Häftad

719 kr

Descriptional Complexity of Formal Systems

Jürgensen, Rogério Reis, Jurgensen, Rogerio Reis

Häftad

699 kr

Natural Language Processing

Miguel Filgueiras, Luis Damas, Nelma Moreira, Ana P. Tomas

Häftad

719 kr

Del 12232

Formal Methods. FM 2019 International Workshops

Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas