A Generalized Twinning Property for Minimisation of Cost Register Automata

Autor: Jean-Marc Talbot, Pierre-Alain Reynier, Laure Daviaud

Publikováno v: Proc. 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS'16)
Proc. 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS'16), 2016, Unknown, Unknown Region. pp.857--866, ⟨10.1145/2933575.2934549⟩
LICS

Weighted automata (WA) extend finite-state automata by associating with transitions weights from a semiring $\mathbb {S}$, defining functions from words to S. Recently, cost register automata (CRA) have been introduced as an alternative model to desc

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::610124322b1442c08a8550fb2894edf3
https://hal.science/hal-01475441

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Sequentiality of String-to-Context Transducers

Autor: Reynier, Pierre-Alain, Villevalois, Didier

Publikováno v: From Normal Functors to Logarithmic Space Queries
46th International Colloquium on Automata, Languages, and Programming
46th International Colloquium on Automata, Languages, and Programming, Jul 2019, Patras, Greece. ⟨10.4230/LIPIcs.ICALP.2019.123⟩

International audience; Transducers extend finite state automata with outputs, and describe transformations from strings to strings. Sequential transducers, which have a deterministic behaviour regarding their input, are of particular interest. Howev

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0b56f2bc40a5ccebd68bc308cbcf9cfa

Sequential ?

Autor: Lombardy, Sylvain, Sakarovitch, Jacques

Publikováno v: Theoretical Computer Science
Theoretical Computer Science, Elsevier, 2006, 356, pp.224--244. ⟨10.1016/j.tcs.2006.01.028⟩

This paper is a survey where we try to organise the known answers to the question whether a given finite automaton with multiplicity in a semiring K is equivalent to a sequential, or input deterministic, one. We shall see that depending on K, the que

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d69b80e57fd9c7c59d4cf3cf73662a98
https://hal.archives-ouvertes.fr/hal-00069863

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.