Finite-image property of weighted tree automata over past-finite monotonic strong bimonoids

QR kód

Finite-image property of weighted tree automata over past-finite monotonic strong bimonoids

Elmentve itt :

Bibliográfiai részletek
Szerzők:	Droste Manfred Fülöp Zoltán Kószó Dávid Vogler Heiko
Dokumentumtípus:	Cikk
Megjelent:	2022
Sorozat:	THEORETICAL COMPUTER SCIENCE 919
Tárgyszavak:	Számítás- és információtudomány
doi:	10.1016/j.tcs.2022.03.036
mtmt:	32809905
Online Access:	http://publicatio.bibl.u-szeged.hu/36192

Hasonló tételek

Crisp-Determinization of Weighted Tree Automata over Additively Locally Finite and Past-Finite Monotonic Strong Bimonoids Is Decidable
Szerző: Droste Manfred, et al.
Megjelent: (2020)

Crisp-determinization of weighted tree automata over strong bimonoids
Szerző: Fülöp Zoltán, et al.
Megjelent: (2021)

Decidability Boundaries for the Finite-Image Property of Weighted Finite Automata
Szerző: Droste Manfred, et al.
Megjelent: (2023)

Weighted Tree Generating Regular Systems over Strong Bimonoids with Reduction Semantics
Szerző: Kószó Dávid
Megjelent: (2022)

On finite isomorphically complete systems of tree automata
Szerző: Gécseg Ferenc, et al.
Megjelent: (1993)

On finite nilpotent automata
Szerző: Imreh Balázs
Megjelent: (1981)

On finite definite automata
Szerző: Imreh Balázs
Megjelent: (1985)

Weighted Tree Generating Regular Systems and Crisp-Determinization of Weighted Tree Automata
Szerző: Kószó Dávid
Megjelent: (2023)

Congruences on finite automata [abstract] /
Szerző: Popović Zarko
Megjelent: (2000)

Weighted tree-walking automata
Szerző: Fülöp Zoltán, et al.
Megjelent: (2009)

On certain partitions of finite directed graphs and of finite automata
Szerző: Ádám András
Megjelent: (1984)

Weighted languages recognizable by weighted tree automata
Szerző: Fülöp Zoltán, et al.
Megjelent: (2018)

Finitely presentable tree series
Szerző: Bozapalidis Symeon, et al.
Megjelent: (2006)

Remarks on finite commutative automata
Szerző: Ésik Zoltán, et al.
Megjelent: (1981)

On complexity of finite Moore automata
Szerző: Katsura Masashi
Megjelent: (1986)

Self-regulating finite automata
Szerző: Meduna Alexander, et al.
Megjelent: (2007)

Automata with finite congruence lattices
Szerző: Babcsányi István
Megjelent: (2007)

On the congruences of finite autonomous Moore automata
Szerző: Ádám András
Megjelent: (1986)

A Kleene theorem for weighted ω-pushdown automata
Szerző: Droste Manfred, et al.
Megjelent: (2017)

On continuity preserving weighted finite transducers [abstract] /
Szerző: Steinby Paula
Megjelent: (2004)

Holonomy decomposition of finite state automata [abstract] /
Szerző: Egri-Nagy Attila, et al.
Megjelent: (2004)

Ambiguity, nondeterminism and state complexity of finite automata
Szerző: Han Yo-Sub, et al.
Megjelent: (2017)

On minimal incomplete R-systems of finite automata
Szerző: Dömösi Pál
Megjelent: (1976)

A criterion for the simplicity of finite Moore automata
Szerző: Ádám András
Megjelent: (1992)

Languages recognized by a class of finite automata
Szerző: Kelarev Andrej V., et al.
Megjelent: (2001)

Retractable state-finite automata without outputs
Szerző: Nagy Attila
Megjelent: (2004)

Compact representation of Hungarian vocabulary with nondeterministic finite automata
Szerző: Kertész-Farkas Attila, et al.
Megjelent: (2003)

On Finite Generability of Clones of Finite Posets
Szerző: Kunos Ádám, et al.
Megjelent: (2019)

Pseudo-polynomial functions over finite distributive lattices
Szerző: Couceiro Miguel, et al.
Megjelent: (2014)

Trace simulation semantics is not finitely based over BCCSP
Szerző: Aceto Luca, et al.
Megjelent: (2017)

Generators for groups of permutation polynomials over finite fields
Szerző: Wells Charles
Megjelent: (1968)

On the complexity of codes and pre-codes assigned to finite Moore automata
Szerző: Ádám András
Megjelent: (1981)

A new method for the analysis and synthesis of finite Mealy-automata
Szerző: Puskás Csaba
Megjelent: (1984)

Complete finite automata network graphs with minimal number of edges
Szerző: Dömösi Pál, et al.
Megjelent: (1999)

Temporal logic with cyclic counting and the degree of aperiodicity of finite automata
Szerző: Ésik Zoltán, et al.
Megjelent: (2003)

A characterization of semimodularity in lattices of finite length
Szerző: Stern Manfred
Megjelent: (1987)

Solution sets of systems of equations over finite lattices and semilattices
Szerző: Tóth Endre, et al.
Megjelent: (2020)

Two finiteness conditions for finitely generated and periodic semigroups
Szerző: Pirillo Giuseppe
Megjelent: (1989)

A theory of finite functions, part I. on finite trees associated to certain finite functions /
Szerző: Ecsedi-Tóth Péter
Megjelent: (1983)

Logic and tree automata
Szerző: Iván Szabolcs
Megjelent: (2008)