Titlebook: Developments in Language Theory; 25th International C Nelma Moreira,Rogério Reis Conference proceedings 2021 Springer Nature Switzerland AG

陪審團(tuán)

Weighted Prefix Normal Words: Mind the Gapeveral new peculiarities that did not already occur in the binary case. We characterise these issues and finally present a standard technique to obtain a generalised prefix normal form for all words over arbitrary, finite alphabets.

Decongestant

FLACK

Ventricle

全部

機(jī)構(gòu)

消極詞匯

Terrace

Grounding of Concept, Indexical, and Name .-regular expressions and, using the shuffle on trajectories operator, we define grammars for balanced-by-construction expressions with which one can express every balanced regular and .-regular language.

ironic

Active Learning of Sequential Transducers with Side Information About the Domainequential string transducers, where a regular overapproximation of the domain is known by the student. We show that there exists an algorithm to learn subsequential string transducers with a better guarantee on the required number of equivalence queries than classical active learning.

猛烈責(zé)罵

Integer Weighted Automata on Infinite Wordstheir complements with respect to the universality and the emptiness problems. Additionally, we build a universal integer weighted automaton where the automaton is fixed and the word problem is undecidable.