Une caractérisation des fonctions séquentielles et des fonctions sous- séquentielles en tant que rélations rationnelles
From MaRDI portal
Publication:1246508
DOI10.1016/0304-3975(77)90049-4zbMath0376.94022OpenAlexW2037367360MaRDI QIDQ1246508
Publication date: 1978
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0304-3975(77)90049-4
Related Items
On-line finite automata for addition in some numeration systems, DETERMINATIONS OF WEIGHTED FINITE AUTOMATA OVER COMMUTATIVE IDEMPOTENT MF-SEMIRINGS, Addition molle et fonctions p-locales, Rational equivalence relations, Multi-sequential Word Relations, Linear numeration systems of order two, On the Topological Complexity of Infinitary Rational Relations, Undecidability of Topological and Arithmetical Properties of Infinitary Rational Relations, Visibly pushdown transducers, On the sequentiality of the successor function, Definability Results for Top-Down Tree Transducers, On the continuity set of an Omega rational function, Look-ahead removal for total deterministic top-down tree transducers, A Burnside Approach to the Termination of Mohri's Algorithm for Polynomially Ambiguous Min-Plus-Automata, Deciding sequentiability of finite-state transducers by finite-state pattern-matching., Degree of Sequentiality of Weighted Automata, FINITELY SUBSEQUENTIAL TRANSDUCERS, Sequentiality of group-weighted tree automata, Multi-Sequential Word Relations, Determinization of fuzzy automata via factorization of fuzzy states, Unnamed Item, Confluent linear numeration systems, Over Which Monoids is the Transducer Determinization Procedure Applicable?, An optimal pre-determinization algorithm for weighted transducers, Deciding unambiguity and sequentiality from a finitely ambiguous max-plus automaton, Sequential?, Radix enumeration of rational languages, Unnamed Item, Unnamed Item, Transducing reversibly with finite state machines, Unnamed Item, Decidability, undecidability, and PSPACE-completeness of the twins property in the tropical semiring, Unnamed Item, Max-plus automata, Minimization algorithms for sequential transducers, Disambiguation of weighted tree automata, A Pattern Logic for Automata with Outputs, Determinization of transducers over finite and infinite words., Squaring transducers: An efficient procedure for deciding functionality and sequentiality., Trimming visibly pushdown automata
Cites Work
