3 papers
cs.FL2026
Context-Free Fixed Points and Complete Classification of Orbits in Picard Iteration for Guarded Power Language Operators
Atanas Ilchev, Hristo Kiskinov, George Pashev +1
We study the language-theoretic structure of fixed points and finite Picard iterates for guarded q-power language operators. For the general operator, we prove that a context-free…
math.FA2026
Banach Spaces Generated by Finite-Valued Functions: Superreflexive Rigidity, Hankel Operators, and Universality
Miroslav Hristov, Atanas Ilchev, Diana Nedelcheva +1
We investigate Banach spaces generated by uniformly bounded families of functions taking values in a fixed finite set and establish a rigidity principle connecting the cardinality…
cs.FL2026
Ultrametric Convergence of Guarded Automata and Applications to Structural Input Validation
Atanas Ilchev, Hristo Kiskinov, George Pashev +1
We equip language-equivalence classes of deterministic finite automata with a distinguishing-word ultrametric and identify the resulting space isometrically with the regular langua…