سجل دخولك
رؤى - Formal languages and automata theory
Demonstrating Metalinearness and Regularity of Languages Using Tree-Restricted General Grammars
General grammars that generate their sentences through derivation trees satisfying certain restrictions can be shown to generate k-linear or regular languages.
A Kleene Theorem for Modeling Concurrent Systems with Higher-Dimensional Automata
The languages recognized by higher-dimensional automata are precisely the rational subsumption-closed sets of finite interval pomsets.
Characterization of First-Order String Transductions via Planar Affine λ-Calculus
Affine string-to-string functions definable in the planar affine λ-calculus λ℘ and first-order string transductions coincide.
Logical Characterization of Higher-Dimensional Automata Languages
The languages of higher-dimensional automata (HDAs) are precisely the subsumption closures of monadic second-order (MSO) definable sets of interval ipomsets of bounded width.
المنتجات | الموارد
© 2024 by Linnk AI